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.r003-oct2-167813591100576.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AutonomousCar-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591100576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 12:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 12:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 12:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 12:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 12:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 75K Mar 5 18:22 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 1678473899063

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutonomousCar-PT-03b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 190 places, 273 transitions, 1051 arcs.
AT ITER 0 NEW BEST:: SOT 33477 SOS 9344 HAS SOPS 9344 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6144.344
AT ITER 7 NEW BEST:: SOT 33452 SOS 9319 HAS SOPS 9319 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6110.319
AT ITER 12 NEW BEST:: SOT 33401 SOS 9237 HAS SOPS 9237 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6106.237
AT ITER 15 NEW BEST:: SOT 33401 SOS 9237 HAS SOPS 9237 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6100.237
AT ITER 17 NEW BEST:: SOT 33241 SOS 9674 HAS SOPS 9674 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5887.674
AT ITER 23 NEW BEST:: SOT 33248 SOS 9688 HAS SOPS 9688 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5871.688
AT ITER 31 NEW BEST:: SOT 33249 SOS 9807 HAS SOPS 9807 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5868.807
AT ITER 37 NEW BEST:: SOT 33218 SOS 9776 HAS SOPS 9776 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5837.776
AT ITER 44 NEW BEST:: SOT 33211 SOS 9762 HAS SOPS 9762 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5823.762
AT ITER 50 NEW BEST:: SOT 33206 SOS 9752 HAS SOPS 9752 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5813.752
AT ITER 55 NEW BEST:: SOT 33206 SOS 9738 HAS SOPS 9738 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5799.738
AT ITER 82 NEW BEST:: SOT 33206 SOS 9725 HAS SOPS 9725 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5773.725
AT ITER 85 NEW BEST:: SOT 33194 SOS 9681 HAS SOPS 9681 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5741.681
AT ITER 111 NEW BEST:: SOT 33179 SOS 9655 HAS SOPS 9655 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5713.655
AT ITER 142 NEW BEST:: SOT 33187 SOS 9649 HAS SOPS 9649 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5707.649
AT ITER 150 NEW BEST:: SOT 33181 SOS 9637 HAS SOPS 9637 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5684.637
AT ITER 168 NEW BEST:: SOT 33171 SOS 9617 HAS SOPS 9617 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5664.617
AT ITER 175 NEW BEST:: SOT 33175 SOS 9625 HAS SOPS 9625 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5658.625
AT ITER 178 NEW BEST:: SOT 33175 SOS 9622 HAS SOPS 9622 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5655.622
AT ITER 184 NEW BEST:: SOT 33167 SOS 9606 HAS SOPS 9606 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5639.606
AT ITER 216 NEW BEST:: SOT 33164 SOS 9600 HAS SOPS 9600 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5633.6
AT ITER 246 NEW BEST:: SOT 33163 SOS 9598 HAS SOPS 9598 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5631.598
AT ITER 259 NEW BEST:: SOT 33121 SOS 9582 HAS SOPS 9582 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5585.582
AT ITER 297 NEW BEST:: SOT 33122 SOS 9549 HAS SOPS 9549 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.549
AT ITER 312 NEW BEST:: SOT 33124 SOS 9551 HAS SOPS 9551 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5560.551
AT ITER 331 NEW BEST:: SOT 33115 SOS 9553 HAS SOPS 9553 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5557.553
AT ITER 347 NEW BEST:: SOT 33112 SOS 9532 HAS SOPS 9532 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5551.532
AT ITER 356 NEW BEST:: SOT 33106 SOS 9490 HAS SOPS 9490 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5539.49
AT ITER 361 NEW BEST:: SOT 33082 SOS 9474 HAS SOPS 9474 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5515.474
AT ITER 408 NEW BEST:: SOT 33051 SOS 9462 HAS SOPS 9462 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5509.462
AT ITER 436 NEW BEST:: SOT 33047 SOS 9461 HAS SOPS 9461 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5505.461
AT ITER 442 NEW BEST:: SOT 33045 SOS 9459 HAS SOPS 9459 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5502.459
AT ITER 448 NEW BEST:: SOT 33013 SOS 9449 HAS SOPS 9449 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5493.449
AT ITER 478 NEW BEST:: SOT 33023 SOS 9440 HAS SOPS 9440 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5489.44
AT ITER 482 NEW BEST:: SOT 33023 SOS 9435 HAS SOPS 9435 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5484.435
AT ITER 503 NEW BEST:: SOT 33019 SOS 9427 HAS SOPS 9427 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5479.427
AT ITER 532 NEW BEST:: SOT 33019 SOS 9427 HAS SOPS 9427 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5475.427
AT ITER 541 NEW BEST:: SOT 32993 SOS 9295 HAS SOPS 9295 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5436.295
AT ITER 560 NEW BEST:: SOT 32987 SOS 9289 HAS SOPS 9289 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5430.289
AT ITER 565 NEW BEST:: SOT 32930 SOS 9218 HAS SOPS 9218 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5300.218
AT ITER 573 NEW BEST:: SOT 32926 SOS 9206 HAS SOPS 9206 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5292.206
AT ITER 600 NEW BEST:: SOT 32924 SOS 9204 HAS SOPS 9204 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5290.204
AT ITER 624 NEW BEST:: SOT 32935 SOS 9164 HAS SOPS 9164 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5272.164
AT ITER 635 NEW BEST:: SOT 32809 SOS 9038 HAS SOPS 9038 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5232.038
AT ITER 642 NEW BEST:: SOT 32784 SOS 9494 HAS SOPS 9494 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5231.494
AT ITER 650 NEW BEST:: SOT 32771 SOS 9468 HAS SOPS 9468 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5227.468
AT ITER 663 NEW BEST:: SOT 32735 SOS 9418 HAS SOPS 9418 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5224.418
AT ITER 669 NEW BEST:: SOT 32722 SOS 9362 HAS SOPS 9362 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.362
AT ITER 672 NEW BEST:: SOT 32706 SOS 9450 HAS SOPS 9450 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5203.45
AT ITER 679 NEW BEST:: SOT 32708 SOS 9454 HAS SOPS 9454 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5196.454
AT ITER 684 NEW BEST:: SOT 32704 SOS 9446 HAS SOPS 9446 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5188.446
AT ITER 688 NEW BEST:: SOT 32700 SOS 9438 HAS SOPS 9438 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5180.438
AT ITER 719 NEW BEST:: SOT 32693 SOS 9424 HAS SOPS 9424 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5166.424
AT ITER 760 NEW BEST:: SOT 32694 SOS 9376 HAS SOPS 9376 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.376
AT ITER 782 NEW BEST:: SOT 32704 SOS 9357 HAS SOPS 9357 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5146.357
AT ITER 788 NEW BEST:: SOT 32698 SOS 9351 HAS SOPS 9351 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5134.351
AT ITER 819 NEW BEST:: SOT 32663 SOS 9281 HAS SOPS 9281 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5064.281
AT ITER 832 NEW BEST:: SOT 32655 SOS 9261 HAS SOPS 9261 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5053.261
AT ITER 868 NEW BEST:: SOT 32653 SOS 9247 HAS SOPS 9247 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5050.247
AT ITER 947 NEW BEST:: SOT 32626 SOS 9220 HAS SOPS 9220 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5039.22
AT ITER 954 NEW BEST:: SOT 32625 SOS 9218 HAS SOPS 9218 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5037.218
AT ITER 967 NEW BEST:: SOT 32621 SOS 9216 HAS SOPS 9216 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5034.216
AT ITER 977 NEW BEST:: SOT 32621 SOS 9216 HAS SOPS 9216 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5027.216
AT ITER 1003 NEW BEST:: SOT 32593 SOS 9132 HAS SOPS 9132 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4999.132
AT ITER 1008 NEW BEST:: SOT 32586 SOS 9132 HAS SOPS 9132 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4992.132
AT ITER 1091 NEW BEST:: SOT 32547 SOS 9090 HAS SOPS 9090 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4986.09
AT ITER 1107 NEW BEST:: SOT 32528 SOS 9061 HAS SOPS 9061 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4980.061
AT ITER 1117 NEW BEST:: SOT 32523 SOS 9061 HAS SOPS 9061 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4975.061
AT ITER 1130 NEW BEST:: SOT 32521 SOS 9069 HAS SOPS 9069 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4973.069
AT ITER 1148 NEW BEST:: SOT 32516 SOS 9046 HAS SOPS 9046 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4948.046
AT ITER 1150 NEW BEST:: SOT 32512 SOS 9040 HAS SOPS 9040 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4942.04
AT ITER 1155 NEW BEST:: SOT 32502 SOS 8986 HAS SOPS 8986 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4911.986
AT ITER 1197 NEW BEST:: SOT 32503 SOS 8988 HAS SOPS 8988 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4910.988
AT ITER 1203 NEW BEST:: SOT 32503 SOS 8988 HAS SOPS 8988 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4905.988
AT ITER 1227 NEW BEST:: SOT 32512 SOS 8979 HAS SOPS 8979 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4905.979
AT ITER 1241 NEW BEST:: SOT 32516 SOS 8987 HAS SOPS 8987 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4898.987
AT ITER 1248 NEW BEST:: SOT 32522 SOS 8999 HAS SOPS 8999 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4892.999
AT ITER 1266 NEW BEST:: SOT 32515 SOS 8585 HAS SOPS 8585 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4885.585
AT ITER 1287 NEW BEST:: SOT 32511 SOS 8574 HAS SOPS 8574 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4874.574
AT ITER 1319 NEW BEST:: SOT 32508 SOS 8555 HAS SOPS 8555 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4868.555
AT ITER 1326 NEW BEST:: SOT 32498 SOS 8535 HAS SOPS 8535 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4850.535
AT ITER 1328 NEW BEST:: SOT 32482 SOS 8480 HAS SOPS 8480 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4811.48
AT ITER 1376 NEW BEST:: SOT 32471 SOS 8469 HAS SOPS 8469 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4800.469
AT ITER 1382 NEW BEST:: SOT 32471 SOS 8476 HAS SOPS 8476 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4799.476
AT ITER 1438 NEW BEST:: SOT 32465 SOS 8470 HAS SOPS 8470 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4787.47
AT ITER 1482 NEW BEST:: SOT 32440 SOS 8445 HAS SOPS 8445 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4762.445
AT ITER 1490 NEW BEST:: SOT 32422 SOS 8409 HAS SOPS 8409 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4744.409
AT ITER 1507 NEW BEST:: SOT 32415 SOS 8388 HAS SOPS 8388 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4710.388
AT ITER 1523 NEW BEST:: SOT 32413 SOS 8384 HAS SOPS 8384 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4705.384
AT ITER 1565 NEW BEST:: SOT 32407 SOS 8240 HAS SOPS 8240 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4699.24
AT ITER 1579 NEW BEST:: SOT 32407 SOS 8234 HAS SOPS 8234 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4699.234
AT ITER 1633 NEW BEST:: SOT 32404 SOS 8231 HAS SOPS 8231 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4696.231
AT ITER 1643 NEW BEST:: SOT 32374 SOS 8201 HAS SOPS 8201 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4664.201
AT ITER 1658 NEW BEST:: SOT 32371 SOS 8198 HAS SOPS 8198 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4661.198
AT ITER 1669 NEW BEST:: SOT 32369 SOS 8212 HAS SOPS 8212 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4650.212
AT ITER 1697 NEW BEST:: SOT 32382 SOS 8217 HAS SOPS 8217 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4643.217
AT ITER 1770 NEW BEST:: SOT 32379 SOS 8211 HAS SOPS 8211 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4637.211
AT ITER 1897 NEW BEST:: SOT 32378 SOS 8209 HAS SOPS 8209 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4614.209
AT ITER 1917 NEW BEST:: SOT 32376 SOS 8201 HAS SOPS 8201 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4612.201
AT ITER 1946 NEW BEST:: SOT 32390 SOS 8199 HAS SOPS 8199 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4610.199
AT ITER 1988 NEW BEST:: SOT 32384 SOS 8187 HAS SOPS 8187 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4601.187
AT ITER 1993 NEW BEST:: SOT 32374 SOS 8167 HAS SOPS 8167 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4593.167
AT ITER 2041 NEW BEST:: SOT 32371 SOS 8164 HAS SOPS 8164 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4590.164
AT ITER 2045 NEW BEST:: SOT 32371 SOS 8164 HAS SOPS 8164 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4585.164
AT ITER 2054 NEW BEST:: SOT 32373 SOS 8168 HAS SOPS 8168 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4580.168
AT ITER 2060 NEW BEST:: SOT 32373 SOS 8166 HAS SOPS 8166 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4578.166
AT ITER 2064 NEW BEST:: SOT 32372 SOS 8170 HAS SOPS 8170 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4577.17
AT ITER 2094 NEW BEST:: SOT 32367 SOS 8160 HAS SOPS 8160 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4572.16
AT ITER 2099 NEW BEST:: SOT 32330 SOS 8132 HAS SOPS 8132 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4524.132
AT ITER 2112 NEW BEST:: SOT 32337 SOS 8146 HAS SOPS 8146 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4518.146
AT ITER 2140 NEW BEST:: SOT 32346 SOS 8274 HAS SOPS 8274 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4511.274
AT ITER 2169 NEW BEST:: SOT 32335 SOS 8252 HAS SOPS 8252 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4487.252
AT ITER 2177 NEW BEST:: SOT 32333 SOS 8250 HAS SOPS 8250 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4478.25
AT ITER 2178 NEW BEST:: SOT 32319 SOS 8208 HAS SOPS 8208 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4464.208
AT ITER 2210 NEW BEST:: SOT 32319 SOS 8204 HAS SOPS 8204 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4464.204
AT ITER 2223 NEW BEST:: SOT 32331 SOS 8226 HAS SOPS 8226 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4442.226
AT ITER 2229 NEW BEST:: SOT 32328 SOS 8223 HAS SOPS 8223 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4436.223
AT ITER 2261 NEW BEST:: SOT 32307 SOS 8181 HAS SOPS 8181 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4415.181
AT ITER 2279 NEW BEST:: SOT 32315 SOS 8188 HAS SOPS 8188 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4405.188
AT ITER 2285 NEW BEST:: SOT 32310 SOS 8178 HAS SOPS 8178 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4395.178
AT ITER 2312 NEW BEST:: SOT 32310 SOS 8173 HAS SOPS 8173 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4390.173
AT ITER 2327 NEW BEST:: SOT 32296 SOS 8029 HAS SOPS 8029 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4376.029
AT ITER 2417 NEW BEST:: SOT 32286 SOS 8009 HAS SOPS 8009 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4356.009
AT ITER 2510 NEW BEST:: SOT 32286 SOS 7992 HAS SOPS 7992 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4300.992
AT ITER 2521 NEW BEST:: SOT 32286 SOS 7986 HAS SOPS 7986 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4295.986
AT ITER 2529 NEW BEST:: SOT 32284 SOS 7982 HAS SOPS 7982 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4292.982
AT ITER 2584 NEW BEST:: SOT 32282 SOS 7978 HAS SOPS 7978 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4288.978
AT ITER 2602 NEW BEST:: SOT 32280 SOS 7976 HAS SOPS 7976 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4286.976
AT ITER 2671 NEW BEST:: SOT 32266 SOS 7973 HAS SOPS 7973 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4283.973
AT ITER 2676 NEW BEST:: SOT 32266 SOS 7962 HAS SOPS 7962 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4272.962
AT ITER 2679 NEW BEST:: SOT 32263 SOS 7956 HAS SOPS 7956 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4266.956
AT ITER 2681 NEW BEST:: SOT 32254 SOS 7947 HAS SOPS 7947 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4257.947
AT ITER 2717 NEW BEST:: SOT 32247 SOS 7940 HAS SOPS 7940 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4250.94
AT ITER 2732 NEW BEST:: SOT 32249 SOS 7944 HAS SOPS 7944 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4220.944
AT ITER 2782 NEW BEST:: SOT 32249 SOS 7935 HAS SOPS 7935 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4211.935
AT ITER 2785 NEW BEST:: SOT 32248 SOS 7932 HAS SOPS 7932 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4209.932
AT ITER 2820 NEW BEST:: SOT 32236 SOS 7920 HAS SOPS 7920 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4197.92
AT ITER 2833 NEW BEST:: SOT 32225 SOS 7970 HAS SOPS 7970 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4192.97
AT ITER 2836 NEW BEST:: SOT 32225 SOS 7964 HAS SOPS 7964 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4192.964
AT ITER 2928 NEW BEST:: SOT 32224 SOS 7963 HAS SOPS 7963 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4190.963
AT ITER 3010 NEW BEST:: SOT 32224 SOS 7951 HAS SOPS 7951 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4186.951
AT ITER 3034 NEW BEST:: SOT 32222 SOS 7947 HAS SOPS 7947 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4182.947
AT ITER 3046 NEW BEST:: SOT 32224 SOS 7943 HAS SOPS 7943 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4178.943
AT ITER 3088 NEW BEST:: SOT 32224 SOS 7943 HAS SOPS 7943 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4176.943
AT ITER 3128 NEW BEST:: SOT 32225 SOS 7925 HAS SOPS 7925 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4173.925
AT ITER 3134 NEW BEST:: SOT 32230 SOS 7920 HAS SOPS 7920 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4173.92
AT ITER 3158 NEW BEST:: SOT 32224 SOS 7921 HAS SOPS 7921 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4161.921
AT ITER 3198 NEW BEST:: SOT 32210 SOS 7906 HAS SOPS 7906 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4146.906
AT ITER 3268 NEW BEST:: SOT 32214 SOS 7904 HAS SOPS 7904 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4144.904
AT ITER 3323 NEW BEST:: SOT 32214 SOS 7902 HAS SOPS 7902 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4144.902
AT ITER 3324 NEW BEST:: SOT 32213 SOS 7900 HAS SOPS 7900 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4142.9
AT ITER 3368 NEW BEST:: SOT 32206 SOS 7854 HAS SOPS 7854 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4135.854
AT ITER 3395 NEW BEST:: SOT 32200 SOS 7842 HAS SOPS 7842 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4129.842
AT ITER 3412 NEW BEST:: SOT 32194 SOS 7830 HAS SOPS 7830 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4117.83
AT ITER 3426 NEW BEST:: SOT 32206 SOS 7875 HAS SOPS 7875 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4112.875
AT ITER 3485 NEW BEST:: SOT 32204 SOS 7871 HAS SOPS 7871 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4108.871
AT ITER 3488 NEW BEST:: SOT 32193 SOS 7860 HAS SOPS 7860 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4097.86
AT ITER 3498 NEW BEST:: SOT 32193 SOS 7860 HAS SOPS 7860 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4096.86
AT ITER 3533 NEW BEST:: SOT 32192 SOS 7859 HAS SOPS 7859 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4095.859
AT ITER 3606 NEW BEST:: SOT 32190 SOS 7858 HAS SOPS 7858 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4094.858
AT ITER 3698 NEW BEST:: SOT 32190 SOS 7854 HAS SOPS 7854 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4094.854
AT ITER 3789 NEW BEST:: SOT 32189 SOS 7852 HAS SOPS 7852 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4092.852
AT ITER 3797 NEW BEST:: SOT 32187 SOS 7821 HAS SOPS 7821 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4088.821
AT ITER 3825 NEW BEST:: SOT 32182 SOS 7811 HAS SOPS 7811 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4078.811
AT ITER 3928 NEW BEST:: SOT 32195 SOS 7680 HAS SOPS 7680 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4074.68
AT ITER 3940 NEW BEST:: SOT 32199 SOS 7680 HAS SOPS 7680 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4062.68
AT ITER 4002 NEW BEST:: SOT 32197 SOS 7676 HAS SOPS 7676 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4060.676
AT ITER 4010 NEW BEST:: SOT 32191 SOS 7669 HAS SOPS 7669 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4053.669
AT ITER 4046 NEW BEST:: SOT 32189 SOS 7665 HAS SOPS 7665 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4043.665
AT ITER 4066 NEW BEST:: SOT 32188 SOS 7662 HAS SOPS 7662 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4041.662
AT ITER 4121 NEW BEST:: SOT 32183 SOS 7656 HAS SOPS 7656 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4027.656
AT ITER 4137 NEW BEST:: SOT 32178 SOS 7654 HAS SOPS 7654 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4025.654
AT ITER 4141 NEW BEST:: SOT 32181 SOS 7657 HAS SOPS 7657 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4016.657
AT ITER 4146 NEW BEST:: SOT 32181 SOS 7585 HAS SOPS 7585 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4015.585
AT ITER 4163 NEW BEST:: SOT 32180 SOS 7583 HAS SOPS 7583 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4014.583
AT ITER 4263 NEW BEST:: SOT 32163 SOS 7569 HAS SOPS 7569 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 4000.569
AT ITER 4279 NEW BEST:: SOT 32162 SOS 7562 HAS SOPS 7562 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3998.562
AT ITER 4315 NEW BEST:: SOT 32160 SOS 7560 HAS SOPS 7560 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3996.56
AT ITER 4321 NEW BEST:: SOT 32158 SOS 7556 HAS SOPS 7556 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3996.556
AT ITER 4336 NEW BEST:: SOT 32158 SOS 7547 HAS SOPS 7547 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3996.547
AT ITER 4549 NEW BEST:: SOT 32160 SOS 7543 HAS SOPS 7543 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3996.543
AT ITER 4579 NEW BEST:: SOT 32151 SOS 7525 HAS SOPS 7525 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3980.525
AT ITER 4584 NEW BEST:: SOT 32150 SOS 7524 HAS SOPS 7524 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3979.524
AT ITER 4588 NEW BEST:: SOT 32148 SOS 7522 HAS SOPS 7522 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3977.522
AT ITER 4632 NEW BEST:: SOT 32148 SOS 7522 HAS SOPS 7522 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3975.522
AT ITER 4714 NEW BEST:: SOT 32144 SOS 7522 HAS SOPS 7522 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3971.522
AT ITER 4761 NEW BEST:: SOT 32138 SOS 7515 HAS SOPS 7515 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.515
AT ITER 4899 NEW BEST:: SOT 32138 SOS 7513 HAS SOPS 7513 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3960.513
AT ITER 4974 NEW BEST:: SOT 32138 SOS 7512 HAS SOPS 7512 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3959.512
AT ITER 5000 NEW BEST:: SOT 32137 SOS 7501 HAS SOPS 7501 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3948.501
AT ITER 5003 NEW BEST:: SOT 32136 SOS 7499 HAS SOPS 7499 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3946.499
AT ITER 5073 NEW BEST:: SOT 32141 SOS 7509 HAS SOPS 7509 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3941.509
AT ITER 5078 NEW BEST:: SOT 32140 SOS 7507 HAS SOPS 7507 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3939.507
AT ITER 5177 NEW BEST:: SOT 32139 SOS 7505 HAS SOPS 7505 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3937.505
AT ITER 5215 NEW BEST:: SOT 32138 SOS 7490 HAS SOPS 7490 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3934.49
AT ITER 5233 NEW BEST:: SOT 32138 SOS 7482 HAS SOPS 7482 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3934.482
AT ITER 5247 NEW BEST:: SOT 32137 SOS 7480 HAS SOPS 7480 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3932.48
AT ITER 5253 NEW BEST:: SOT 32131 SOS 7422 HAS SOPS 7422 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3925.422
AT ITER 5262 NEW BEST:: SOT 32126 SOS 7412 HAS SOPS 7412 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3920.412
AT ITER 5266 NEW BEST:: SOT 32126 SOS 7412 HAS SOPS 7412 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3919.412
AT ITER 5382 NEW BEST:: SOT 32126 SOS 7412 HAS SOPS 7412 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3918.412
AT ITER 5396 NEW BEST:: SOT 32126 SOS 7408 HAS SOPS 7408 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3918.408
AT ITER 5483 NEW BEST:: SOT 32124 SOS 7404 HAS SOPS 7404 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3914.404
AT ITER 5654 NEW BEST:: SOT 32119 SOS 7394 HAS SOPS 7394 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3904.394
AT ITER 5692 NEW BEST:: SOT 32125 SOS 7410 HAS SOPS 7410 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3891.41
AT ITER 5762 NEW BEST:: SOT 32118 SOS 7426 HAS SOPS 7426 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3889.426
AT ITER 5798 NEW BEST:: SOT 32100 SOS 7408 HAS SOPS 7408 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3871.408
AT ITER 5814 NEW BEST:: SOT 32086 SOS 7380 HAS SOPS 7380 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3843.38
AT ITER 5881 NEW BEST:: SOT 32083 SOS 7377 HAS SOPS 7377 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3840.377
AT ITER 5899 NEW BEST:: SOT 32083 SOS 7374 HAS SOPS 7374 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3837.374
AT ITER 5920 NEW BEST:: SOT 32086 SOS 7376 HAS SOPS 7376 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3836.376
AT ITER 5950 NEW BEST:: SOT 32086 SOS 7374 HAS SOPS 7374 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3835.374
AT ITER 6088 NEW BEST:: SOT 32085 SOS 7372 HAS SOPS 7372 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3833.372
AT ITER 6280 NEW BEST:: SOT 32082 SOS 7369 HAS SOPS 7369 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3833.369
AT ITER 6347 NEW BEST:: SOT 32081 SOS 7367 HAS SOPS 7367 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3832.367
AT ITER 6404 NEW BEST:: SOT 32083 SOS 7371 HAS SOPS 7371 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3829.371
AT ITER 6408 NEW BEST:: SOT 32083 SOS 7369 HAS SOPS 7369 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3829.369
AT ITER 6442 NEW BEST:: SOT 32084 SOS 7367 HAS SOPS 7367 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3829.367
AT ITER 6532 NEW BEST:: SOT 32078 SOS 7361 HAS SOPS 7361 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3817.361
AT ITER 6541 NEW BEST:: SOT 32076 SOS 7359 HAS SOPS 7359 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3815.359
AT ITER 6550 NEW BEST:: SOT 32071 SOS 7349 HAS SOPS 7349 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3792.349
AT ITER 6563 NEW BEST:: SOT 32071 SOS 7345 HAS SOPS 7345 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3790.345
AT ITER 6765 NEW BEST:: SOT 32070 SOS 7345 HAS SOPS 7345 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3789.345
AT ITER 6989 NEW BEST:: SOT 32070 SOS 7343 HAS SOPS 7343 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3789.343
AT ITER 7143 NEW BEST:: SOT 32070 SOS 7342 HAS SOPS 7342 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3789.342
AT ITER 7202 NEW BEST:: SOT 32070 SOS 7336 HAS SOPS 7336 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3785.336
AT ITER 7231 NEW BEST:: SOT 32070 SOS 7336 HAS SOPS 7336 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3783.336
AT ITER 7236 NEW BEST:: SOT 32070 SOS 7324 HAS SOPS 7324 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3777.324
AT ITER 7286 NEW BEST:: SOT 32070 SOS 7323 HAS SOPS 7323 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3776.323
AT ITER 7483 NEW BEST:: SOT 32073 SOS 7329 HAS SOPS 7329 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3775.329
AT ITER 7891 NEW BEST:: SOT 32069 SOS 7321 HAS SOPS 7321 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3772.321
AT ITER 7909 NEW BEST:: SOT 32076 SOS 7320 HAS SOPS 7320 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3771.32
AT ITER 7974 NEW BEST:: SOT 32074 SOS 7309 HAS SOPS 7309 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3769.309
AT ITER 7988 NEW BEST:: SOT 32074 SOS 7311 HAS SOPS 7311 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3766.311
AT ITER 7994 NEW BEST:: SOT 32061 SOS 7296 HAS SOPS 7296 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3751.296
AT ITER 8113 NEW BEST:: SOT 32056 SOS 7295 HAS SOPS 7295 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3750.295
AT ITER 8143 NEW BEST:: SOT 32055 SOS 7293 HAS SOPS 7293 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3750.293
AT ITER 8147 NEW BEST:: SOT 32055 SOS 7285 HAS SOPS 7285 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3750.285
AT ITER 8170 NEW BEST:: SOT 32054 SOS 7284 HAS SOPS 7284 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3748.284
AT ITER 8341 NEW BEST:: SOT 32046 SOS 7276 HAS SOPS 7276 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3734.276
AT ITER 8384 NEW BEST:: SOT 32045 SOS 7274 HAS SOPS 7274 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3732.274
AT ITER 8633 NEW BEST:: SOT 32043 SOS 7272 HAS SOPS 7272 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3730.272
AT ITER 8664 NEW BEST:: SOT 32043 SOS 7269 HAS SOPS 7269 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3727.269
AT ITER 8864 NEW BEST:: SOT 32042 SOS 7268 HAS SOPS 7268 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3726.268
AT ITER 9241 NEW BEST:: SOT 32042 SOS 7267 HAS SOPS 7267 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3726.267
AT ITER 9338 NEW BEST:: SOT 32037 SOS 7257 HAS SOPS 7257 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3716.257
AT ITER 9343 NEW BEST:: SOT 32032 SOS 7247 HAS SOPS 7247 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3711.247
AT ITER 9371 NEW BEST:: SOT 32031 SOS 7246 HAS SOPS 7246 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3710.246
AT ITER 9554 NEW BEST:: SOT 32030 SOS 7243 HAS SOPS 7243 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3709.243
AT ITER 9790 NEW BEST:: SOT 32035 SOS 7244 HAS SOPS 7244 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3705.244
AT ITER 9894 NEW BEST:: SOT 32039 SOS 7248 HAS SOPS 7248 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3703.248
AT ITER 9906 NEW BEST:: SOT 32039 SOS 7246 HAS SOPS 7246 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3703.246
AT ITER 9918 NEW BEST:: SOT 32038 SOS 7245 HAS SOPS 7245 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3702.245
AT ITER 9926 NEW BEST:: SOT 32037 SOS 7243 HAS SOPS 7243 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3700.243
AT ITER 9981 NEW BEST:: SOT 32039 SOS 7231 HAS SOPS 7231 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3700.231
STATE_SPACE STATES 144452774 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 925855782 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678473916121

--------------------
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="AutonomousCar-PT-03b"
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"
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 smart"
echo " Input is AutonomousCar-PT-03b, 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 r003-oct2-167813591100576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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