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-159033469200264.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 ShieldIIPt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.1K May 14 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:00 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 50K 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 1590439216148

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

Filename model.pnml
Petri model created: 213 places, 198 transitions, 492 arcs.
AT ITER 0 NEW BEST:: SOT 23789 SOS 7836 HAS SOPS 7836 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.836
AT ITER 10 NEW BEST:: SOT 23762 SOS 7694 HAS SOPS 7694 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7004.694
AT ITER 34 NEW BEST:: SOT 23753 SOS 7672 HAS SOPS 7672 HAS SOUS 6979 HAS SOUPS 6979 WITH SCORE 6986.672
AT ITER 43 NEW BEST:: SOT 23722 SOS 7674 HAS SOPS 7674 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6977.674
AT ITER 45 NEW BEST:: SOT 23715 SOS 7645 HAS SOPS 7645 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6954.645
AT ITER 47 NEW BEST:: SOT 23658 SOS 7553 HAS SOPS 7553 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6879.553
AT ITER 49 NEW BEST:: SOT 23658 SOS 7552 HAS SOPS 7552 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.552
AT ITER 55 NEW BEST:: SOT 23672 SOS 7528 HAS SOPS 7528 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6824.528
AT ITER 62 NEW BEST:: SOT 23672 SOS 7528 HAS SOPS 7528 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6821.528
AT ITER 71 NEW BEST:: SOT 23657 SOS 7498 HAS SOPS 7498 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6791.498
AT ITER 72 NEW BEST:: SOT 23657 SOS 7498 HAS SOPS 7498 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.498
AT ITER 83 NEW BEST:: SOT 23655 SOS 7496 HAS SOPS 7496 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6783.496
AT ITER 96 NEW BEST:: SOT 23682 SOS 7475 HAS SOPS 7475 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.475
AT ITER 103 NEW BEST:: SOT 23682 SOS 7466 HAS SOPS 7466 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6753.466
AT ITER 113 NEW BEST:: SOT 23686 SOS 7404 HAS SOPS 7404 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6725.404
AT ITER 119 NEW BEST:: SOT 23674 SOS 7380 HAS SOPS 7380 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6713.38
AT ITER 135 NEW BEST:: SOT 23674 SOS 7382 HAS SOPS 7382 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6697.382
AT ITER 147 NEW BEST:: SOT 23640 SOS 7365 HAS SOPS 7365 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6680.365
AT ITER 149 NEW BEST:: SOT 23652 SOS 7389 HAS SOPS 7389 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6653.389
AT ITER 154 NEW BEST:: SOT 23643 SOS 7382 HAS SOPS 7382 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6647.382
AT ITER 164 NEW BEST:: SOT 23620 SOS 7343 HAS SOPS 7343 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.343
AT ITER 167 NEW BEST:: SOT 23604 SOS 7346 HAS SOPS 7346 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6591.346
AT ITER 168 NEW BEST:: SOT 23604 SOS 7341 HAS SOPS 7341 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6591.341
AT ITER 188 NEW BEST:: SOT 23604 SOS 7312 HAS SOPS 7312 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6562.312
AT ITER 214 NEW BEST:: SOT 23609 SOS 7322 HAS SOPS 7322 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.322
AT ITER 221 NEW BEST:: SOT 23609 SOS 7322 HAS SOPS 7322 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.322
AT ITER 228 NEW BEST:: SOT 23579 SOS 7250 HAS SOPS 7250 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.25
AT ITER 229 NEW BEST:: SOT 23556 SOS 7215 HAS SOPS 7215 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6437.215
AT ITER 236 NEW BEST:: SOT 23572 SOS 7158 HAS SOPS 7158 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6413.158
AT ITER 256 NEW BEST:: SOT 23542 SOS 7086 HAS SOPS 7086 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.086
AT ITER 265 NEW BEST:: SOT 23514 SOS 7036 HAS SOPS 7036 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6350.036
AT ITER 269 NEW BEST:: SOT 23501 SOS 6967 HAS SOPS 6967 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6314.967
AT ITER 274 NEW BEST:: SOT 23512 SOS 6995 HAS SOPS 6995 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6313.995
AT ITER 283 NEW BEST:: SOT 23477 SOS 6975 HAS SOPS 6975 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6287.975
AT ITER 285 NEW BEST:: SOT 23472 SOS 6965 HAS SOPS 6965 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6282.965
AT ITER 297 NEW BEST:: SOT 23412 SOS 7047 HAS SOPS 7047 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6281.047
AT ITER 309 NEW BEST:: SOT 23428 SOS 7063 HAS SOPS 7063 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.063
AT ITER 322 NEW BEST:: SOT 23429 SOS 7085 HAS SOPS 7085 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.085
AT ITER 324 NEW BEST:: SOT 23399 SOS 7040 HAS SOPS 7040 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.04
AT ITER 341 NEW BEST:: SOT 23385 SOS 7056 HAS SOPS 7056 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6207.056
AT ITER 345 NEW BEST:: SOT 23381 SOS 7048 HAS SOPS 7048 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.048
AT ITER 363 NEW BEST:: SOT 23370 SOS 7046 HAS SOPS 7046 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6196.046
AT ITER 376 NEW BEST:: SOT 23330 SOS 7006 HAS SOPS 7006 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6164.006
AT ITER 387 NEW BEST:: SOT 23315 SOS 6976 HAS SOPS 6976 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6133.976
AT ITER 393 NEW BEST:: SOT 23314 SOS 6975 HAS SOPS 6975 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6132.975
AT ITER 400 NEW BEST:: SOT 23316 SOS 6951 HAS SOPS 6951 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6108.951
AT ITER 410 NEW BEST:: SOT 23313 SOS 6910 HAS SOPS 6910 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6089.91
AT ITER 420 NEW BEST:: SOT 23311 SOS 6908 HAS SOPS 6908 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6087.908
AT ITER 475 NEW BEST:: SOT 23293 SOS 6838 HAS SOPS 6838 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6053.838
AT ITER 487 NEW BEST:: SOT 23296 SOS 6837 HAS SOPS 6837 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6052.837
AT ITER 491 NEW BEST:: SOT 23293 SOS 6836 HAS SOPS 6836 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6051.836
AT ITER 509 NEW BEST:: SOT 23296 SOS 6806 HAS SOPS 6806 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6021.806
AT ITER 519 NEW BEST:: SOT 23296 SOS 6803 HAS SOPS 6803 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.803
AT ITER 521 NEW BEST:: SOT 23299 SOS 6805 HAS SOPS 6805 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6009.805
AT ITER 545 NEW BEST:: SOT 23305 SOS 6804 HAS SOPS 6804 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6008.804
AT ITER 562 NEW BEST:: SOT 23305 SOS 6801 HAS SOPS 6801 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6005.801
AT ITER 564 NEW BEST:: SOT 23305 SOS 6768 HAS SOPS 6768 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5979.768
AT ITER 573 NEW BEST:: SOT 23304 SOS 6766 HAS SOPS 6766 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.766
AT ITER 582 NEW BEST:: SOT 23304 SOS 6765 HAS SOPS 6765 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5977.765
AT ITER 618 NEW BEST:: SOT 23303 SOS 6763 HAS SOPS 6763 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5976.763
AT ITER 649 NEW BEST:: SOT 23307 SOS 6756 HAS SOPS 6756 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5954.756
AT ITER 661 NEW BEST:: SOT 23275 SOS 6692 HAS SOPS 6692 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5930.692
AT ITER 688 NEW BEST:: SOT 23273 SOS 6690 HAS SOPS 6690 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5926.69
AT ITER 695 NEW BEST:: SOT 23288 SOS 6705 HAS SOPS 6705 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5919.705
AT ITER 707 NEW BEST:: SOT 23280 SOS 6692 HAS SOPS 6692 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5914.692
AT ITER 715 NEW BEST:: SOT 23280 SOS 6683 HAS SOPS 6683 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5905.683
AT ITER 747 NEW BEST:: SOT 23275 SOS 6667 HAS SOPS 6667 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5895.667
AT ITER 755 NEW BEST:: SOT 23270 SOS 6657 HAS SOPS 6657 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5885.657
AT ITER 771 NEW BEST:: SOT 23274 SOS 6614 HAS SOPS 6614 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.614
AT ITER 778 NEW BEST:: SOT 23286 SOS 6605 HAS SOPS 6605 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5848.605
AT ITER 779 NEW BEST:: SOT 23283 SOS 6608 HAS SOPS 6608 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5845.608
AT ITER 864 NEW BEST:: SOT 23283 SOS 6600 HAS SOPS 6600 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5837.6
AT ITER 909 NEW BEST:: SOT 23299 SOS 6616 HAS SOPS 6616 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.616
AT ITER 942 NEW BEST:: SOT 23301 SOS 6612 HAS SOPS 6612 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5831.612
AT ITER 1019 NEW BEST:: SOT 23299 SOS 6609 HAS SOPS 6609 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5828.609
AT ITER 1065 NEW BEST:: SOT 23291 SOS 6514 HAS SOPS 6514 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5798.514
AT ITER 1096 NEW BEST:: SOT 23291 SOS 6512 HAS SOPS 6512 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.512
AT ITER 1115 NEW BEST:: SOT 23292 SOS 6509 HAS SOPS 6509 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.509
AT ITER 1126 NEW BEST:: SOT 23291 SOS 6507 HAS SOPS 6507 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5794.507
AT ITER 1139 NEW BEST:: SOT 23291 SOS 6498 HAS SOPS 6498 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.498
AT ITER 1140 NEW BEST:: SOT 23292 SOS 6496 HAS SOPS 6496 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5783.496
AT ITER 1195 NEW BEST:: SOT 23287 SOS 6504 HAS SOPS 6504 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5778.504
AT ITER 1200 NEW BEST:: SOT 23277 SOS 6496 HAS SOPS 6496 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.496
AT ITER 1210 NEW BEST:: SOT 23274 SOS 6502 HAS SOPS 6502 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.502
AT ITER 1232 NEW BEST:: SOT 23257 SOS 6484 HAS SOPS 6484 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5761.484
AT ITER 1245 NEW BEST:: SOT 23268 SOS 6471 HAS SOPS 6471 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.471
AT ITER 1246 NEW BEST:: SOT 23266 SOS 6467 HAS SOPS 6467 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5738.467
AT ITER 1253 NEW BEST:: SOT 23265 SOS 6466 HAS SOPS 6466 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5737.466
AT ITER 1267 NEW BEST:: SOT 23259 SOS 6459 HAS SOPS 6459 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5730.459
AT ITER 1273 NEW BEST:: SOT 23247 SOS 6435 HAS SOPS 6435 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.435
AT ITER 1306 NEW BEST:: SOT 23247 SOS 6435 HAS SOPS 6435 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.435
AT ITER 1315 NEW BEST:: SOT 23240 SOS 6499 HAS SOPS 6499 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5695.499
AT ITER 1329 NEW BEST:: SOT 23236 SOS 6436 HAS SOPS 6436 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.436
AT ITER 1330 NEW BEST:: SOT 23235 SOS 6435 HAS SOPS 6435 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.435
AT ITER 1332 NEW BEST:: SOT 23239 SOS 6419 HAS SOPS 6419 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.419
AT ITER 1339 NEW BEST:: SOT 23236 SOS 6407 HAS SOPS 6407 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.407
AT ITER 1345 NEW BEST:: SOT 23236 SOS 6405 HAS SOPS 6405 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.405
AT ITER 1361 NEW BEST:: SOT 23226 SOS 6395 HAS SOPS 6395 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5650.395
AT ITER 1379 NEW BEST:: SOT 23250 SOS 6356 HAS SOPS 6356 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.356
AT ITER 1382 NEW BEST:: SOT 23272 SOS 6330 HAS SOPS 6330 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.33
AT ITER 1390 NEW BEST:: SOT 23265 SOS 6316 HAS SOPS 6316 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5606.316
AT ITER 1394 NEW BEST:: SOT 23243 SOS 6272 HAS SOPS 6272 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.272
AT ITER 1418 NEW BEST:: SOT 23243 SOS 6288 HAS SOPS 6288 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.288
AT ITER 1420 NEW BEST:: SOT 23241 SOS 6286 HAS SOPS 6286 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.286
AT ITER 1426 NEW BEST:: SOT 23240 SOS 6258 HAS SOPS 6258 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.258
AT ITER 1448 NEW BEST:: SOT 23239 SOS 6252 HAS SOPS 6252 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.252
AT ITER 1451 NEW BEST:: SOT 23246 SOS 6188 HAS SOPS 6188 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.188
AT ITER 1453 NEW BEST:: SOT 23244 SOS 6186 HAS SOPS 6186 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5515.186
AT ITER 1464 NEW BEST:: SOT 23244 SOS 6182 HAS SOPS 6182 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.182
AT ITER 1495 NEW BEST:: SOT 23262 SOS 6174 HAS SOPS 6174 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.174
AT ITER 1502 NEW BEST:: SOT 23260 SOS 6176 HAS SOPS 6176 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.176
AT ITER 1513 NEW BEST:: SOT 23259 SOS 6156 HAS SOPS 6156 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.156
AT ITER 1518 NEW BEST:: SOT 23259 SOS 6148 HAS SOPS 6148 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.148
AT ITER 1523 NEW BEST:: SOT 23248 SOS 6126 HAS SOPS 6126 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5469.126
AT ITER 1527 NEW BEST:: SOT 23246 SOS 6124 HAS SOPS 6124 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.124
AT ITER 1530 NEW BEST:: SOT 23245 SOS 6085 HAS SOPS 6085 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.085
AT ITER 1533 NEW BEST:: SOT 23244 SOS 6084 HAS SOPS 6084 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.084
AT ITER 1563 NEW BEST:: SOT 23244 SOS 6083 HAS SOPS 6083 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.083
AT ITER 1583 NEW BEST:: SOT 23237 SOS 6077 HAS SOPS 6077 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.077
AT ITER 1596 NEW BEST:: SOT 23235 SOS 6075 HAS SOPS 6075 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.075
AT ITER 1659 NEW BEST:: SOT 23235 SOS 6069 HAS SOPS 6069 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.069
AT ITER 1661 NEW BEST:: SOT 23215 SOS 6029 HAS SOPS 6029 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.029
AT ITER 1665 NEW BEST:: SOT 23220 SOS 6024 HAS SOPS 6024 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.024
AT ITER 1669 NEW BEST:: SOT 23218 SOS 6012 HAS SOPS 6012 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5411.012
AT ITER 1705 NEW BEST:: SOT 23218 SOS 5977 HAS SOPS 5977 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5410.977
AT ITER 1718 NEW BEST:: SOT 23214 SOS 5969 HAS SOPS 5969 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5402.969
AT ITER 1730 NEW BEST:: SOT 23209 SOS 5966 HAS SOPS 5966 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5399.966
AT ITER 1737 NEW BEST:: SOT 23209 SOS 5964 HAS SOPS 5964 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5397.964
AT ITER 1740 NEW BEST:: SOT 23188 SOS 5907 HAS SOPS 5907 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5340.907
AT ITER 1758 NEW BEST:: SOT 23157 SOS 5877 HAS SOPS 5877 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5287.877
AT ITER 1768 NEW BEST:: SOT 23156 SOS 5875 HAS SOPS 5875 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.875
AT ITER 1795 NEW BEST:: SOT 23145 SOS 5867 HAS SOPS 5867 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5282.867
AT ITER 1800 NEW BEST:: SOT 23125 SOS 5769 HAS SOPS 5769 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.769
AT ITER 1827 NEW BEST:: SOT 23110 SOS 5751 HAS SOPS 5751 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5220.751
AT ITER 1830 NEW BEST:: SOT 23110 SOS 5742 HAS SOPS 5742 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5220.742
AT ITER 1836 NEW BEST:: SOT 23111 SOS 5652 HAS SOPS 5652 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5175.652
AT ITER 1860 NEW BEST:: SOT 23109 SOS 5657 HAS SOPS 5657 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5173.657
AT ITER 1861 NEW BEST:: SOT 23083 SOS 5673 HAS SOPS 5673 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5159.673
AT ITER 1883 NEW BEST:: SOT 23080 SOS 5670 HAS SOPS 5670 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.67
AT ITER 1891 NEW BEST:: SOT 23070 SOS 5578 HAS SOPS 5578 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5116.578
AT ITER 1902 NEW BEST:: SOT 23070 SOS 5578 HAS SOPS 5578 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5113.578
AT ITER 1939 NEW BEST:: SOT 23072 SOS 5547 HAS SOPS 5547 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.547
AT ITER 1941 NEW BEST:: SOT 23075 SOS 5523 HAS SOPS 5523 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5097.523
AT ITER 1980 NEW BEST:: SOT 23070 SOS 5529 HAS SOPS 5529 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5088.529
AT ITER 2011 NEW BEST:: SOT 23075 SOS 5522 HAS SOPS 5522 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5080.522
AT ITER 2019 NEW BEST:: SOT 23072 SOS 5528 HAS SOPS 5528 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5077.528
AT ITER 2041 NEW BEST:: SOT 23067 SOS 5517 HAS SOPS 5517 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.517
AT ITER 2057 NEW BEST:: SOT 23021 SOS 5388 HAS SOPS 5388 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.388
AT ITER 2084 NEW BEST:: SOT 23033 SOS 5407 HAS SOPS 5407 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.407
AT ITER 2121 NEW BEST:: SOT 23018 SOS 5339 HAS SOPS 5339 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4908.339
AT ITER 2138 NEW BEST:: SOT 23015 SOS 5333 HAS SOPS 5333 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.333
AT ITER 2141 NEW BEST:: SOT 23015 SOS 5333 HAS SOPS 5333 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4895.333
AT ITER 2143 NEW BEST:: SOT 22999 SOS 5324 HAS SOPS 5324 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.324
AT ITER 2148 NEW BEST:: SOT 22992 SOS 5320 HAS SOPS 5320 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4881.32
AT ITER 2172 NEW BEST:: SOT 22992 SOS 5318 HAS SOPS 5318 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4879.318
AT ITER 2213 NEW BEST:: SOT 22982 SOS 5289 HAS SOPS 5289 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.289
AT ITER 2261 NEW BEST:: SOT 22984 SOS 5287 HAS SOPS 5287 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4849.287
AT ITER 2274 NEW BEST:: SOT 22958 SOS 5252 HAS SOPS 5252 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4831.252
AT ITER 2287 NEW BEST:: SOT 22954 SOS 5271 HAS SOPS 5271 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.271
AT ITER 2325 NEW BEST:: SOT 22948 SOS 5251 HAS SOPS 5251 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4807.251
AT ITER 2331 NEW BEST:: SOT 22951 SOS 5255 HAS SOPS 5255 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.255
AT ITER 2374 NEW BEST:: SOT 22948 SOS 5249 HAS SOPS 5249 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4799.249
AT ITER 2392 NEW BEST:: SOT 22943 SOS 5239 HAS SOPS 5239 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.239
AT ITER 2401 NEW BEST:: SOT 22943 SOS 5237 HAS SOPS 5237 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.237
AT ITER 2488 NEW BEST:: SOT 22942 SOS 5251 HAS SOPS 5251 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4778.251
AT ITER 2545 NEW BEST:: SOT 22932 SOS 5242 HAS SOPS 5242 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.242
AT ITER 2646 NEW BEST:: SOT 22924 SOS 5209 HAS SOPS 5209 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.209
AT ITER 2675 NEW BEST:: SOT 22926 SOS 5213 HAS SOPS 5213 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.213
AT ITER 2732 NEW BEST:: SOT 22925 SOS 5211 HAS SOPS 5211 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4757.211
AT ITER 2733 NEW BEST:: SOT 22911 SOS 5208 HAS SOPS 5208 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4743.208
AT ITER 2782 NEW BEST:: SOT 22910 SOS 5204 HAS SOPS 5204 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4739.204
AT ITER 2792 NEW BEST:: SOT 22915 SOS 5205 HAS SOPS 5205 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.205
AT ITER 2848 NEW BEST:: SOT 22915 SOS 5203 HAS SOPS 5203 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4734.203
AT ITER 2867 NEW BEST:: SOT 22907 SOS 5169 HAS SOPS 5169 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4726.169
AT ITER 2891 NEW BEST:: SOT 22904 SOS 5166 HAS SOPS 5166 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4720.166
AT ITER 2901 NEW BEST:: SOT 22909 SOS 5164 HAS SOPS 5164 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4718.164
AT ITER 2905 NEW BEST:: SOT 22906 SOS 5162 HAS SOPS 5162 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.162
AT ITER 2947 NEW BEST:: SOT 22905 SOS 5161 HAS SOPS 5161 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.161
AT ITER 2948 NEW BEST:: SOT 22896 SOS 5148 HAS SOPS 5148 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4695.148
AT ITER 3031 NEW BEST:: SOT 22880 SOS 5152 HAS SOPS 5152 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.152
AT ITER 3040 NEW BEST:: SOT 22865 SOS 5120 HAS SOPS 5120 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4683.12
AT ITER 3042 NEW BEST:: SOT 22865 SOS 5119 HAS SOPS 5119 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4682.119
AT ITER 3047 NEW BEST:: SOT 22861 SOS 5123 HAS SOPS 5123 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.123
AT ITER 3058 NEW BEST:: SOT 22876 SOS 5090 HAS SOPS 5090 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.09
AT ITER 3076 NEW BEST:: SOT 22877 SOS 5088 HAS SOPS 5088 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.088
AT ITER 3082 NEW BEST:: SOT 22877 SOS 5087 HAS SOPS 5087 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4656.087
AT ITER 3111 NEW BEST:: SOT 22870 SOS 5076 HAS SOPS 5076 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4649.076
AT ITER 3132 NEW BEST:: SOT 22852 SOS 5070 HAS SOPS 5070 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.07
AT ITER 3139 NEW BEST:: SOT 22852 SOS 5066 HAS SOPS 5066 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.066
AT ITER 3163 NEW BEST:: SOT 22833 SOS 5047 HAS SOPS 5047 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4620.047
AT ITER 3167 NEW BEST:: SOT 22836 SOS 5021 HAS SOPS 5021 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.021
AT ITER 3200 NEW BEST:: SOT 22826 SOS 5020 HAS SOPS 5020 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4595.02
AT ITER 3220 NEW BEST:: SOT 22845 SOS 5031 HAS SOPS 5031 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4594.031
AT ITER 3223 NEW BEST:: SOT 22837 SOS 5010 HAS SOPS 5010 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.01
AT ITER 3286 NEW BEST:: SOT 22834 SOS 5007 HAS SOPS 5007 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4575.007
AT ITER 3288 NEW BEST:: SOT 22825 SOS 4999 HAS SOPS 4999 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4566.999
AT ITER 3378 NEW BEST:: SOT 22817 SOS 4993 HAS SOPS 4993 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4563.993
AT ITER 3410 NEW BEST:: SOT 22818 SOS 4982 HAS SOPS 4982 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4558.982
AT ITER 3413 NEW BEST:: SOT 22805 SOS 4954 HAS SOPS 4954 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4530.954
AT ITER 3618 NEW BEST:: SOT 22804 SOS 4962 HAS SOPS 4962 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4529.962
AT ITER 3621 NEW BEST:: SOT 22805 SOS 4961 HAS SOPS 4961 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4528.961
AT ITER 3628 NEW BEST:: SOT 22782 SOS 4924 HAS SOPS 4924 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4509.924
AT ITER 3639 NEW BEST:: SOT 22779 SOS 4921 HAS SOPS 4921 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4508.921
AT ITER 3646 NEW BEST:: SOT 22779 SOS 4921 HAS SOPS 4921 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4506.921
AT ITER 3704 NEW BEST:: SOT 22784 SOS 4933 HAS SOPS 4933 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4490.933
AT ITER 3724 NEW BEST:: SOT 22788 SOS 4930 HAS SOPS 4930 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4487.93
AT ITER 3751 NEW BEST:: SOT 22787 SOS 4928 HAS SOPS 4928 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4485.928
AT ITER 3760 NEW BEST:: SOT 22787 SOS 4924 HAS SOPS 4924 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4481.924
AT ITER 3789 NEW BEST:: SOT 22786 SOS 4918 HAS SOPS 4918 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4472.918
AT ITER 3825 NEW BEST:: SOT 22789 SOS 4920 HAS SOPS 4920 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4467.92
AT ITER 3868 NEW BEST:: SOT 22787 SOS 4916 HAS SOPS 4916 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4465.916
AT ITER 3878 NEW BEST:: SOT 22779 SOS 4900 HAS SOPS 4900 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4449.9
AT ITER 3922 NEW BEST:: SOT 22779 SOS 4877 HAS SOPS 4877 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4426.877
AT ITER 3927 NEW BEST:: SOT 22779 SOS 4784 HAS SOPS 4784 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4426.784
AT ITER 3957 NEW BEST:: SOT 22775 SOS 4780 HAS SOPS 4780 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4422.78
AT ITER 3992 NEW BEST:: SOT 22773 SOS 4771 HAS SOPS 4771 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4418.771
AT ITER 4085 NEW BEST:: SOT 22773 SOS 4770 HAS SOPS 4770 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4417.77
AT ITER 4112 NEW BEST:: SOT 22770 SOS 4774 HAS SOPS 4774 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4414.774
AT ITER 4125 NEW BEST:: SOT 22769 SOS 4757 HAS SOPS 4757 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.757
AT ITER 4286 NEW BEST:: SOT 22747 SOS 4757 HAS SOPS 4757 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4396.757
AT ITER 4289 NEW BEST:: SOT 22746 SOS 4755 HAS SOPS 4755 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4395.755
AT ITER 4342 NEW BEST:: SOT 22746 SOS 4739 HAS SOPS 4739 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4395.739
AT ITER 4357 NEW BEST:: SOT 22746 SOS 4733 HAS SOPS 4733 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4389.733
AT ITER 4396 NEW BEST:: SOT 22741 SOS 4719 HAS SOPS 4719 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4375.719
AT ITER 4405 NEW BEST:: SOT 22741 SOS 4700 HAS SOPS 4700 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4356.7
AT ITER 4443 NEW BEST:: SOT 22736 SOS 4701 HAS SOPS 4701 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4351.701
AT ITER 4452 NEW BEST:: SOT 22731 SOS 4696 HAS SOPS 4696 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.696
AT ITER 4495 NEW BEST:: SOT 22731 SOS 4694 HAS SOPS 4694 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.694
AT ITER 4507 NEW BEST:: SOT 22729 SOS 4690 HAS SOPS 4690 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.69
AT ITER 4671 NEW BEST:: SOT 22728 SOS 4688 HAS SOPS 4688 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4344.688
AT ITER 4698 NEW BEST:: SOT 22726 SOS 4684 HAS SOPS 4684 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4340.684
AT ITER 4738 NEW BEST:: SOT 22724 SOS 4680 HAS SOPS 4680 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.68
AT ITER 4769 NEW BEST:: SOT 22722 SOS 4672 HAS SOPS 4672 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4332.672
AT ITER 4949 NEW BEST:: SOT 22722 SOS 4670 HAS SOPS 4670 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.67
AT ITER 4969 NEW BEST:: SOT 22722 SOS 4668 HAS SOPS 4668 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.668
AT ITER 4989 NEW BEST:: SOT 22724 SOS 4666 HAS SOPS 4666 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4326.666
AT ITER 4990 NEW BEST:: SOT 22723 SOS 4665 HAS SOPS 4665 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4325.665
AT ITER 5025 NEW BEST:: SOT 22721 SOS 4671 HAS SOPS 4671 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4323.671
AT ITER 5038 NEW BEST:: SOT 22719 SOS 4667 HAS SOPS 4667 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4319.667
AT ITER 5041 NEW BEST:: SOT 22717 SOS 4664 HAS SOPS 4664 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4318.664
AT ITER 5051 NEW BEST:: SOT 22719 SOS 4662 HAS SOPS 4662 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4316.662
AT ITER 5112 NEW BEST:: SOT 22719 SOS 4653 HAS SOPS 4653 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4315.653
AT ITER 5126 NEW BEST:: SOT 22719 SOS 4647 HAS SOPS 4647 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4315.647
AT ITER 5162 NEW BEST:: SOT 22716 SOS 4641 HAS SOPS 4641 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4312.641
AT ITER 5174 NEW BEST:: SOT 22714 SOS 4654 HAS SOPS 4654 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4310.654
AT ITER 5191 NEW BEST:: SOT 22712 SOS 4650 HAS SOPS 4650 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4306.65
AT ITER 5274 NEW BEST:: SOT 22709 SOS 4644 HAS SOPS 4644 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4300.644
AT ITER 5326 NEW BEST:: SOT 22708 SOS 4642 HAS SOPS 4642 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4298.642
AT ITER 5368 NEW BEST:: SOT 22707 SOS 4640 HAS SOPS 4640 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4294.64
AT ITER 5377 NEW BEST:: SOT 22707 SOS 4636 HAS SOPS 4636 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4290.636
AT ITER 5400 NEW BEST:: SOT 22711 SOS 4644 HAS SOPS 4644 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4285.644
AT ITER 5405 NEW BEST:: SOT 22689 SOS 4655 HAS SOPS 4655 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.655
AT ITER 5548 NEW BEST:: SOT 22684 SOS 4629 HAS SOPS 4629 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.629
AT ITER 5584 NEW BEST:: SOT 22684 SOS 4613 HAS SOPS 4613 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.613
AT ITER 5634 NEW BEST:: SOT 22679 SOS 4612 HAS SOPS 4612 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4268.612
AT ITER 5678 NEW BEST:: SOT 22676 SOS 4609 HAS SOPS 4609 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4265.609
AT ITER 5733 NEW BEST:: SOT 22674 SOS 4604 HAS SOPS 4604 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.604
AT ITER 5741 NEW BEST:: SOT 22673 SOS 4595 HAS SOPS 4595 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.595
AT ITER 5761 NEW BEST:: SOT 22677 SOS 4594 HAS SOPS 4594 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4255.594
AT ITER 5833 NEW BEST:: SOT 22677 SOS 4593 HAS SOPS 4593 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4254.593
AT ITER 5848 NEW BEST:: SOT 22673 SOS 4593 HAS SOPS 4593 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4250.593
AT ITER 5989 NEW BEST:: SOT 22672 SOS 4591 HAS SOPS 4591 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4248.591
AT ITER 6013 NEW BEST:: SOT 22669 SOS 4589 HAS SOPS 4589 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4247.589
AT ITER 6026 NEW BEST:: SOT 22671 SOS 4581 HAS SOPS 4581 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4245.581
AT ITER 6032 NEW BEST:: SOT 22662 SOS 4564 HAS SOPS 4564 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.564
AT ITER 6078 NEW BEST:: SOT 22657 SOS 4584 HAS SOPS 4584 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.584
AT ITER 6258 NEW BEST:: SOT 22659 SOS 4581 HAS SOPS 4581 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.581
AT ITER 6415 NEW BEST:: SOT 22651 SOS 4571 HAS SOPS 4571 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4219.571
AT ITER 6447 NEW BEST:: SOT 22657 SOS 4564 HAS SOPS 4564 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.564
AT ITER 6465 NEW BEST:: SOT 22651 SOS 4547 HAS SOPS 4547 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.547
AT ITER 6476 NEW BEST:: SOT 22647 SOS 4531 HAS SOPS 4531 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.531
AT ITER 6509 NEW BEST:: SOT 22656 SOS 4517 HAS SOPS 4517 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4177.517
AT ITER 6599 NEW BEST:: SOT 22652 SOS 4517 HAS SOPS 4517 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4173.517
AT ITER 6636 NEW BEST:: SOT 22651 SOS 4517 HAS SOPS 4517 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4171.517
AT ITER 6660 NEW BEST:: SOT 22652 SOS 4515 HAS SOPS 4515 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4169.515
AT ITER 6726 NEW BEST:: SOT 22651 SOS 4499 HAS SOPS 4499 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4165.499
AT ITER 6739 NEW BEST:: SOT 22637 SOS 4485 HAS SOPS 4485 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.485
AT ITER 6754 NEW BEST:: SOT 22632 SOS 4478 HAS SOPS 4478 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.478
AT ITER 6776 NEW BEST:: SOT 22636 SOS 4481 HAS SOPS 4481 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.481
AT ITER 6825 NEW BEST:: SOT 22627 SOS 4449 HAS SOPS 4449 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.449
AT ITER 6832 NEW BEST:: SOT 22632 SOS 4442 HAS SOPS 4442 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.442
AT ITER 6837 NEW BEST:: SOT 22632 SOS 4442 HAS SOPS 4442 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.442
AT ITER 6868 NEW BEST:: SOT 22632 SOS 4425 HAS SOPS 4425 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.425
AT ITER 6900 NEW BEST:: SOT 22634 SOS 4423 HAS SOPS 4423 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.423
AT ITER 6930 NEW BEST:: SOT 22641 SOS 4422 HAS SOPS 4422 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4125.422
AT ITER 6934 NEW BEST:: SOT 22640 SOS 4421 HAS SOPS 4421 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.421
AT ITER 6985 NEW BEST:: SOT 22630 SOS 4417 HAS SOPS 4417 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4120.417
AT ITER 7061 NEW BEST:: SOT 22633 SOS 4420 HAS SOPS 4420 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4119.42
AT ITER 7102 NEW BEST:: SOT 22634 SOS 4419 HAS SOPS 4419 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4118.419
AT ITER 7108 NEW BEST:: SOT 22631 SOS 4422 HAS SOPS 4422 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4115.422
AT ITER 7115 NEW BEST:: SOT 22632 SOS 4421 HAS SOPS 4421 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.421
AT ITER 7131 NEW BEST:: SOT 22631 SOS 4420 HAS SOPS 4420 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4111.42
AT ITER 7181 NEW BEST:: SOT 22629 SOS 4419 HAS SOPS 4419 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.419
AT ITER 7184 NEW BEST:: SOT 22627 SOS 4418 HAS SOPS 4418 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4109.418
AT ITER 7214 NEW BEST:: SOT 22620 SOS 4410 HAS SOPS 4410 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4103.41
AT ITER 7233 NEW BEST:: SOT 22619 SOS 4409 HAS SOPS 4409 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4103.409
AT ITER 7252 NEW BEST:: SOT 22630 SOS 4410 HAS SOPS 4410 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.41
AT ITER 7272 NEW BEST:: SOT 22630 SOS 4381 HAS SOPS 4381 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.381
AT ITER 7296 NEW BEST:: SOT 22630 SOS 4380 HAS SOPS 4380 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.38
AT ITER 7412 NEW BEST:: SOT 22626 SOS 4375 HAS SOPS 4375 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.375
AT ITER 7431 NEW BEST:: SOT 22627 SOS 4371 HAS SOPS 4371 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.371
AT ITER 7481 NEW BEST:: SOT 22622 SOS 4370 HAS SOPS 4370 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4091.37
AT ITER 7531 NEW BEST:: SOT 22621 SOS 4368 HAS SOPS 4368 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.368
AT ITER 7560 NEW BEST:: SOT 22618 SOS 4366 HAS SOPS 4366 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.366
AT ITER 7640 NEW BEST:: SOT 22614 SOS 4362 HAS SOPS 4362 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.362
AT ITER 8019 NEW BEST:: SOT 22616 SOS 4366 HAS SOPS 4366 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.366
AT ITER 8035 NEW BEST:: SOT 22616 SOS 4362 HAS SOPS 4362 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4082.362
AT ITER 8082 NEW BEST:: SOT 22616 SOS 4362 HAS SOPS 4362 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.362
AT ITER 8088 NEW BEST:: SOT 22614 SOS 4361 HAS SOPS 4361 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.361
AT ITER 8131 NEW BEST:: SOT 22607 SOS 4361 HAS SOPS 4361 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4073.361
AT ITER 8206 NEW BEST:: SOT 22605 SOS 4359 HAS SOPS 4359 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.359
AT ITER 8307 NEW BEST:: SOT 22604 SOS 4357 HAS SOPS 4357 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.357
AT ITER 8327 NEW BEST:: SOT 22600 SOS 4353 HAS SOPS 4353 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4067.353
AT ITER 8443 NEW BEST:: SOT 22601 SOS 4354 HAS SOPS 4354 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4066.354
AT ITER 8554 NEW BEST:: SOT 22601 SOS 4354 HAS SOPS 4354 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.354
AT ITER 8571 NEW BEST:: SOT 22599 SOS 4352 HAS SOPS 4352 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.352
AT ITER 8617 NEW BEST:: SOT 22598 SOS 4350 HAS SOPS 4350 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.35
AT ITER 8855 NEW BEST:: SOT 22595 SOS 4347 HAS SOPS 4347 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.347
AT ITER 8999 NEW BEST:: SOT 22587 SOS 4337 HAS SOPS 4337 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.337
AT ITER 9107 NEW BEST:: SOT 22590 SOS 4336 HAS SOPS 4336 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4044.336
AT ITER 9144 NEW BEST:: SOT 22592 SOS 4334 HAS SOPS 4334 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4044.334
AT ITER 9321 NEW BEST:: SOT 22592 SOS 4333 HAS SOPS 4333 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.333
AT ITER 9438 NEW BEST:: SOT 22592 SOS 4331 HAS SOPS 4331 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.331
AT ITER 9628 NEW BEST:: SOT 22590 SOS 4328 HAS SOPS 4328 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4042.328
AT ITER 9726 NEW BEST:: SOT 22589 SOS 4328 HAS SOPS 4328 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4041.328
AT ITER 9806 NEW BEST:: SOT 22585 SOS 4328 HAS SOPS 4328 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.328
AT ITER 9862 NEW BEST:: SOT 22580 SOS 4323 HAS SOPS 4323 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4033.323

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="ShieldIIPt-PT-003B"
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 ShieldIIPt-PT-003B, 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-159033469200264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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