Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r459-smll-167912650900192.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SmartHome-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912650900192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 5.5K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 05:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 05:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 189K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 05:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K Mar 5 18:23 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 1679259418959

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 20:57:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 20:57:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 20:57:02] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-19 20:57:02] [INFO ] Transformed 213 places.
[2023-03-19 20:57:02] [INFO ] Transformed 245 transitions.
[2023-03-19 20:57:02] [INFO ] Found NUPN structural information;
[2023-03-19 20:57:02] [INFO ] Parsed PT model containing 213 places and 245 transitions and 557 arcs in 359 ms.
[2023-03-19 20:57:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 213 places, 245 transitions and 557 arcs took 12 ms.
Total runtime 438 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 213 places, 245 transitions, 557 arcs.
AT ITER 0 NEW BEST:: SOT 30533 SOS 7055 HAS SOPS 7055 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.055
AT ITER 6 NEW BEST:: SOT 30533 SOS 7053 HAS SOPS 7053 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6867.053
AT ITER 7 NEW BEST:: SOT 30411 SOS 6979 HAS SOPS 6979 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6761.979
AT ITER 21 NEW BEST:: SOT 30414 SOS 6985 HAS SOPS 6985 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6748.985
AT ITER 45 NEW BEST:: SOT 30296 SOS 7339 HAS SOPS 7339 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6692.339
AT ITER 50 NEW BEST:: SOT 30285 SOS 7317 HAS SOPS 7317 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.317
AT ITER 66 NEW BEST:: SOT 30269 SOS 7296 HAS SOPS 7296 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6649.296
AT ITER 70 NEW BEST:: SOT 30269 SOS 7288 HAS SOPS 7288 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6641.288
AT ITER 71 NEW BEST:: SOT 30256 SOS 7227 HAS SOPS 7227 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6606.227
AT ITER 77 NEW BEST:: SOT 30245 SOS 7227 HAS SOPS 7227 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6592.227
AT ITER 78 NEW BEST:: SOT 30242 SOS 7221 HAS SOPS 7221 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.221
AT ITER 81 NEW BEST:: SOT 30218 SOS 7197 HAS SOPS 7197 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6562.197
AT ITER 92 NEW BEST:: SOT 30194 SOS 7207 HAS SOPS 7207 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6560.207
AT ITER 111 NEW BEST:: SOT 30191 SOS 7201 HAS SOPS 7201 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6554.201
AT ITER 114 NEW BEST:: SOT 30170 SOS 7180 HAS SOPS 7180 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6532.18
AT ITER 118 NEW BEST:: SOT 30140 SOS 7149 HAS SOPS 7149 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.149
AT ITER 119 NEW BEST:: SOT 30125 SOS 7134 HAS SOPS 7134 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.134
AT ITER 120 NEW BEST:: SOT 30127 SOS 7138 HAS SOPS 7138 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6408.138
AT ITER 122 NEW BEST:: SOT 29839 SOS 7415 HAS SOPS 7415 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6201.415
AT ITER 131 NEW BEST:: SOT 29844 SOS 7425 HAS SOPS 7425 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6197.425
AT ITER 145 NEW BEST:: SOT 29760 SOS 7507 HAS SOPS 7507 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.507
AT ITER 158 NEW BEST:: SOT 29753 SOS 7493 HAS SOPS 7493 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6142.493
AT ITER 159 NEW BEST:: SOT 29753 SOS 7493 HAS SOPS 7493 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6141.493
AT ITER 185 NEW BEST:: SOT 29753 SOS 7493 HAS SOPS 7493 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6138.493
AT ITER 186 NEW BEST:: SOT 29619 SOS 7604 HAS SOPS 7604 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.604
AT ITER 193 NEW BEST:: SOT 29585 SOS 7604 HAS SOPS 7604 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.604
AT ITER 201 NEW BEST:: SOT 29572 SOS 7599 HAS SOPS 7599 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6025.599
AT ITER 223 NEW BEST:: SOT 29554 SOS 7563 HAS SOPS 7563 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6007.563
AT ITER 246 NEW BEST:: SOT 29530 SOS 7539 HAS SOPS 7539 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.539
AT ITER 306 NEW BEST:: SOT 29471 SOS 7487 HAS SOPS 7487 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5969.487
AT ITER 324 NEW BEST:: SOT 29470 SOS 7485 HAS SOPS 7485 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.485
AT ITER 334 NEW BEST:: SOT 29462 SOS 7488 HAS SOPS 7488 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.488
AT ITER 352 NEW BEST:: SOT 29456 SOS 7476 HAS SOPS 7476 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5953.476
AT ITER 373 NEW BEST:: SOT 29456 SOS 7353 HAS SOPS 7353 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5942.353
AT ITER 376 NEW BEST:: SOT 29459 SOS 7339 HAS SOPS 7339 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5928.339
AT ITER 380 NEW BEST:: SOT 29454 SOS 7329 HAS SOPS 7329 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5923.329
AT ITER 383 NEW BEST:: SOT 29451 SOS 7323 HAS SOPS 7323 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5906.323
AT ITER 408 NEW BEST:: SOT 29449 SOS 7303 HAS SOPS 7303 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5897.303
AT ITER 433 NEW BEST:: SOT 29484 SOS 7361 HAS SOPS 7361 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.361
AT ITER 451 NEW BEST:: SOT 29483 SOS 7360 HAS SOPS 7360 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.36
AT ITER 472 NEW BEST:: SOT 29464 SOS 7353 HAS SOPS 7353 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5878.353
AT ITER 473 NEW BEST:: SOT 29464 SOS 7347 HAS SOPS 7347 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5878.347
AT ITER 478 NEW BEST:: SOT 29456 SOS 7331 HAS SOPS 7331 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5845.331
AT ITER 482 NEW BEST:: SOT 29467 SOS 7342 HAS SOPS 7342 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5834.342
AT ITER 487 NEW BEST:: SOT 29463 SOS 7334 HAS SOPS 7334 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5826.334
AT ITER 489 NEW BEST:: SOT 29463 SOS 7315 HAS SOPS 7315 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5822.315
AT ITER 490 NEW BEST:: SOT 29463 SOS 7315 HAS SOPS 7315 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5821.315
AT ITER 492 NEW BEST:: SOT 29460 SOS 7309 HAS SOPS 7309 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.309
AT ITER 495 NEW BEST:: SOT 29453 SOS 7294 HAS SOPS 7294 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5755.294
AT ITER 515 NEW BEST:: SOT 29443 SOS 7281 HAS SOPS 7281 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5722.281
AT ITER 526 NEW BEST:: SOT 29443 SOS 7272 HAS SOPS 7272 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5722.272
AT ITER 538 NEW BEST:: SOT 29399 SOS 7433 HAS SOPS 7433 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5698.433
AT ITER 539 NEW BEST:: SOT 29399 SOS 7421 HAS SOPS 7421 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5698.421
AT ITER 550 NEW BEST:: SOT 29394 SOS 7416 HAS SOPS 7416 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5693.416
AT ITER 554 NEW BEST:: SOT 29390 SOS 7408 HAS SOPS 7408 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5689.408
AT ITER 581 NEW BEST:: SOT 29361 SOS 7350 HAS SOPS 7350 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5659.35
AT ITER 621 NEW BEST:: SOT 29331 SOS 7290 HAS SOPS 7290 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5599.29
AT ITER 635 NEW BEST:: SOT 29322 SOS 7281 HAS SOPS 7281 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5590.281
AT ITER 659 NEW BEST:: SOT 29322 SOS 7271 HAS SOPS 7271 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5580.271
AT ITER 660 NEW BEST:: SOT 29334 SOS 7263 HAS SOPS 7263 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5504.263
AT ITER 677 NEW BEST:: SOT 29318 SOS 7231 HAS SOPS 7231 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5488.231
AT ITER 693 NEW BEST:: SOT 29308 SOS 7211 HAS SOPS 7211 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5485.211
AT ITER 707 NEW BEST:: SOT 29308 SOS 7190 HAS SOPS 7190 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5471.19
AT ITER 733 NEW BEST:: SOT 29293 SOS 7174 HAS SOPS 7174 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.174
AT ITER 735 NEW BEST:: SOT 29272 SOS 7639 HAS SOPS 7639 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5437.639
AT ITER 749 NEW BEST:: SOT 29276 SOS 7647 HAS SOPS 7647 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5434.647
AT ITER 755 NEW BEST:: SOT 29281 SOS 7605 HAS SOPS 7605 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5410.605
AT ITER 756 NEW BEST:: SOT 29278 SOS 7602 HAS SOPS 7602 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5410.602
AT ITER 761 NEW BEST:: SOT 29276 SOS 7596 HAS SOPS 7596 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5406.596
AT ITER 779 NEW BEST:: SOT 29275 SOS 7594 HAS SOPS 7594 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5404.594
AT ITER 800 NEW BEST:: SOT 29268 SOS 7580 HAS SOPS 7580 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5390.58
AT ITER 826 NEW BEST:: SOT 29268 SOS 7595 HAS SOPS 7595 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5375.595
AT ITER 843 NEW BEST:: SOT 29261 SOS 7588 HAS SOPS 7588 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5368.588
AT ITER 847 NEW BEST:: SOT 29260 SOS 7586 HAS SOPS 7586 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5368.586
AT ITER 920 NEW BEST:: SOT 29236 SOS 7562 HAS SOPS 7562 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5357.562
AT ITER 924 NEW BEST:: SOT 29226 SOS 7542 HAS SOPS 7542 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5337.542
AT ITER 926 NEW BEST:: SOT 29224 SOS 7538 HAS SOPS 7538 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5334.538
AT ITER 930 NEW BEST:: SOT 29213 SOS 7516 HAS SOPS 7516 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5334.516
AT ITER 947 NEW BEST:: SOT 29213 SOS 7486 HAS SOPS 7486 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5334.486
AT ITER 955 NEW BEST:: SOT 29207 SOS 7474 HAS SOPS 7474 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5328.474
AT ITER 978 NEW BEST:: SOT 29203 SOS 7471 HAS SOPS 7471 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5325.471
AT ITER 982 NEW BEST:: SOT 29165 SOS 7413 HAS SOPS 7413 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5276.413
AT ITER 989 NEW BEST:: SOT 29156 SOS 7395 HAS SOPS 7395 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5268.395
AT ITER 993 NEW BEST:: SOT 29144 SOS 7383 HAS SOPS 7383 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5244.383
AT ITER 996 NEW BEST:: SOT 29131 SOS 7357 HAS SOPS 7357 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5225.357
AT ITER 997 NEW BEST:: SOT 29131 SOS 7322 HAS SOPS 7322 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5225.322
AT ITER 1003 NEW BEST:: SOT 29124 SOS 7308 HAS SOPS 7308 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5218.308
AT ITER 1012 NEW BEST:: SOT 29125 SOS 7309 HAS SOPS 7309 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5217.309
AT ITER 1056 NEW BEST:: SOT 29099 SOS 7299 HAS SOPS 7299 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5207.299
AT ITER 1059 NEW BEST:: SOT 29079 SOS 7259 HAS SOPS 7259 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5173.259
AT ITER 1060 NEW BEST:: SOT 29066 SOS 7233 HAS SOPS 7233 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5167.233
AT ITER 1073 NEW BEST:: SOT 29050 SOS 7181 HAS SOPS 7181 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5155.181
AT ITER 1074 NEW BEST:: SOT 29050 SOS 7178 HAS SOPS 7178 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5155.178
AT ITER 1080 NEW BEST:: SOT 29043 SOS 7164 HAS SOPS 7164 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5148.164
AT ITER 1091 NEW BEST:: SOT 29038 SOS 7148 HAS SOPS 7148 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5134.148
AT ITER 1133 NEW BEST:: SOT 29023 SOS 7118 HAS SOPS 7118 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5119.118
AT ITER 1147 NEW BEST:: SOT 29013 SOS 7113 HAS SOPS 7113 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5118.113
AT ITER 1173 NEW BEST:: SOT 29009 SOS 7105 HAS SOPS 7105 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5110.105
AT ITER 1185 NEW BEST:: SOT 29013 SOS 7091 HAS SOPS 7091 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5102.091
AT ITER 1242 NEW BEST:: SOT 29000 SOS 7065 HAS SOPS 7065 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5076.065
AT ITER 1254 NEW BEST:: SOT 28989 SOS 7043 HAS SOPS 7043 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5065.043
AT ITER 1263 NEW BEST:: SOT 28980 SOS 7025 HAS SOPS 7025 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5047.025
AT ITER 1271 NEW BEST:: SOT 28974 SOS 7058 HAS SOPS 7058 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5041.058
AT ITER 1279 NEW BEST:: SOT 28973 SOS 7056 HAS SOPS 7056 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5039.056
AT ITER 1299 NEW BEST:: SOT 28921 SOS 6990 HAS SOPS 6990 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5010.99
AT ITER 1300 NEW BEST:: SOT 28916 SOS 6971 HAS SOPS 6971 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4991.971
AT ITER 1308 NEW BEST:: SOT 28934 SOS 6863 HAS SOPS 6863 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4972.863
AT ITER 1343 NEW BEST:: SOT 28931 SOS 6857 HAS SOPS 6857 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4966.857
AT ITER 1361 NEW BEST:: SOT 28917 SOS 6829 HAS SOPS 6829 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4945.829
AT ITER 1388 NEW BEST:: SOT 28913 SOS 6825 HAS SOPS 6825 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4937.825
AT ITER 1395 NEW BEST:: SOT 28916 SOS 6831 HAS SOPS 6831 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4936.831
AT ITER 1402 NEW BEST:: SOT 28907 SOS 6822 HAS SOPS 6822 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4936.822
AT ITER 1409 NEW BEST:: SOT 28883 SOS 6803 HAS SOPS 6803 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4912.803
AT ITER 1461 NEW BEST:: SOT 28872 SOS 6792 HAS SOPS 6792 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4912.792
AT ITER 1464 NEW BEST:: SOT 28868 SOS 6780 HAS SOPS 6780 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4904.78
AT ITER 1467 NEW BEST:: SOT 28862 SOS 6768 HAS SOPS 6768 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4892.768
AT ITER 1484 NEW BEST:: SOT 28862 SOS 6764 HAS SOPS 6764 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4892.764
AT ITER 1520 NEW BEST:: SOT 28855 SOS 6771 HAS SOPS 6771 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4890.771
AT ITER 1566 NEW BEST:: SOT 28847 SOS 6909 HAS SOPS 6909 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4882.909
AT ITER 1595 NEW BEST:: SOT 28844 SOS 6906 HAS SOPS 6906 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4879.906
AT ITER 1597 NEW BEST:: SOT 28842 SOS 6902 HAS SOPS 6902 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4877.902
AT ITER 1626 NEW BEST:: SOT 28841 SOS 6900 HAS SOPS 6900 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4874.9
AT ITER 1627 NEW BEST:: SOT 28832 SOS 6882 HAS SOPS 6882 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4854.882
AT ITER 1669 NEW BEST:: SOT 28836 SOS 6883 HAS SOPS 6883 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4840.883
AT ITER 1687 NEW BEST:: SOT 28821 SOS 6853 HAS SOPS 6853 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4828.853
AT ITER 1696 NEW BEST:: SOT 28821 SOS 6850 HAS SOPS 6850 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4828.85
AT ITER 1707 NEW BEST:: SOT 28821 SOS 6853 HAS SOPS 6853 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4825.853
AT ITER 1713 NEW BEST:: SOT 28821 SOS 6850 HAS SOPS 6850 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4822.85
AT ITER 1731 NEW BEST:: SOT 28813 SOS 6834 HAS SOPS 6834 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4814.834
AT ITER 1734 NEW BEST:: SOT 28813 SOS 6831 HAS SOPS 6831 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4811.831
AT ITER 1738 NEW BEST:: SOT 28814 SOS 6843 HAS SOPS 6843 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4810.843
AT ITER 1742 NEW BEST:: SOT 28811 SOS 6837 HAS SOPS 6837 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4807.837
AT ITER 1747 NEW BEST:: SOT 28802 SOS 6814 HAS SOPS 6814 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.814
AT ITER 1779 NEW BEST:: SOT 28794 SOS 6785 HAS SOPS 6785 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4797.785
AT ITER 1789 NEW BEST:: SOT 28780 SOS 6757 HAS SOPS 6757 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4769.757
AT ITER 1802 NEW BEST:: SOT 28782 SOS 6735 HAS SOPS 6735 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4757.735
AT ITER 1811 NEW BEST:: SOT 28782 SOS 6684 HAS SOPS 6684 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.684
AT ITER 1816 NEW BEST:: SOT 28779 SOS 6679 HAS SOPS 6679 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.679
AT ITER 1817 NEW BEST:: SOT 28774 SOS 6669 HAS SOPS 6669 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4690.669
AT ITER 1835 NEW BEST:: SOT 28769 SOS 6664 HAS SOPS 6664 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4690.664
AT ITER 1855 NEW BEST:: SOT 28757 SOS 6640 HAS SOPS 6640 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4677.64
AT ITER 1856 NEW BEST:: SOT 28754 SOS 6504 HAS SOPS 6504 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4674.504
AT ITER 1857 NEW BEST:: SOT 28754 SOS 6499 HAS SOPS 6499 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4674.499
AT ITER 1861 NEW BEST:: SOT 28758 SOS 6507 HAS SOPS 6507 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4666.507
AT ITER 1862 NEW BEST:: SOT 28702 SOS 6500 HAS SOPS 6500 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4620.5
AT ITER 1878 NEW BEST:: SOT 28699 SOS 6494 HAS SOPS 6494 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4617.494
AT ITER 1903 NEW BEST:: SOT 28693 SOS 6482 HAS SOPS 6482 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4606.482
AT ITER 1939 NEW BEST:: SOT 28693 SOS 6438 HAS SOPS 6438 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4594.438
AT ITER 1972 NEW BEST:: SOT 28615 SOS 6461 HAS SOPS 6461 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4562.461
AT ITER 1977 NEW BEST:: SOT 28598 SOS 6449 HAS SOPS 6449 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4560.449
AT ITER 1981 NEW BEST:: SOT 28597 SOS 6447 HAS SOPS 6447 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4558.447
AT ITER 1998 NEW BEST:: SOT 28578 SOS 6647 HAS SOPS 6647 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4553.647
AT ITER 2017 NEW BEST:: SOT 28578 SOS 6644 HAS SOPS 6644 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4550.644
AT ITER 2030 NEW BEST:: SOT 28580 SOS 6642 HAS SOPS 6642 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4548.642
AT ITER 2046 NEW BEST:: SOT 28575 SOS 6632 HAS SOPS 6632 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4545.632
AT ITER 2075 NEW BEST:: SOT 28557 SOS 6596 HAS SOPS 6596 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4509.596
AT ITER 2090 NEW BEST:: SOT 28539 SOS 6870 HAS SOPS 6870 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4491.87
AT ITER 2111 NEW BEST:: SOT 28494 SOS 6856 HAS SOPS 6856 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4449.856
AT ITER 2114 NEW BEST:: SOT 28480 SOS 6845 HAS SOPS 6845 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4415.845
AT ITER 2121 NEW BEST:: SOT 28467 SOS 6850 HAS SOPS 6850 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4413.85
AT ITER 2129 NEW BEST:: SOT 28469 SOS 6852 HAS SOPS 6852 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4409.852
AT ITER 2160 NEW BEST:: SOT 28447 SOS 6808 HAS SOPS 6808 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4399.808
AT ITER 2171 NEW BEST:: SOT 28444 SOS 6802 HAS SOPS 6802 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4396.802
AT ITER 2204 NEW BEST:: SOT 28440 SOS 6794 HAS SOPS 6794 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4388.794
AT ITER 2228 NEW BEST:: SOT 28428 SOS 6781 HAS SOPS 6781 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4375.781
AT ITER 2244 NEW BEST:: SOT 28421 SOS 6767 HAS SOPS 6767 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4361.767
AT ITER 2255 NEW BEST:: SOT 28432 SOS 6778 HAS SOPS 6778 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4357.778
AT ITER 2259 NEW BEST:: SOT 28435 SOS 6777 HAS SOPS 6777 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4356.777
AT ITER 2263 NEW BEST:: SOT 28426 SOS 6783 HAS SOPS 6783 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4349.783
AT ITER 2266 NEW BEST:: SOT 28415 SOS 6802 HAS SOPS 6802 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4345.802
AT ITER 2283 NEW BEST:: SOT 28386 SOS 6744 HAS SOPS 6744 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4309.744
AT ITER 2307 NEW BEST:: SOT 28386 SOS 6632 HAS SOPS 6632 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4301.632
AT ITER 2334 NEW BEST:: SOT 28374 SOS 6601 HAS SOPS 6601 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4289.601
AT ITER 2335 NEW BEST:: SOT 28367 SOS 6587 HAS SOPS 6587 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4275.587
AT ITER 2348 NEW BEST:: SOT 28342 SOS 6554 HAS SOPS 6554 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4253.554
AT ITER 2385 NEW BEST:: SOT 28331 SOS 6542 HAS SOPS 6542 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4252.542
AT ITER 2390 NEW BEST:: SOT 28324 SOS 6513 HAS SOPS 6513 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4238.513
AT ITER 2421 NEW BEST:: SOT 28322 SOS 6509 HAS SOPS 6509 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4233.509
AT ITER 2432 NEW BEST:: SOT 28316 SOS 6486 HAS SOPS 6486 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4221.486
AT ITER 2571 NEW BEST:: SOT 28317 SOS 6482 HAS SOPS 6482 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4217.482
AT ITER 2583 NEW BEST:: SOT 28311 SOS 6467 HAS SOPS 6467 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4202.467
AT ITER 2591 NEW BEST:: SOT 28310 SOS 6466 HAS SOPS 6466 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4201.466
AT ITER 2605 NEW BEST:: SOT 28310 SOS 6457 HAS SOPS 6457 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4201.457
AT ITER 2647 NEW BEST:: SOT 28301 SOS 6438 HAS SOPS 6438 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4170.438
AT ITER 2650 NEW BEST:: SOT 28301 SOS 6406 HAS SOPS 6406 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4140.406
AT ITER 2735 NEW BEST:: SOT 28301 SOS 6405 HAS SOPS 6405 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4140.405
AT ITER 2746 NEW BEST:: SOT 28301 SOS 6404 HAS SOPS 6404 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4140.404
AT ITER 2748 NEW BEST:: SOT 28290 SOS 6382 HAS SOPS 6382 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4140.382
AT ITER 2754 NEW BEST:: SOT 28269 SOS 6340 HAS SOPS 6340 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4119.34
AT ITER 2777 NEW BEST:: SOT 28263 SOS 6340 HAS SOPS 6340 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4117.34
AT ITER 2783 NEW BEST:: SOT 28235 SOS 6325 HAS SOPS 6325 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4114.325
AT ITER 2833 NEW BEST:: SOT 28204 SOS 6398 HAS SOPS 6398 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4095.398
AT ITER 2887 NEW BEST:: SOT 28201 SOS 6403 HAS SOPS 6403 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4093.403
AT ITER 2893 NEW BEST:: SOT 28200 SOS 6401 HAS SOPS 6401 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4091.401
AT ITER 2897 NEW BEST:: SOT 28199 SOS 6399 HAS SOPS 6399 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4090.399
AT ITER 2957 NEW BEST:: SOT 28198 SOS 6401 HAS SOPS 6401 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4089.401
AT ITER 2970 NEW BEST:: SOT 28198 SOS 6388 HAS SOPS 6388 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4089.388
AT ITER 2985 NEW BEST:: SOT 28198 SOS 6388 HAS SOPS 6388 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4088.388
AT ITER 3028 NEW BEST:: SOT 28193 SOS 6378 HAS SOPS 6378 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4083.378
AT ITER 3045 NEW BEST:: SOT 28177 SOS 6346 HAS SOPS 6346 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4083.346
AT ITER 3057 NEW BEST:: SOT 28158 SOS 6271 HAS SOPS 6271 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4082.271
AT ITER 3059 NEW BEST:: SOT 28147 SOS 6253 HAS SOPS 6253 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4068.253
AT ITER 3062 NEW BEST:: SOT 28143 SOS 6245 HAS SOPS 6245 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4068.245
AT ITER 3091 NEW BEST:: SOT 28138 SOS 6245 HAS SOPS 6245 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4063.245
AT ITER 3103 NEW BEST:: SOT 28147 SOS 6244 HAS SOPS 6244 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4062.244
AT ITER 3109 NEW BEST:: SOT 28144 SOS 6257 HAS SOPS 6257 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4052.257
AT ITER 3158 NEW BEST:: SOT 28130 SOS 6229 HAS SOPS 6229 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4032.229
AT ITER 3160 NEW BEST:: SOT 28130 SOS 6224 HAS SOPS 6224 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4027.224
AT ITER 3174 NEW BEST:: SOT 28132 SOS 6222 HAS SOPS 6222 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4025.222
AT ITER 3245 NEW BEST:: SOT 28127 SOS 6207 HAS SOPS 6207 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4015.207
AT ITER 3247 NEW BEST:: SOT 28124 SOS 6201 HAS SOPS 6201 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4009.201
AT ITER 3269 NEW BEST:: SOT 28116 SOS 6185 HAS SOPS 6185 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4009.185
AT ITER 3286 NEW BEST:: SOT 28115 SOS 6071 HAS SOPS 6071 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4000.071
AT ITER 3298 NEW BEST:: SOT 28117 SOS 6075 HAS SOPS 6075 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3993.075
AT ITER 3301 NEW BEST:: SOT 28115 SOS 6071 HAS SOPS 6071 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3989.071
AT ITER 3303 NEW BEST:: SOT 28099 SOS 6055 HAS SOPS 6055 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3973.055
AT ITER 3306 NEW BEST:: SOT 28101 SOS 6057 HAS SOPS 6057 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3971.057
AT ITER 3310 NEW BEST:: SOT 28102 SOS 6051 HAS SOPS 6051 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3965.051
AT ITER 3341 NEW BEST:: SOT 28116 SOS 5995 HAS SOPS 5995 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3944.995
AT ITER 3343 NEW BEST:: SOT 28106 SOS 5932 HAS SOPS 5932 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3904.932
AT ITER 3357 NEW BEST:: SOT 28103 SOS 5944 HAS SOPS 5944 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3901.944
AT ITER 3370 NEW BEST:: SOT 28101 SOS 5940 HAS SOPS 5940 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3899.94
AT ITER 3371 NEW BEST:: SOT 28100 SOS 5932 HAS SOPS 5932 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3881.932
AT ITER 3387 NEW BEST:: SOT 28087 SOS 5932 HAS SOPS 5932 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3860.932
AT ITER 3405 NEW BEST:: SOT 28087 SOS 5932 HAS SOPS 5932 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3859.932
AT ITER 3408 NEW BEST:: SOT 28085 SOS 5925 HAS SOPS 5925 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3858.925
AT ITER 3419 NEW BEST:: SOT 28059 SOS 5873 HAS SOPS 5873 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3806.873
AT ITER 3444 NEW BEST:: SOT 28059 SOS 5855 HAS SOPS 5855 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3794.855
AT ITER 3458 NEW BEST:: SOT 28047 SOS 5825 HAS SOPS 5825 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3781.825
AT ITER 3464 NEW BEST:: SOT 28052 SOS 5823 HAS SOPS 5823 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3779.823
AT ITER 3474 NEW BEST:: SOT 28043 SOS 5815 HAS SOPS 5815 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3771.815
AT ITER 3490 NEW BEST:: SOT 28014 SOS 5786 HAS SOPS 5786 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3770.786
AT ITER 3520 NEW BEST:: SOT 28007 SOS 5780 HAS SOPS 5780 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3756.78
AT ITER 3544 NEW BEST:: SOT 28001 SOS 5768 HAS SOPS 5768 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3749.768
AT ITER 3578 NEW BEST:: SOT 27995 SOS 5762 HAS SOPS 5762 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3743.762
AT ITER 3594 NEW BEST:: SOT 27990 SOS 5757 HAS SOPS 5757 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3738.757
AT ITER 3610 NEW BEST:: SOT 27987 SOS 5754 HAS SOPS 5754 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3735.754
AT ITER 3621 NEW BEST:: SOT 27987 SOS 5752 HAS SOPS 5752 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3733.752
AT ITER 3654 NEW BEST:: SOT 27979 SOS 5729 HAS SOPS 5729 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3723.729
AT ITER 3657 NEW BEST:: SOT 27974 SOS 5724 HAS SOPS 5724 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3718.724
AT ITER 3671 NEW BEST:: SOT 27974 SOS 5719 HAS SOPS 5719 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3717.719
AT ITER 3677 NEW BEST:: SOT 27973 SOS 5717 HAS SOPS 5717 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3716.717
AT ITER 3737 NEW BEST:: SOT 27965 SOS 5709 HAS SOPS 5709 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3716.709
AT ITER 3738 NEW BEST:: SOT 27961 SOS 5701 HAS SOPS 5701 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3708.701
AT ITER 3744 NEW BEST:: SOT 27961 SOS 5692 HAS SOPS 5692 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3708.692
AT ITER 3786 NEW BEST:: SOT 27961 SOS 5691 HAS SOPS 5691 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3707.691
AT ITER 3787 NEW BEST:: SOT 27964 SOS 5660 HAS SOPS 5660 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3702.66
AT ITER 3852 NEW BEST:: SOT 27968 SOS 5668 HAS SOPS 5668 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3699.668
AT ITER 3887 NEW BEST:: SOT 27964 SOS 5660 HAS SOPS 5660 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3695.66
AT ITER 3899 NEW BEST:: SOT 27952 SOS 5636 HAS SOPS 5636 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3683.636
AT ITER 3914 NEW BEST:: SOT 27951 SOS 5628 HAS SOPS 5628 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3682.628
AT ITER 3916 NEW BEST:: SOT 27948 SOS 5622 HAS SOPS 5622 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3676.622
AT ITER 3959 NEW BEST:: SOT 27944 SOS 5614 HAS SOPS 5614 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3672.614
AT ITER 3965 NEW BEST:: SOT 27951 SOS 5594 HAS SOPS 5594 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3672.594
AT ITER 4092 NEW BEST:: SOT 27946 SOS 5587 HAS SOPS 5587 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3668.587
AT ITER 4180 NEW BEST:: SOT 27948 SOS 5584 HAS SOPS 5584 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3665.584
AT ITER 4228 NEW BEST:: SOT 27948 SOS 5584 HAS SOPS 5584 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3663.584
AT ITER 4304 NEW BEST:: SOT 27949 SOS 5581 HAS SOPS 5581 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3662.581
AT ITER 4391 NEW BEST:: SOT 27950 SOS 5590 HAS SOPS 5590 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3659.59
AT ITER 4603 NEW BEST:: SOT 27948 SOS 5587 HAS SOPS 5587 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3656.587
AT ITER 4751 NEW BEST:: SOT 27948 SOS 5585 HAS SOPS 5585 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3654.585
AT ITER 4754 NEW BEST:: SOT 27949 SOS 5569 HAS SOPS 5569 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3643.569
AT ITER 4774 NEW BEST:: SOT 27949 SOS 5553 HAS SOPS 5553 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3643.553
AT ITER 4808 NEW BEST:: SOT 27938 SOS 5536 HAS SOPS 5536 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3637.536
AT ITER 4835 NEW BEST:: SOT 27937 SOS 5534 HAS SOPS 5534 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3635.534
AT ITER 4846 NEW BEST:: SOT 27934 SOS 5531 HAS SOPS 5531 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3632.531
AT ITER 4919 NEW BEST:: SOT 27928 SOS 5505 HAS SOPS 5505 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3617.505
AT ITER 4999 NEW BEST:: SOT 27922 SOS 5493 HAS SOPS 5493 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3605.493
AT ITER 5000 NEW BEST:: SOT 27913 SOS 5484 HAS SOPS 5484 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3590.484
AT ITER 5056 NEW BEST:: SOT 27919 SOS 5481 HAS SOPS 5481 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3583.481
AT ITER 5075 NEW BEST:: SOT 27909 SOS 5461 HAS SOPS 5461 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3568.461
AT ITER 5107 NEW BEST:: SOT 27910 SOS 5460 HAS SOPS 5460 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3567.46
AT ITER 5114 NEW BEST:: SOT 27930 SOS 5495 HAS SOPS 5495 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3562.495
AT ITER 5168 NEW BEST:: SOT 27926 SOS 5487 HAS SOPS 5487 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3554.487
AT ITER 5224 NEW BEST:: SOT 27925 SOS 5485 HAS SOPS 5485 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3552.485
AT ITER 5269 NEW BEST:: SOT 27920 SOS 5475 HAS SOPS 5475 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3552.475
AT ITER 5274 NEW BEST:: SOT 27919 SOS 5474 HAS SOPS 5474 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3552.474
AT ITER 5301 NEW BEST:: SOT 27905 SOS 5460 HAS SOPS 5460 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3538.46
AT ITER 5358 NEW BEST:: SOT 27896 SOS 5447 HAS SOPS 5447 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3534.447
AT ITER 5395 NEW BEST:: SOT 27896 SOS 5443 HAS SOPS 5443 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3530.443
AT ITER 5410 NEW BEST:: SOT 27901 SOS 5435 HAS SOPS 5435 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3522.435
AT ITER 5479 NEW BEST:: SOT 27901 SOS 5418 HAS SOPS 5418 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3522.418
AT ITER 5500 NEW BEST:: SOT 27892 SOS 5414 HAS SOPS 5414 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3518.414
AT ITER 5541 NEW BEST:: SOT 27886 SOS 5410 HAS SOPS 5410 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3518.41
AT ITER 5568 NEW BEST:: SOT 27887 SOS 5400 HAS SOPS 5400 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3512.4
AT ITER 5569 NEW BEST:: SOT 27887 SOS 5394 HAS SOPS 5394 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3506.394
AT ITER 5584 NEW BEST:: SOT 27899 SOS 5418 HAS SOPS 5418 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3502.418
AT ITER 5603 NEW BEST:: SOT 27899 SOS 5404 HAS SOPS 5404 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3488.404
AT ITER 5613 NEW BEST:: SOT 27886 SOS 5498 HAS SOPS 5498 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3485.498
AT ITER 5698 NEW BEST:: SOT 27884 SOS 5492 HAS SOPS 5492 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3481.492
AT ITER 5709 NEW BEST:: SOT 27868 SOS 5460 HAS SOPS 5460 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3465.46
AT ITER 5774 NEW BEST:: SOT 27868 SOS 5452 HAS SOPS 5452 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3465.452
AT ITER 5796 NEW BEST:: SOT 27868 SOS 5442 HAS SOPS 5442 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3465.442
AT ITER 5838 NEW BEST:: SOT 27866 SOS 5440 HAS SOPS 5440 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3463.44
AT ITER 5856 NEW BEST:: SOT 27860 SOS 5440 HAS SOPS 5440 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3457.44
AT ITER 6095 NEW BEST:: SOT 27859 SOS 5439 HAS SOPS 5439 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3456.439
AT ITER 6143 NEW BEST:: SOT 27854 SOS 5434 HAS SOPS 5434 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3456.434
AT ITER 6164 NEW BEST:: SOT 27849 SOS 5437 HAS SOPS 5437 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3454.437
AT ITER 6299 NEW BEST:: SOT 27845 SOS 5436 HAS SOPS 5436 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3446.436
AT ITER 6312 NEW BEST:: SOT 27840 SOS 5426 HAS SOPS 5426 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3439.426
AT ITER 6348 NEW BEST:: SOT 27822 SOS 5579 HAS SOPS 5579 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3430.579
AT ITER 6351 NEW BEST:: SOT 27807 SOS 5564 HAS SOPS 5564 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3430.564
AT ITER 6378 NEW BEST:: SOT 27801 SOS 5552 HAS SOPS 5552 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3422.552
AT ITER 6393 NEW BEST:: SOT 27801 SOS 5552 HAS SOPS 5552 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3414.552
AT ITER 6396 NEW BEST:: SOT 27801 SOS 5549 HAS SOPS 5549 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3413.549
AT ITER 6518 NEW BEST:: SOT 27801 SOS 5546 HAS SOPS 5546 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3413.546
AT ITER 6534 NEW BEST:: SOT 27801 SOS 5543 HAS SOPS 5543 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3413.543
AT ITER 6543 NEW BEST:: SOT 27796 SOS 5533 HAS SOPS 5533 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3413.533
AT ITER 6609 NEW BEST:: SOT 27793 SOS 5530 HAS SOPS 5530 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3413.53
AT ITER 6717 NEW BEST:: SOT 27793 SOS 5530 HAS SOPS 5530 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3412.53
AT ITER 6728 NEW BEST:: SOT 27790 SOS 5530 HAS SOPS 5530 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3406.53
AT ITER 6732 NEW BEST:: SOT 27790 SOS 5530 HAS SOPS 5530 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3397.53
AT ITER 6763 NEW BEST:: SOT 27788 SOS 5526 HAS SOPS 5526 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3393.526
AT ITER 6797 NEW BEST:: SOT 27788 SOS 5524 HAS SOPS 5524 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3393.524
AT ITER 6850 NEW BEST:: SOT 27786 SOS 5520 HAS SOPS 5520 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3391.52
AT ITER 6876 NEW BEST:: SOT 27775 SOS 5528 HAS SOPS 5528 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3384.528
AT ITER 6908 NEW BEST:: SOT 27779 SOS 5526 HAS SOPS 5526 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3382.526
AT ITER 7001 NEW BEST:: SOT 27777 SOS 5522 HAS SOPS 5522 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3380.522
AT ITER 7027 NEW BEST:: SOT 27777 SOS 5522 HAS SOPS 5522 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3379.522
AT ITER 7048 NEW BEST:: SOT 27785 SOS 5538 HAS SOPS 5538 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3377.538
AT ITER 7054 NEW BEST:: SOT 27757 SOS 5519 HAS SOPS 5519 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3345.519
AT ITER 7133 NEW BEST:: SOT 27757 SOS 5519 HAS SOPS 5519 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3338.519
AT ITER 7134 NEW BEST:: SOT 27755 SOS 5517 HAS SOPS 5517 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3336.517
AT ITER 7204 NEW BEST:: SOT 27755 SOS 5509 HAS SOPS 5509 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3328.509
AT ITER 7216 NEW BEST:: SOT 27744 SOS 5495 HAS SOPS 5495 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3314.495
AT ITER 7220 NEW BEST:: SOT 27743 SOS 5493 HAS SOPS 5493 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3312.493
AT ITER 7240 NEW BEST:: SOT 27743 SOS 5482 HAS SOPS 5482 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3312.482
AT ITER 7257 NEW BEST:: SOT 27745 SOS 5484 HAS SOPS 5484 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3311.484
AT ITER 7310 NEW BEST:: SOT 27742 SOS 5480 HAS SOPS 5480 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3307.48
AT ITER 7311 NEW BEST:: SOT 27742 SOS 5480 HAS SOPS 5480 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3302.48
AT ITER 7412 NEW BEST:: SOT 27742 SOS 5479 HAS SOPS 5479 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3301.479
AT ITER 7440 NEW BEST:: SOT 27738 SOS 5471 HAS SOPS 5471 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3293.471
AT ITER 7441 NEW BEST:: SOT 27738 SOS 5471 HAS SOPS 5471 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3288.471
AT ITER 7449 NEW BEST:: SOT 27737 SOS 5469 HAS SOPS 5469 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3286.469
AT ITER 7465 NEW BEST:: SOT 27733 SOS 5461 HAS SOPS 5461 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3281.461
AT ITER 7547 NEW BEST:: SOT 27734 SOS 5453 HAS SOPS 5453 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3281.453
AT ITER 7619 NEW BEST:: SOT 27734 SOS 5453 HAS SOPS 5453 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3280.453
AT ITER 7667 NEW BEST:: SOT 27743 SOS 5449 HAS SOPS 5449 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3276.449
AT ITER 7694 NEW BEST:: SOT 27738 SOS 5439 HAS SOPS 5439 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3273.439
AT ITER 7735 NEW BEST:: SOT 27736 SOS 5435 HAS SOPS 5435 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3271.435
AT ITER 7838 NEW BEST:: SOT 27726 SOS 5415 HAS SOPS 5415 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3257.415
AT ITER 7927 NEW BEST:: SOT 27725 SOS 5413 HAS SOPS 5413 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3256.413
AT ITER 7966 NEW BEST:: SOT 27707 SOS 5377 HAS SOPS 5377 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3256.377
AT ITER 8041 NEW BEST:: SOT 27705 SOS 5351 HAS SOPS 5351 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3249.351
AT ITER 8086 NEW BEST:: SOT 27698 SOS 5337 HAS SOPS 5337 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3240.337
AT ITER 8109 NEW BEST:: SOT 27697 SOS 5336 HAS SOPS 5336 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3239.336
AT ITER 8128 NEW BEST:: SOT 27696 SOS 5334 HAS SOPS 5334 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3238.334
AT ITER 8175 NEW BEST:: SOT 27697 SOS 5332 HAS SOPS 5332 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3238.332
AT ITER 8238 NEW BEST:: SOT 27692 SOS 5328 HAS SOPS 5328 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3231.328
AT ITER 8416 NEW BEST:: SOT 27692 SOS 5327 HAS SOPS 5327 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3231.327
AT ITER 8496 NEW BEST:: SOT 27687 SOS 5317 HAS SOPS 5317 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3221.317
AT ITER 8625 NEW BEST:: SOT 27665 SOS 5295 HAS SOPS 5295 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3221.295
AT ITER 8855 NEW BEST:: SOT 27664 SOS 5286 HAS SOPS 5286 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3219.286
AT ITER 8868 NEW BEST:: SOT 27661 SOS 5280 HAS SOPS 5280 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3216.28
AT ITER 8875 NEW BEST:: SOT 27651 SOS 5270 HAS SOPS 5270 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3216.27
AT ITER 8893 NEW BEST:: SOT 27650 SOS 5268 HAS SOPS 5268 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3214.268
AT ITER 8973 NEW BEST:: SOT 27650 SOS 5268 HAS SOPS 5268 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3212.268
AT ITER 9113 NEW BEST:: SOT 27642 SOS 5252 HAS SOPS 5252 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3212.252
AT ITER 9371 NEW BEST:: SOT 27635 SOS 5238 HAS SOPS 5238 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3205.238
AT ITER 9407 NEW BEST:: SOT 27635 SOS 5242 HAS SOPS 5242 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3202.242
AT ITER 9410 NEW BEST:: SOT 27635 SOS 5242 HAS SOPS 5242 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3199.242
AT ITER 9640 NEW BEST:: SOT 27630 SOS 5237 HAS SOPS 5237 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3199.237
AT ITER 9648 NEW BEST:: SOT 27622 SOS 5229 HAS SOPS 5229 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3191.229
AT ITER 9669 NEW BEST:: SOT 27619 SOS 5225 HAS SOPS 5225 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3187.225
AT ITER 9790 NEW BEST:: SOT 27619 SOS 5221 HAS SOPS 5221 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3187.221
AT ITER 9892 NEW BEST:: SOT 27615 SOS 5213 HAS SOPS 5213 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3186.213
STATE_SPACE STATES 19706343297 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 158985414038 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679259443362

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="SmartHome-PT-05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is SmartHome-PT-05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912650900192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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