fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469000112
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldIIPs-PT-005A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.980 3409319.00 3409010.00 0.00 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469000112.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldIIPs-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.3K May 14 00:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 00:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 42K May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590435527293

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 005A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 128 places, 123 transitions, 546 arcs.
AT ITER 0 NEW BEST:: SOT 10759 SOS 8371 HAS SOPS 8371 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.371
AT ITER 3 NEW BEST:: SOT 10728 SOS 8238 HAS SOPS 8238 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.238
AT ITER 4 NEW BEST:: SOT 10675 SOS 8193 HAS SOPS 8193 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.193
AT ITER 10 NEW BEST:: SOT 10577 SOS 8166 HAS SOPS 8166 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7015.166
AT ITER 11 NEW BEST:: SOT 10562 SOS 8151 HAS SOPS 8151 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7000.151
AT ITER 23 NEW BEST:: SOT 10514 SOS 8103 HAS SOPS 8103 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6952.103
AT ITER 24 NEW BEST:: SOT 10542 SOS 8072 HAS SOPS 8072 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6938.072
AT ITER 31 NEW BEST:: SOT 10504 SOS 8011 HAS SOPS 8011 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6877.011
AT ITER 36 NEW BEST:: SOT 10490 SOS 7995 HAS SOPS 7995 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6860.995
AT ITER 40 NEW BEST:: SOT 10439 SOS 7944 HAS SOPS 7944 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6809.944
AT ITER 42 NEW BEST:: SOT 10399 SOS 7856 HAS SOPS 7856 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6723.856
AT ITER 49 NEW BEST:: SOT 10370 SOS 7739 HAS SOPS 7739 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6680.739
AT ITER 50 NEW BEST:: SOT 10330 SOS 7698 HAS SOPS 7698 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6639.698
AT ITER 52 NEW BEST:: SOT 10405 SOS 7608 HAS SOPS 7608 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6587.608
AT ITER 58 NEW BEST:: SOT 10349 SOS 7562 HAS SOPS 7562 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6553.562
AT ITER 60 NEW BEST:: SOT 10346 SOS 7556 HAS SOPS 7556 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6547.556
AT ITER 68 NEW BEST:: SOT 10369 SOS 7579 HAS SOPS 7579 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.579
AT ITER 69 NEW BEST:: SOT 10367 SOS 7577 HAS SOPS 7577 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.577
AT ITER 74 NEW BEST:: SOT 10360 SOS 7568 HAS SOPS 7568 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6535.568
AT ITER 76 NEW BEST:: SOT 10358 SOS 7562 HAS SOPS 7562 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.562
AT ITER 81 NEW BEST:: SOT 10313 SOS 7517 HAS SOPS 7517 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6484.517
AT ITER 87 NEW BEST:: SOT 10290 SOS 7425 HAS SOPS 7425 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6431.425
AT ITER 88 NEW BEST:: SOT 10243 SOS 7378 HAS SOPS 7378 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6380.378
AT ITER 89 NEW BEST:: SOT 10243 SOS 7353 HAS SOPS 7353 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6355.353
AT ITER 92 NEW BEST:: SOT 10211 SOS 7313 HAS SOPS 7313 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6315.313
AT ITER 93 NEW BEST:: SOT 10200 SOS 7302 HAS SOPS 7302 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.302
AT ITER 101 NEW BEST:: SOT 10180 SOS 7282 HAS SOPS 7282 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6284.282
AT ITER 106 NEW BEST:: SOT 10160 SOS 7262 HAS SOPS 7262 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6264.262
AT ITER 110 NEW BEST:: SOT 10171 SOS 7164 HAS SOPS 7164 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6161.164
AT ITER 125 NEW BEST:: SOT 10169 SOS 7122 HAS SOPS 7122 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6119.122
AT ITER 130 NEW BEST:: SOT 10108 SOS 7061 HAS SOPS 7061 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6058.061
AT ITER 132 NEW BEST:: SOT 10107 SOS 7051 HAS SOPS 7051 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6048.051
AT ITER 136 NEW BEST:: SOT 10082 SOS 7026 HAS SOPS 7026 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6023.026
AT ITER 139 NEW BEST:: SOT 10051 SOS 6995 HAS SOPS 6995 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5991.995
AT ITER 140 NEW BEST:: SOT 10051 SOS 6998 HAS SOPS 6998 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5988.998
AT ITER 141 NEW BEST:: SOT 10085 SOS 6955 HAS SOPS 6955 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5951.955
AT ITER 142 NEW BEST:: SOT 10113 SOS 6991 HAS SOPS 6991 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5702.991
AT ITER 155 NEW BEST:: SOT 10113 SOS 6971 HAS SOPS 6971 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.971
AT ITER 157 NEW BEST:: SOT 10088 SOS 6946 HAS SOPS 6946 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.946
AT ITER 165 NEW BEST:: SOT 10086 SOS 6938 HAS SOPS 6938 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.938
AT ITER 170 NEW BEST:: SOT 10081 SOS 6933 HAS SOPS 6933 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5668.933
AT ITER 177 NEW BEST:: SOT 10081 SOS 6916 HAS SOPS 6916 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5651.916
AT ITER 185 NEW BEST:: SOT 10014 SOS 6873 HAS SOPS 6873 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.873
AT ITER 189 NEW BEST:: SOT 9987 SOS 6846 HAS SOPS 6846 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.846
AT ITER 190 NEW BEST:: SOT 9986 SOS 6845 HAS SOPS 6845 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5577.845
AT ITER 194 NEW BEST:: SOT 9984 SOS 6843 HAS SOPS 6843 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.843
AT ITER 201 NEW BEST:: SOT 9974 SOS 6833 HAS SOPS 6833 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.833
AT ITER 212 NEW BEST:: SOT 9972 SOS 6770 HAS SOPS 6770 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.77
AT ITER 223 NEW BEST:: SOT 10028 SOS 6845 HAS SOPS 6845 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.845
AT ITER 227 NEW BEST:: SOT 10023 SOS 6840 HAS SOPS 6840 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5539.84
AT ITER 239 NEW BEST:: SOT 10044 SOS 6681 HAS SOPS 6681 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.681
AT ITER 241 NEW BEST:: SOT 10017 SOS 6670 HAS SOPS 6670 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.67
AT ITER 250 NEW BEST:: SOT 10017 SOS 6633 HAS SOPS 6633 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.633
AT ITER 263 NEW BEST:: SOT 10011 SOS 6614 HAS SOPS 6614 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.614
AT ITER 280 NEW BEST:: SOT 9975 SOS 6560 HAS SOPS 6560 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.56
AT ITER 294 NEW BEST:: SOT 9971 SOS 6548 HAS SOPS 6548 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.548
AT ITER 295 NEW BEST:: SOT 9973 SOS 6529 HAS SOPS 6529 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.529
AT ITER 297 NEW BEST:: SOT 9965 SOS 6521 HAS SOPS 6521 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5292.521
AT ITER 303 NEW BEST:: SOT 9984 SOS 6507 HAS SOPS 6507 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.507
AT ITER 307 NEW BEST:: SOT 9999 SOS 6520 HAS SOPS 6520 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5275.52
AT ITER 312 NEW BEST:: SOT 9987 SOS 6478 HAS SOPS 6478 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5269.478
AT ITER 322 NEW BEST:: SOT 9986 SOS 6480 HAS SOPS 6480 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.48
AT ITER 325 NEW BEST:: SOT 9981 SOS 6475 HAS SOPS 6475 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5236.475
AT ITER 327 NEW BEST:: SOT 9993 SOS 6396 HAS SOPS 6396 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.396
AT ITER 333 NEW BEST:: SOT 9988 SOS 6395 HAS SOPS 6395 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5153.395
AT ITER 337 NEW BEST:: SOT 9998 SOS 6404 HAS SOPS 6404 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5152.404
AT ITER 340 NEW BEST:: SOT 9987 SOS 6404 HAS SOPS 6404 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.404
AT ITER 355 NEW BEST:: SOT 10021 SOS 6375 HAS SOPS 6375 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5131.375
AT ITER 373 NEW BEST:: SOT 10071 SOS 6298 HAS SOPS 6298 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5123.298
AT ITER 383 NEW BEST:: SOT 10082 SOS 6288 HAS SOPS 6288 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.288
AT ITER 387 NEW BEST:: SOT 10066 SOS 6297 HAS SOPS 6297 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5031.297
AT ITER 389 NEW BEST:: SOT 10063 SOS 6291 HAS SOPS 6291 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.291
AT ITER 394 NEW BEST:: SOT 10061 SOS 6295 HAS SOPS 6295 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5015.295
AT ITER 395 NEW BEST:: SOT 10061 SOS 6273 HAS SOPS 6273 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4995.273
AT ITER 414 NEW BEST:: SOT 10061 SOS 6283 HAS SOPS 6283 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4990.283
AT ITER 425 NEW BEST:: SOT 10061 SOS 6281 HAS SOPS 6281 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4988.281
AT ITER 426 NEW BEST:: SOT 10050 SOS 6259 HAS SOPS 6259 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4966.259
AT ITER 439 NEW BEST:: SOT 10054 SOS 6251 HAS SOPS 6251 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4966.251
AT ITER 440 NEW BEST:: SOT 10043 SOS 6275 HAS SOPS 6275 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4944.275
AT ITER 450 NEW BEST:: SOT 10039 SOS 6283 HAS SOPS 6283 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4943.283
AT ITER 452 NEW BEST:: SOT 10039 SOS 6283 HAS SOPS 6283 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4938.283
AT ITER 458 NEW BEST:: SOT 10039 SOS 6303 HAS SOPS 6303 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4916.303
AT ITER 462 NEW BEST:: SOT 10045 SOS 6313 HAS SOPS 6313 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4911.313
AT ITER 468 NEW BEST:: SOT 10018 SOS 6201 HAS SOPS 6201 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4805.201
AT ITER 489 NEW BEST:: SOT 10020 SOS 6175 HAS SOPS 6175 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4761.175
AT ITER 491 NEW BEST:: SOT 9999 SOS 6168 HAS SOPS 6168 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.168
AT ITER 497 NEW BEST:: SOT 9999 SOS 6165 HAS SOPS 6165 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4733.165
AT ITER 499 NEW BEST:: SOT 9999 SOS 6150 HAS SOPS 6150 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4718.15
AT ITER 508 NEW BEST:: SOT 9999 SOS 6135 HAS SOPS 6135 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4703.135
AT ITER 516 NEW BEST:: SOT 9999 SOS 6136 HAS SOPS 6136 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4697.136
AT ITER 519 NEW BEST:: SOT 9989 SOS 6126 HAS SOPS 6126 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4661.126
AT ITER 534 NEW BEST:: SOT 9975 SOS 6119 HAS SOPS 6119 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4647.119
AT ITER 540 NEW BEST:: SOT 9991 SOS 6118 HAS SOPS 6118 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4646.118
AT ITER 542 NEW BEST:: SOT 9984 SOS 6111 HAS SOPS 6111 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4639.111
AT ITER 561 NEW BEST:: SOT 9978 SOS 6106 HAS SOPS 6106 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4634.106
AT ITER 563 NEW BEST:: SOT 9961 SOS 6061 HAS SOPS 6061 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4616.061
AT ITER 566 NEW BEST:: SOT 9953 SOS 6062 HAS SOPS 6062 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.062
AT ITER 567 NEW BEST:: SOT 9949 SOS 6054 HAS SOPS 6054 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4591.054
AT ITER 572 NEW BEST:: SOT 9949 SOS 6039 HAS SOPS 6039 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4573.039
AT ITER 584 NEW BEST:: SOT 9934 SOS 6023 HAS SOPS 6023 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4571.023
AT ITER 589 NEW BEST:: SOT 9923 SOS 6012 HAS SOPS 6012 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4560.012
AT ITER 599 NEW BEST:: SOT 9946 SOS 6011 HAS SOPS 6011 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4559.011
AT ITER 605 NEW BEST:: SOT 9939 SOS 6009 HAS SOPS 6009 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4557.009
AT ITER 618 NEW BEST:: SOT 9938 SOS 6006 HAS SOPS 6006 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4555.006
AT ITER 621 NEW BEST:: SOT 9938 SOS 6006 HAS SOPS 6006 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4551.006
AT ITER 625 NEW BEST:: SOT 9937 SOS 6005 HAS SOPS 6005 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4546.005
AT ITER 628 NEW BEST:: SOT 9927 SOS 5997 HAS SOPS 5997 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.997
AT ITER 639 NEW BEST:: SOT 9877 SOS 6064 HAS SOPS 6064 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4533.064
AT ITER 642 NEW BEST:: SOT 9875 SOS 6062 HAS SOPS 6062 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4531.062
AT ITER 658 NEW BEST:: SOT 9903 SOS 6074 HAS SOPS 6074 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4524.074
AT ITER 659 NEW BEST:: SOT 9887 SOS 6056 HAS SOPS 6056 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4506.056
AT ITER 663 NEW BEST:: SOT 9695 SOS 5864 HAS SOPS 5864 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4313.864
AT ITER 667 NEW BEST:: SOT 9677 SOS 5809 HAS SOPS 5809 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.809
AT ITER 670 NEW BEST:: SOT 9673 SOS 5790 HAS SOPS 5790 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4239.79
AT ITER 682 NEW BEST:: SOT 9673 SOS 5789 HAS SOPS 5789 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.789
AT ITER 687 NEW BEST:: SOT 9658 SOS 5774 HAS SOPS 5774 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4221.774
AT ITER 693 NEW BEST:: SOT 9614 SOS 5702 HAS SOPS 5702 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4167.702
AT ITER 711 NEW BEST:: SOT 9589 SOS 5673 HAS SOPS 5673 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.673
AT ITER 721 NEW BEST:: SOT 9605 SOS 5681 HAS SOPS 5681 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.681
AT ITER 748 NEW BEST:: SOT 9606 SOS 5670 HAS SOPS 5670 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4158.67
AT ITER 780 NEW BEST:: SOT 9599 SOS 5663 HAS SOPS 5663 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.663
AT ITER 791 NEW BEST:: SOT 9599 SOS 5657 HAS SOPS 5657 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.657
AT ITER 792 NEW BEST:: SOT 9598 SOS 5659 HAS SOPS 5659 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4142.659
AT ITER 796 NEW BEST:: SOT 9586 SOS 5619 HAS SOPS 5619 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4130.619
AT ITER 797 NEW BEST:: SOT 9597 SOS 5609 HAS SOPS 5609 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4123.609
AT ITER 801 NEW BEST:: SOT 9597 SOS 5599 HAS SOPS 5599 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4113.599
AT ITER 803 NEW BEST:: SOT 9582 SOS 5576 HAS SOPS 5576 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4090.576
AT ITER 814 NEW BEST:: SOT 9598 SOS 5593 HAS SOPS 5593 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.593
AT ITER 816 NEW BEST:: SOT 9601 SOS 5596 HAS SOPS 5596 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4078.596
AT ITER 817 NEW BEST:: SOT 9633 SOS 5590 HAS SOPS 5590 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4074.59
AT ITER 822 NEW BEST:: SOT 9631 SOS 5589 HAS SOPS 5589 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4073.589
AT ITER 834 NEW BEST:: SOT 9661 SOS 5582 HAS SOPS 5582 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4068.582
AT ITER 841 NEW BEST:: SOT 9620 SOS 5531 HAS SOPS 5531 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4008.531
AT ITER 874 NEW BEST:: SOT 9593 SOS 5480 HAS SOPS 5480 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3957.48
AT ITER 886 NEW BEST:: SOT 9590 SOS 5434 HAS SOPS 5434 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3942.434
AT ITER 891 NEW BEST:: SOT 9592 SOS 5390 HAS SOPS 5390 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3942.39
AT ITER 900 NEW BEST:: SOT 9591 SOS 5382 HAS SOPS 5382 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3940.382
AT ITER 930 NEW BEST:: SOT 9581 SOS 5362 HAS SOPS 5362 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3930.362
AT ITER 938 NEW BEST:: SOT 9598 SOS 5356 HAS SOPS 5356 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3924.356
AT ITER 952 NEW BEST:: SOT 9597 SOS 5355 HAS SOPS 5355 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3923.355
AT ITER 1007 NEW BEST:: SOT 9595 SOS 5353 HAS SOPS 5353 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3919.353
AT ITER 1022 NEW BEST:: SOT 9595 SOS 5367 HAS SOPS 5367 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3916.367
AT ITER 1037 NEW BEST:: SOT 9587 SOS 5357 HAS SOPS 5357 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3890.357
AT ITER 1048 NEW BEST:: SOT 9573 SOS 5338 HAS SOPS 5338 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3871.338
AT ITER 1066 NEW BEST:: SOT 9568 SOS 5338 HAS SOPS 5338 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3865.338
AT ITER 1073 NEW BEST:: SOT 9568 SOS 5340 HAS SOPS 5340 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3864.34
AT ITER 1099 NEW BEST:: SOT 9565 SOS 5337 HAS SOPS 5337 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3861.337
AT ITER 1112 NEW BEST:: SOT 9565 SOS 5334 HAS SOPS 5334 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3858.334
AT ITER 1113 NEW BEST:: SOT 9565 SOS 5328 HAS SOPS 5328 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3856.328
AT ITER 1117 NEW BEST:: SOT 9565 SOS 5326 HAS SOPS 5326 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3850.326
AT ITER 1119 NEW BEST:: SOT 9544 SOS 5274 HAS SOPS 5274 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3783.274
AT ITER 1122 NEW BEST:: SOT 9544 SOS 5209 HAS SOPS 5209 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3760.209
AT ITER 1125 NEW BEST:: SOT 9544 SOS 5204 HAS SOPS 5204 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3755.204
AT ITER 1129 NEW BEST:: SOT 9527 SOS 5184 HAS SOPS 5184 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3735.184
AT ITER 1141 NEW BEST:: SOT 9536 SOS 5180 HAS SOPS 5180 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3731.18
AT ITER 1153 NEW BEST:: SOT 9532 SOS 5142 HAS SOPS 5142 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3694.142
AT ITER 1155 NEW BEST:: SOT 9536 SOS 5140 HAS SOPS 5140 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3679.14
AT ITER 1165 NEW BEST:: SOT 9541 SOS 5139 HAS SOPS 5139 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3672.139
AT ITER 1169 NEW BEST:: SOT 9541 SOS 5116 HAS SOPS 5116 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3649.116
AT ITER 1185 NEW BEST:: SOT 9547 SOS 5095 HAS SOPS 5095 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3642.095
AT ITER 1190 NEW BEST:: SOT 9533 SOS 5088 HAS SOPS 5088 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3628.088
AT ITER 1201 NEW BEST:: SOT 9533 SOS 5097 HAS SOPS 5097 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3625.097
AT ITER 1207 NEW BEST:: SOT 9529 SOS 5093 HAS SOPS 5093 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3621.093
AT ITER 1234 NEW BEST:: SOT 9524 SOS 5080 HAS SOPS 5080 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3612.08
AT ITER 1240 NEW BEST:: SOT 9522 SOS 5074 HAS SOPS 5074 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3610.074
AT ITER 1247 NEW BEST:: SOT 9494 SOS 5046 HAS SOPS 5046 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3582.046
AT ITER 1250 NEW BEST:: SOT 9493 SOS 5045 HAS SOPS 5045 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3581.045
AT ITER 1261 NEW BEST:: SOT 9493 SOS 5042 HAS SOPS 5042 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3578.042
AT ITER 1283 NEW BEST:: SOT 9493 SOS 5032 HAS SOPS 5032 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3577.032
AT ITER 1284 NEW BEST:: SOT 9491 SOS 5028 HAS SOPS 5028 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3573.028
AT ITER 1289 NEW BEST:: SOT 9479 SOS 4993 HAS SOPS 4993 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3521.993
AT ITER 1308 NEW BEST:: SOT 9472 SOS 4972 HAS SOPS 4972 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.972
AT ITER 1325 NEW BEST:: SOT 9454 SOS 4954 HAS SOPS 4954 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.954
AT ITER 1331 NEW BEST:: SOT 9448 SOS 4948 HAS SOPS 4948 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3487.948
AT ITER 1379 NEW BEST:: SOT 9446 SOS 4944 HAS SOPS 4944 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.944
AT ITER 1392 NEW BEST:: SOT 9468 SOS 4964 HAS SOPS 4964 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3462.964
AT ITER 1394 NEW BEST:: SOT 9460 SOS 4952 HAS SOPS 4952 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.952
AT ITER 1420 NEW BEST:: SOT 9408 SOS 4861 HAS SOPS 4861 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3359.861
AT ITER 1421 NEW BEST:: SOT 9406 SOS 4857 HAS SOPS 4857 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3355.857
AT ITER 1430 NEW BEST:: SOT 9401 SOS 4853 HAS SOPS 4853 HAS SOUS 3349 HAS SOUPS 3349 WITH SCORE 3353.853
AT ITER 1472 NEW BEST:: SOT 9378 SOS 4834 HAS SOPS 4834 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3337.834
AT ITER 1473 NEW BEST:: SOT 9366 SOS 4760 HAS SOPS 4760 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3308.76
AT ITER 1515 NEW BEST:: SOT 9352 SOS 4743 HAS SOPS 4743 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3291.743
AT ITER 1521 NEW BEST:: SOT 9348 SOS 4729 HAS SOPS 4729 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3277.729
AT ITER 1562 NEW BEST:: SOT 9335 SOS 4719 HAS SOPS 4719 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3262.719
AT ITER 1571 NEW BEST:: SOT 9335 SOS 4717 HAS SOPS 4717 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3252.717
AT ITER 1572 NEW BEST:: SOT 9321 SOS 4618 HAS SOPS 4618 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3241.618
AT ITER 1586 NEW BEST:: SOT 9319 SOS 4616 HAS SOPS 4616 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3239.616
AT ITER 1606 NEW BEST:: SOT 9317 SOS 4614 HAS SOPS 4614 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3237.614
AT ITER 1622 NEW BEST:: SOT 9316 SOS 4613 HAS SOPS 4613 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3236.613
AT ITER 1631 NEW BEST:: SOT 9314 SOS 4611 HAS SOPS 4611 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3234.611
AT ITER 1640 NEW BEST:: SOT 9311 SOS 4605 HAS SOPS 4605 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3228.605
AT ITER 1660 NEW BEST:: SOT 9312 SOS 4614 HAS SOPS 4614 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3222.614
AT ITER 1663 NEW BEST:: SOT 9309 SOS 4611 HAS SOPS 4611 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3220.611
AT ITER 1679 NEW BEST:: SOT 9310 SOS 4609 HAS SOPS 4609 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3218.609
AT ITER 1689 NEW BEST:: SOT 9309 SOS 4604 HAS SOPS 4604 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3217.604
AT ITER 1693 NEW BEST:: SOT 9305 SOS 4598 HAS SOPS 4598 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3205.598
AT ITER 1707 NEW BEST:: SOT 9306 SOS 4596 HAS SOPS 4596 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3204.596
AT ITER 1810 NEW BEST:: SOT 9307 SOS 4585 HAS SOPS 4585 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3185.585
AT ITER 1830 NEW BEST:: SOT 9292 SOS 4572 HAS SOPS 4572 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3182.572
AT ITER 1837 NEW BEST:: SOT 9291 SOS 4568 HAS SOPS 4568 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3178.568
AT ITER 1880 NEW BEST:: SOT 9271 SOS 4548 HAS SOPS 4548 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3169.548
AT ITER 1909 NEW BEST:: SOT 9268 SOS 4547 HAS SOPS 4547 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3168.547
AT ITER 1913 NEW BEST:: SOT 9268 SOS 4551 HAS SOPS 4551 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3164.551
AT ITER 1967 NEW BEST:: SOT 9256 SOS 4539 HAS SOPS 4539 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3152.539
AT ITER 1979 NEW BEST:: SOT 9253 SOS 4536 HAS SOPS 4536 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3152.536
AT ITER 1988 NEW BEST:: SOT 9253 SOS 4536 HAS SOPS 4536 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3150.536
AT ITER 2025 NEW BEST:: SOT 9244 SOS 4525 HAS SOPS 4525 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3146.525
AT ITER 2034 NEW BEST:: SOT 9236 SOS 4509 HAS SOPS 4509 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3137.509
AT ITER 2040 NEW BEST:: SOT 9232 SOS 4505 HAS SOPS 4505 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3133.505
AT ITER 2129 NEW BEST:: SOT 9232 SOS 4505 HAS SOPS 4505 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3132.505
AT ITER 2136 NEW BEST:: SOT 9235 SOS 4502 HAS SOPS 4502 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3126.502
AT ITER 2163 NEW BEST:: SOT 9230 SOS 4497 HAS SOPS 4497 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3121.497
AT ITER 2343 NEW BEST:: SOT 9226 SOS 4489 HAS SOPS 4489 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3113.489
AT ITER 2417 NEW BEST:: SOT 9220 SOS 4475 HAS SOPS 4475 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3085.475
AT ITER 2439 NEW BEST:: SOT 9218 SOS 4468 HAS SOPS 4468 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3081.468
AT ITER 2472 NEW BEST:: SOT 9224 SOS 4444 HAS SOPS 4444 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3076.444
AT ITER 2497 NEW BEST:: SOT 9224 SOS 4426 HAS SOPS 4426 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3067.426
AT ITER 2500 NEW BEST:: SOT 9216 SOS 4418 HAS SOPS 4418 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3059.418
AT ITER 2514 NEW BEST:: SOT 9216 SOS 4417 HAS SOPS 4417 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3058.417
AT ITER 2534 NEW BEST:: SOT 9216 SOS 4417 HAS SOPS 4417 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3057.417
AT ITER 2553 NEW BEST:: SOT 9214 SOS 4408 HAS SOPS 4408 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3043.408
AT ITER 2566 NEW BEST:: SOT 9214 SOS 4408 HAS SOPS 4408 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3041.408
AT ITER 2703 NEW BEST:: SOT 9208 SOS 4404 HAS SOPS 4404 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3037.404
AT ITER 2775 NEW BEST:: SOT 9199 SOS 4392 HAS SOPS 4392 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3026.392
AT ITER 2838 NEW BEST:: SOT 9199 SOS 4398 HAS SOPS 4398 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3022.398
AT ITER 2860 NEW BEST:: SOT 9206 SOS 4400 HAS SOPS 4400 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3019.4
AT ITER 2865 NEW BEST:: SOT 9206 SOS 4400 HAS SOPS 4400 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3018.4
AT ITER 2875 NEW BEST:: SOT 9203 SOS 4398 HAS SOPS 4398 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3018.398
AT ITER 2915 NEW BEST:: SOT 9193 SOS 4385 HAS SOPS 4385 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3005.385
AT ITER 3094 NEW BEST:: SOT 9193 SOS 4383 HAS SOPS 4383 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3005.383
AT ITER 3097 NEW BEST:: SOT 9186 SOS 4380 HAS SOPS 4380 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3002.38
AT ITER 3116 NEW BEST:: SOT 9189 SOS 4369 HAS SOPS 4369 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2991.369
AT ITER 3119 NEW BEST:: SOT 9189 SOS 4354 HAS SOPS 4354 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2985.354
AT ITER 3130 NEW BEST:: SOT 9191 SOS 4352 HAS SOPS 4352 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2983.352
AT ITER 3146 NEW BEST:: SOT 9190 SOS 4351 HAS SOPS 4351 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2982.351
AT ITER 3211 NEW BEST:: SOT 9190 SOS 4336 HAS SOPS 4336 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2979.336
AT ITER 3308 NEW BEST:: SOT 9187 SOS 4330 HAS SOPS 4330 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.33
AT ITER 3334 NEW BEST:: SOT 9189 SOS 4324 HAS SOPS 4324 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.324
AT ITER 3381 NEW BEST:: SOT 9188 SOS 4323 HAS SOPS 4323 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.323
AT ITER 3404 NEW BEST:: SOT 9188 SOS 4321 HAS SOPS 4321 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.321
AT ITER 3413 NEW BEST:: SOT 9188 SOS 4320 HAS SOPS 4320 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.32
AT ITER 3419 NEW BEST:: SOT 9188 SOS 4316 HAS SOPS 4316 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2966.316
AT ITER 3443 NEW BEST:: SOT 9184 SOS 4313 HAS SOPS 4313 HAS SOUS 2961 HAS SOUPS 2961 WITH SCORE 2965.313
AT ITER 3510 NEW BEST:: SOT 9196 SOS 4322 HAS SOPS 4322 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.322
AT ITER 3532 NEW BEST:: SOT 9196 SOS 4315 HAS SOPS 4315 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.315
AT ITER 3542 NEW BEST:: SOT 9220 SOS 4322 HAS SOPS 4322 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2951.322
AT ITER 3562 NEW BEST:: SOT 9220 SOS 4322 HAS SOPS 4322 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.322
AT ITER 3590 NEW BEST:: SOT 9223 SOS 4318 HAS SOPS 4318 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2933.318
AT ITER 3597 NEW BEST:: SOT 9223 SOS 4317 HAS SOPS 4317 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2932.317
AT ITER 3604 NEW BEST:: SOT 9221 SOS 4315 HAS SOPS 4315 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2931.315
AT ITER 3667 NEW BEST:: SOT 9220 SOS 4314 HAS SOPS 4314 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2930.314
AT ITER 3713 NEW BEST:: SOT 9220 SOS 4313 HAS SOPS 4313 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2929.313
AT ITER 3785 NEW BEST:: SOT 9222 SOS 4314 HAS SOPS 4314 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2928.314
AT ITER 3791 NEW BEST:: SOT 9217 SOS 4310 HAS SOPS 4310 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2924.31
AT ITER 3840 NEW BEST:: SOT 9208 SOS 4302 HAS SOPS 4302 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2916.302
AT ITER 3929 NEW BEST:: SOT 9206 SOS 4299 HAS SOPS 4299 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2913.299
AT ITER 4043 NEW BEST:: SOT 9204 SOS 4297 HAS SOPS 4297 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2912.297
AT ITER 4126 NEW BEST:: SOT 9206 SOS 4295 HAS SOPS 4295 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2910.295
AT ITER 4132 NEW BEST:: SOT 9204 SOS 4293 HAS SOPS 4293 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.293
AT ITER 4179 NEW BEST:: SOT 9206 SOS 4309 HAS SOPS 4309 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.309
AT ITER 4203 NEW BEST:: SOT 9208 SOS 4310 HAS SOPS 4310 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2902.31
AT ITER 4307 NEW BEST:: SOT 9206 SOS 4304 HAS SOPS 4304 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2900.304
AT ITER 4325 NEW BEST:: SOT 9207 SOS 4295 HAS SOPS 4295 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2891.295
AT ITER 4352 NEW BEST:: SOT 9207 SOS 4295 HAS SOPS 4295 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2890.295
AT ITER 4435 NEW BEST:: SOT 9207 SOS 4287 HAS SOPS 4287 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2890.287
AT ITER 4457 NEW BEST:: SOT 9207 SOS 4286 HAS SOPS 4286 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2889.286
AT ITER 4566 NEW BEST:: SOT 9210 SOS 4288 HAS SOPS 4288 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2888.288
AT ITER 4585 NEW BEST:: SOT 9210 SOS 4286 HAS SOPS 4286 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2888.286
AT ITER 4637 NEW BEST:: SOT 9206 SOS 4282 HAS SOPS 4282 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2884.282
AT ITER 4703 NEW BEST:: SOT 9194 SOS 4270 HAS SOPS 4270 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2876.27
AT ITER 4976 NEW BEST:: SOT 9191 SOS 4267 HAS SOPS 4267 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2873.267
AT ITER 5103 NEW BEST:: SOT 9181 SOS 4259 HAS SOPS 4259 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2868.259
AT ITER 5254 NEW BEST:: SOT 9181 SOS 4254 HAS SOPS 4254 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2866.254
AT ITER 5335 NEW BEST:: SOT 9181 SOS 4249 HAS SOPS 4249 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2864.249
AT ITER 5392 NEW BEST:: SOT 9175 SOS 4243 HAS SOPS 4243 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2858.243
AT ITER 5408 NEW BEST:: SOT 9169 SOS 4246 HAS SOPS 4246 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2855.246
AT ITER 5428 NEW BEST:: SOT 9170 SOS 4244 HAS SOPS 4244 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2855.244
AT ITER 5431 NEW BEST:: SOT 9176 SOS 4243 HAS SOPS 4243 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2854.243
AT ITER 5444 NEW BEST:: SOT 9172 SOS 4239 HAS SOPS 4239 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2850.239
AT ITER 5551 NEW BEST:: SOT 9170 SOS 4237 HAS SOPS 4237 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.237
AT ITER 5600 NEW BEST:: SOT 9170 SOS 4245 HAS SOPS 4245 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2847.245
AT ITER 5695 NEW BEST:: SOT 9170 SOS 4245 HAS SOPS 4245 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2846.245
AT ITER 5699 NEW BEST:: SOT 9173 SOS 4247 HAS SOPS 4247 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2842.247
AT ITER 5738 NEW BEST:: SOT 9173 SOS 4246 HAS SOPS 4246 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2841.246
AT ITER 5747 NEW BEST:: SOT 9171 SOS 4244 HAS SOPS 4244 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2839.244
AT ITER 5819 NEW BEST:: SOT 9168 SOS 4238 HAS SOPS 4238 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2833.238
AT ITER 5855 NEW BEST:: SOT 9170 SOS 4236 HAS SOPS 4236 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2832.236
AT ITER 5875 NEW BEST:: SOT 9168 SOS 4222 HAS SOPS 4222 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2824.222
AT ITER 5959 NEW BEST:: SOT 9163 SOS 4221 HAS SOPS 4221 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2823.221
AT ITER 5976 NEW BEST:: SOT 9160 SOS 4218 HAS SOPS 4218 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2820.218
AT ITER 5982 NEW BEST:: SOT 9152 SOS 4216 HAS SOPS 4216 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2820.216
AT ITER 6035 NEW BEST:: SOT 9152 SOS 4212 HAS SOPS 4212 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2820.212
AT ITER 6051 NEW BEST:: SOT 9160 SOS 4202 HAS SOPS 4202 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2820.202
AT ITER 6082 NEW BEST:: SOT 9153 SOS 4211 HAS SOPS 4211 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2817.211
AT ITER 6085 NEW BEST:: SOT 9157 SOS 4193 HAS SOPS 4193 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2811.193
AT ITER 6166 NEW BEST:: SOT 9161 SOS 4189 HAS SOPS 4189 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2811.189
AT ITER 6259 NEW BEST:: SOT 9162 SOS 4177 HAS SOPS 4177 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2808.177
AT ITER 6280 NEW BEST:: SOT 9159 SOS 4174 HAS SOPS 4174 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2806.174
AT ITER 6290 NEW BEST:: SOT 9158 SOS 4173 HAS SOPS 4173 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2805.173
AT ITER 6299 NEW BEST:: SOT 9156 SOS 4169 HAS SOPS 4169 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2801.169
AT ITER 6350 NEW BEST:: SOT 9154 SOS 4168 HAS SOPS 4168 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2800.168
AT ITER 6507 NEW BEST:: SOT 9154 SOS 4167 HAS SOPS 4167 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2799.167
AT ITER 6546 NEW BEST:: SOT 9152 SOS 4162 HAS SOPS 4162 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2794.162
AT ITER 6595 NEW BEST:: SOT 9146 SOS 4156 HAS SOPS 4156 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2788.156
AT ITER 6610 NEW BEST:: SOT 9146 SOS 4156 HAS SOPS 4156 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2787.156
AT ITER 6687 NEW BEST:: SOT 9139 SOS 4142 HAS SOPS 4142 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2773.142
AT ITER 6727 NEW BEST:: SOT 9139 SOS 4142 HAS SOPS 4142 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2767.142
AT ITER 6765 NEW BEST:: SOT 9138 SOS 4138 HAS SOPS 4138 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2763.138
AT ITER 6782 NEW BEST:: SOT 9139 SOS 4153 HAS SOPS 4153 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2760.153
AT ITER 6791 NEW BEST:: SOT 9136 SOS 4149 HAS SOPS 4149 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2756.149
AT ITER 6852 NEW BEST:: SOT 9136 SOS 4152 HAS SOPS 4152 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2754.152
AT ITER 6873 NEW BEST:: SOT 9133 SOS 4148 HAS SOPS 4148 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2750.148
AT ITER 6927 NEW BEST:: SOT 9132 SOS 4147 HAS SOPS 4147 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2749.147
AT ITER 6957 NEW BEST:: SOT 9128 SOS 4144 HAS SOPS 4144 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2739.144
AT ITER 6987 NEW BEST:: SOT 9134 SOS 4148 HAS SOPS 4148 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2738.148
AT ITER 7026 NEW BEST:: SOT 9130 SOS 4144 HAS SOPS 4144 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2729.144
AT ITER 7067 NEW BEST:: SOT 9128 SOS 4143 HAS SOPS 4143 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2728.143
AT ITER 7133 NEW BEST:: SOT 9126 SOS 4140 HAS SOPS 4140 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2725.14
AT ITER 7165 NEW BEST:: SOT 9126 SOS 4133 HAS SOPS 4133 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2725.133
AT ITER 7213 NEW BEST:: SOT 9128 SOS 4131 HAS SOPS 4131 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2721.131
AT ITER 7256 NEW BEST:: SOT 9122 SOS 4121 HAS SOPS 4121 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2717.121
AT ITER 7385 NEW BEST:: SOT 9122 SOS 4119 HAS SOPS 4119 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2715.119
AT ITER 7417 NEW BEST:: SOT 9115 SOS 4123 HAS SOPS 4123 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2713.123
AT ITER 7438 NEW BEST:: SOT 9117 SOS 4117 HAS SOPS 4117 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2713.117
AT ITER 7491 NEW BEST:: SOT 9115 SOS 4109 HAS SOPS 4109 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2713.109
AT ITER 7512 NEW BEST:: SOT 9115 SOS 4108 HAS SOPS 4108 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2712.108
AT ITER 7927 NEW BEST:: SOT 9114 SOS 4107 HAS SOPS 4107 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2710.107
AT ITER 7978 NEW BEST:: SOT 9106 SOS 4103 HAS SOPS 4103 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2707.103
AT ITER 8051 NEW BEST:: SOT 9108 SOS 4105 HAS SOPS 4105 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2705.105
AT ITER 8177 NEW BEST:: SOT 9107 SOS 4104 HAS SOPS 4104 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2704.104
AT ITER 8238 NEW BEST:: SOT 9105 SOS 4102 HAS SOPS 4102 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2702.102
AT ITER 8277 NEW BEST:: SOT 9104 SOS 4101 HAS SOPS 4101 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2701.101
AT ITER 8326 NEW BEST:: SOT 9106 SOS 4087 HAS SOPS 4087 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2700.087
AT ITER 8357 NEW BEST:: SOT 9103 SOS 4084 HAS SOPS 4084 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2697.084
AT ITER 8408 NEW BEST:: SOT 9105 SOS 4078 HAS SOPS 4078 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2685.078
AT ITER 8517 NEW BEST:: SOT 9107 SOS 4080 HAS SOPS 4080 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2682.08
AT ITER 8529 NEW BEST:: SOT 9113 SOS 4078 HAS SOPS 4078 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2680.078
AT ITER 8557 NEW BEST:: SOT 9116 SOS 4079 HAS SOPS 4079 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2676.079
AT ITER 8591 NEW BEST:: SOT 9110 SOS 4057 HAS SOPS 4057 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2662.057
AT ITER 8658 NEW BEST:: SOT 9106 SOS 4029 HAS SOPS 4029 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2662.029
AT ITER 8828 NEW BEST:: SOT 9105 SOS 4028 HAS SOPS 4028 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2661.028
AT ITER 8872 NEW BEST:: SOT 9099 SOS 4019 HAS SOPS 4019 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2660.019
AT ITER 9077 NEW BEST:: SOT 9081 SOS 3977 HAS SOPS 3977 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2636.977
AT ITER 9533 NEW BEST:: SOT 9081 SOS 3976 HAS SOPS 3976 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2635.976
AT ITER 9565 NEW BEST:: SOT 9080 SOS 3974 HAS SOPS 3974 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.974
AT ITER 9797 NEW BEST:: SOT 9078 SOS 3977 HAS SOPS 3977 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2628.977
AT ITER 9980 NEW BEST:: SOT 9072 SOS 3968 HAS SOPS 3968 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.968

BK_STOP 1590438936612

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 369 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="ShieldIIPs-PT-005A"
export BK_EXAMINATION="StateSpace"
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 ShieldIIPs-PT-005A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469000112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-005A.tgz
mv ShieldIIPs-PT-005A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;