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.r515-tall-167987242200224.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 smart
Input is EisenbergMcGuire-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.7K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 12K Mar 23 15:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Mar 23 15:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Mar 23 15:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 109K Mar 26 22: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 1679879744994

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=EisenbergMcGuire-PT-03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 03
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: 117 places, 216 transitions, 900 arcs.
AT ITER 0 NEW BEST:: SOT 17650 SOS 9352 HAS SOPS 7412 HAS SOUS 7069 HAS SOUPS 6486 WITH SCORE 6495.352
AT ITER 1 NEW BEST:: SOT 17473 SOS 9432 HAS SOPS 7556 HAS SOUS 6881 HAS SOUPS 6298 WITH SCORE 6307.432
AT ITER 4 NEW BEST:: SOT 17473 SOS 9449 HAS SOPS 7533 HAS SOUS 6848 HAS SOUPS 6265 WITH SCORE 6274.449
AT ITER 12 NEW BEST:: SOT 17473 SOS 9449 HAS SOPS 7531 HAS SOUS 6848 HAS SOUPS 6263 WITH SCORE 6272.449
AT ITER 16 NEW BEST:: SOT 17469 SOS 9380 HAS SOPS 7221 HAS SOUS 6570 HAS SOUPS 5978 WITH SCORE 5987.38
AT ITER 26 NEW BEST:: SOT 17454 SOS 9298 HAS SOPS 7165 HAS SOUS 6540 HAS SOUPS 5948 WITH SCORE 5957.298
AT ITER 33 NEW BEST:: SOT 17492 SOS 8962 HAS SOPS 7197 HAS SOUS 6460 HAS SOUPS 5904 WITH SCORE 5912.962
AT ITER 35 NEW BEST:: SOT 17491 SOS 8960 HAS SOPS 7195 HAS SOUS 6458 HAS SOUPS 5902 WITH SCORE 5910.96
AT ITER 38 NEW BEST:: SOT 17506 SOS 8984 HAS SOPS 7186 HAS SOUS 6492 HAS SOUPS 5899 WITH SCORE 5907.984
AT ITER 47 NEW BEST:: SOT 17612 SOS 9611 HAS SOPS 7075 HAS SOUS 6548 HAS SOUPS 5869 WITH SCORE 5878.611
AT ITER 64 NEW BEST:: SOT 17644 SOS 9599 HAS SOPS 7063 HAS SOUS 6548 HAS SOUPS 5869 WITH SCORE 5878.599
AT ITER 66 NEW BEST:: SOT 17644 SOS 9567 HAS SOPS 6983 HAS SOUS 6490 HAS SOUPS 5811 WITH SCORE 5820.567
AT ITER 72 NEW BEST:: SOT 17626 SOS 9549 HAS SOPS 6965 HAS SOUS 6472 HAS SOUPS 5793 WITH SCORE 5802.549
AT ITER 84 NEW BEST:: SOT 17603 SOS 9515 HAS SOPS 6931 HAS SOUS 6438 HAS SOUPS 5759 WITH SCORE 5768.515
AT ITER 86 NEW BEST:: SOT 17602 SOS 9513 HAS SOPS 6929 HAS SOUS 6436 HAS SOUPS 5757 WITH SCORE 5766.513
AT ITER 99 NEW BEST:: SOT 17569 SOS 9493 HAS SOPS 6940 HAS SOUS 6448 HAS SOUPS 5740 WITH SCORE 5749.493
AT ITER 108 NEW BEST:: SOT 17550 SOS 9520 HAS SOPS 6915 HAS SOUS 6445 HAS SOUPS 5731 WITH SCORE 5740.52
AT ITER 109 NEW BEST:: SOT 17546 SOS 9527 HAS SOPS 6896 HAS SOUS 6440 HAS SOUPS 5703 WITH SCORE 5712.527
AT ITER 111 NEW BEST:: SOT 17524 SOS 9518 HAS SOPS 6887 HAS SOUS 6431 HAS SOUPS 5694 WITH SCORE 5703.518
AT ITER 112 NEW BEST:: SOT 17522 SOS 9500 HAS SOPS 6855 HAS SOUS 6411 HAS SOUPS 5674 WITH SCORE 5683.5
AT ITER 121 NEW BEST:: SOT 17562 SOS 9514 HAS SOPS 6832 HAS SOUS 6381 HAS SOUPS 5644 WITH SCORE 5653.514
AT ITER 128 NEW BEST:: SOT 17562 SOS 9531 HAS SOPS 6849 HAS SOUS 6370 HAS SOUPS 5633 WITH SCORE 5642.531
AT ITER 129 NEW BEST:: SOT 17542 SOS 9473 HAS SOPS 6815 HAS SOUS 6346 HAS SOUPS 5609 WITH SCORE 5618.473
AT ITER 130 NEW BEST:: SOT 17484 SOS 9755 HAS SOPS 6334 HAS SOUS 6450 HAS SOUPS 5554 WITH SCORE 5563.755
AT ITER 132 NEW BEST:: SOT 17478 SOS 9749 HAS SOPS 6328 HAS SOUS 6444 HAS SOUPS 5548 WITH SCORE 5557.749
AT ITER 133 NEW BEST:: SOT 17447 SOS 9758 HAS SOPS 6338 HAS SOUS 6384 HAS SOUPS 5488 WITH SCORE 5497.758
AT ITER 141 NEW BEST:: SOT 17450 SOS 9756 HAS SOPS 6334 HAS SOUS 6382 HAS SOUPS 5484 WITH SCORE 5493.756
AT ITER 148 NEW BEST:: SOT 17491 SOS 9736 HAS SOPS 6164 HAS SOUS 6191 HAS SOUPS 5293 WITH SCORE 5302.736
AT ITER 153 NEW BEST:: SOT 17471 SOS 9696 HAS SOPS 6124 HAS SOUS 6151 HAS SOUPS 5253 WITH SCORE 5262.696
AT ITER 156 NEW BEST:: SOT 17467 SOS 9692 HAS SOPS 6116 HAS SOUS 6143 HAS SOUPS 5245 WITH SCORE 5254.692
AT ITER 161 NEW BEST:: SOT 17393 SOS 9591 HAS SOPS 5907 HAS SOUS 5971 HAS SOUPS 5036 WITH SCORE 5045.591
AT ITER 163 NEW BEST:: SOT 17376 SOS 9538 HAS SOPS 5849 HAS SOUS 5937 HAS SOUPS 5002 WITH SCORE 5011.538
AT ITER 176 NEW BEST:: SOT 17376 SOS 9506 HAS SOPS 5814 HAS SOUS 5891 HAS SOUPS 4956 WITH SCORE 4965.506
AT ITER 183 NEW BEST:: SOT 17370 SOS 9498 HAS SOPS 5806 HAS SOUS 5883 HAS SOUPS 4948 WITH SCORE 4957.498
AT ITER 190 NEW BEST:: SOT 17356 SOS 9484 HAS SOPS 5792 HAS SOUS 5869 HAS SOUPS 4934 WITH SCORE 4943.484
AT ITER 200 NEW BEST:: SOT 17336 SOS 9481 HAS SOPS 5806 HAS SOUS 5834 HAS SOUPS 4899 WITH SCORE 4908.481
AT ITER 202 NEW BEST:: SOT 17311 SOS 9461 HAS SOPS 5756 HAS SOUS 5805 HAS SOUPS 4870 WITH SCORE 4879.461
AT ITER 207 NEW BEST:: SOT 17311 SOS 9461 HAS SOPS 5747 HAS SOUS 5805 HAS SOUPS 4861 WITH SCORE 4870.461
AT ITER 208 NEW BEST:: SOT 17355 SOS 9560 HAS SOPS 5757 HAS SOUS 5793 HAS SOUPS 4849 WITH SCORE 4858.56
AT ITER 224 NEW BEST:: SOT 17355 SOS 9528 HAS SOPS 5754 HAS SOUS 5781 HAS SOUPS 4843 WITH SCORE 4852.528
AT ITER 229 NEW BEST:: SOT 17344 SOS 9549 HAS SOPS 5732 HAS SOUS 5759 HAS SOUPS 4821 WITH SCORE 4830.549
AT ITER 237 NEW BEST:: SOT 17344 SOS 9531 HAS SOPS 5714 HAS SOUS 5759 HAS SOUPS 4821 WITH SCORE 4830.531
AT ITER 249 NEW BEST:: SOT 17358 SOS 9545 HAS SOPS 5726 HAS SOUS 5755 HAS SOUPS 4817 WITH SCORE 4826.545
AT ITER 259 NEW BEST:: SOT 17330 SOS 9522 HAS SOPS 5685 HAS SOUS 5741 HAS SOUPS 4790 WITH SCORE 4799.522
AT ITER 268 NEW BEST:: SOT 17323 SOS 9530 HAS SOPS 5650 HAS SOUS 5739 HAS SOUPS 4788 WITH SCORE 4797.53
AT ITER 283 NEW BEST:: SOT 17261 SOS 9413 HAS SOPS 5604 HAS SOUS 5724 HAS SOUPS 4773 WITH SCORE 4782.413
AT ITER 288 NEW BEST:: SOT 17261 SOS 9413 HAS SOPS 5602 HAS SOUS 5722 HAS SOUPS 4771 WITH SCORE 4780.413
AT ITER 303 NEW BEST:: SOT 17183 SOS 9332 HAS SOPS 5561 HAS SOUS 5718 HAS SOUPS 4767 WITH SCORE 4776.332
AT ITER 315 NEW BEST:: SOT 17175 SOS 9324 HAS SOPS 5541 HAS SOUS 5694 HAS SOUPS 4731 WITH SCORE 4740.324
AT ITER 330 NEW BEST:: SOT 17164 SOS 9278 HAS SOPS 5495 HAS SOUS 5672 HAS SOUPS 4709 WITH SCORE 4718.278
AT ITER 335 NEW BEST:: SOT 16915 SOS 10438 HAS SOPS 5322 HAS SOUS 5589 HAS SOUPS 4510 WITH SCORE 4520.438
AT ITER 349 NEW BEST:: SOT 16842 SOS 10369 HAS SOPS 5253 HAS SOUS 5520 HAS SOUPS 4441 WITH SCORE 4451.369
AT ITER 350 NEW BEST:: SOT 16839 SOS 10190 HAS SOPS 5232 HAS SOUS 5437 HAS SOUPS 4416 WITH SCORE 4426.19
AT ITER 353 NEW BEST:: SOT 16835 SOS 10186 HAS SOPS 5229 HAS SOUS 5433 HAS SOUPS 4412 WITH SCORE 4422.186
AT ITER 356 NEW BEST:: SOT 16886 SOS 10229 HAS SOPS 5223 HAS SOUS 5390 HAS SOUPS 4369 WITH SCORE 4379.229
AT ITER 365 NEW BEST:: SOT 16875 SOS 10259 HAS SOPS 5194 HAS SOUS 5383 HAS SOUPS 4340 WITH SCORE 4350.259
AT ITER 369 NEW BEST:: SOT 16826 SOS 10210 HAS SOPS 5141 HAS SOUS 5372 HAS SOUPS 4329 WITH SCORE 4339.21
AT ITER 394 NEW BEST:: SOT 16826 SOS 10599 HAS SOPS 5144 HAS SOUS 5397 HAS SOUPS 4326 WITH SCORE 4336.599
AT ITER 395 NEW BEST:: SOT 16826 SOS 10598 HAS SOPS 5137 HAS SOUS 5390 HAS SOUPS 4319 WITH SCORE 4329.598
AT ITER 397 NEW BEST:: SOT 16821 SOS 10627 HAS SOPS 5127 HAS SOUS 5382 HAS SOUPS 4309 WITH SCORE 4319.627
AT ITER 407 NEW BEST:: SOT 16781 SOS 10708 HAS SOPS 4947 HAS SOUS 5343 HAS SOUPS 4216 WITH SCORE 4226.708
AT ITER 413 NEW BEST:: SOT 16779 SOS 10706 HAS SOPS 4955 HAS SOUS 5342 HAS SOUPS 4215 WITH SCORE 4225.706
AT ITER 422 NEW BEST:: SOT 16787 SOS 10703 HAS SOPS 4921 HAS SOUS 5308 HAS SOUPS 4181 WITH SCORE 4191.703
AT ITER 432 NEW BEST:: SOT 16772 SOS 10688 HAS SOPS 4896 HAS SOUS 5293 HAS SOUPS 4166 WITH SCORE 4176.688
AT ITER 435 NEW BEST:: SOT 16752 SOS 10626 HAS SOPS 4884 HAS SOUS 5238 HAS SOUPS 4131 WITH SCORE 4141.626
AT ITER 444 NEW BEST:: SOT 16744 SOS 10615 HAS SOPS 4851 HAS SOUS 5205 HAS SOUPS 4098 WITH SCORE 4108.615
AT ITER 457 NEW BEST:: SOT 16734 SOS 10610 HAS SOPS 4844 HAS SOUS 5198 HAS SOUPS 4091 WITH SCORE 4101.61
AT ITER 470 NEW BEST:: SOT 16730 SOS 10606 HAS SOPS 4690 HAS SOUS 5032 HAS SOUPS 3925 WITH SCORE 3935.606
AT ITER 473 NEW BEST:: SOT 16729 SOS 10637 HAS SOPS 4688 HAS SOUS 5030 HAS SOUPS 3923 WITH SCORE 3933.637
AT ITER 482 NEW BEST:: SOT 16720 SOS 10564 HAS SOPS 4679 HAS SOUS 4982 HAS SOUPS 3907 WITH SCORE 3917.564
AT ITER 497 NEW BEST:: SOT 16720 SOS 10561 HAS SOPS 4676 HAS SOUS 4979 HAS SOUPS 3904 WITH SCORE 3914.561
AT ITER 504 NEW BEST:: SOT 16707 SOS 10502 HAS SOPS 4650 HAS SOUS 4953 HAS SOUPS 3878 WITH SCORE 3888.502
AT ITER 507 NEW BEST:: SOT 16688 SOS 10463 HAS SOPS 4612 HAS SOUS 4915 HAS SOUPS 3840 WITH SCORE 3850.463
AT ITER 518 NEW BEST:: SOT 16688 SOS 10464 HAS SOPS 4604 HAS SOUS 4914 HAS SOUPS 3839 WITH SCORE 3849.464
AT ITER 526 NEW BEST:: SOT 16641 SOS 10417 HAS SOPS 4548 HAS SOUS 4867 HAS SOUPS 3783 WITH SCORE 3793.417
AT ITER 529 NEW BEST:: SOT 16649 SOS 10401 HAS SOPS 4562 HAS SOUS 4833 HAS SOUPS 3765 WITH SCORE 3775.401
AT ITER 531 NEW BEST:: SOT 16653 SOS 10407 HAS SOPS 4546 HAS SOUS 4803 HAS SOUPS 3725 WITH SCORE 3735.407
AT ITER 553 NEW BEST:: SOT 16631 SOS 10399 HAS SOPS 4516 HAS SOUS 4787 HAS SOUPS 3695 WITH SCORE 3705.399
AT ITER 591 NEW BEST:: SOT 16624 SOS 10378 HAS SOPS 4502 HAS SOUS 4773 HAS SOUPS 3681 WITH SCORE 3691.378
AT ITER 611 NEW BEST:: SOT 16605 SOS 9873 HAS SOPS 4522 HAS SOUS 4704 HAS SOUPS 3664 WITH SCORE 3673.873
AT ITER 612 NEW BEST:: SOT 16593 SOS 9721 HAS SOPS 4508 HAS SOUS 4692 HAS SOUPS 3664 WITH SCORE 3673.721
AT ITER 622 NEW BEST:: SOT 16605 SOS 9717 HAS SOPS 4441 HAS SOUS 4688 HAS SOUPS 3659 WITH SCORE 3668.717
AT ITER 625 NEW BEST:: SOT 16601 SOS 9715 HAS SOPS 4439 HAS SOUS 4680 HAS SOUPS 3651 WITH SCORE 3660.715
AT ITER 626 NEW BEST:: SOT 16608 SOS 9768 HAS SOPS 4443 HAS SOUS 4681 HAS SOUPS 3646 WITH SCORE 3655.768
AT ITER 633 NEW BEST:: SOT 16600 SOS 9760 HAS SOPS 4432 HAS SOUS 4680 HAS SOUPS 3645 WITH SCORE 3654.76
AT ITER 678 NEW BEST:: SOT 16581 SOS 9663 HAS SOPS 4403 HAS SOUS 4656 HAS SOUPS 3630 WITH SCORE 3639.663
AT ITER 681 NEW BEST:: SOT 16578 SOS 9668 HAS SOPS 4402 HAS SOUS 4655 HAS SOUPS 3628 WITH SCORE 3637.668
AT ITER 746 NEW BEST:: SOT 16578 SOS 9669 HAS SOPS 4403 HAS SOUS 4653 HAS SOUPS 3626 WITH SCORE 3635.669
AT ITER 749 NEW BEST:: SOT 16583 SOS 10401 HAS SOPS 4447 HAS SOUS 4686 HAS SOUPS 3621 WITH SCORE 3631.401
AT ITER 785 NEW BEST:: SOT 16564 SOS 10382 HAS SOPS 4461 HAS SOUS 4679 HAS SOUPS 3618 WITH SCORE 3628.382
AT ITER 787 NEW BEST:: SOT 16515 SOS 10309 HAS SOPS 4399 HAS SOUS 4642 HAS SOUPS 3581 WITH SCORE 3591.309
AT ITER 797 NEW BEST:: SOT 16501 SOS 10292 HAS SOPS 4377 HAS SOUS 4627 HAS SOUPS 3563 WITH SCORE 3573.292
AT ITER 805 NEW BEST:: SOT 16500 SOS 10299 HAS SOPS 4372 HAS SOUS 4633 HAS SOUPS 3561 WITH SCORE 3571.299
AT ITER 820 NEW BEST:: SOT 16500 SOS 10296 HAS SOPS 4369 HAS SOUS 4630 HAS SOUPS 3558 WITH SCORE 3568.296
AT ITER 824 NEW BEST:: SOT 16488 SOS 10283 HAS SOPS 4350 HAS SOUS 4611 HAS SOUPS 3539 WITH SCORE 3549.283
AT ITER 828 NEW BEST:: SOT 16495 SOS 10284 HAS SOPS 4349 HAS SOUS 4612 HAS SOUPS 3538 WITH SCORE 3548.284
AT ITER 832 NEW BEST:: SOT 16493 SOS 10266 HAS SOPS 4346 HAS SOUS 4608 HAS SOUPS 3534 WITH SCORE 3544.266
AT ITER 840 NEW BEST:: SOT 16495 SOS 10298 HAS SOPS 4380 HAS SOUS 4597 HAS SOUPS 3523 WITH SCORE 3533.298
AT ITER 846 NEW BEST:: SOT 16495 SOS 10295 HAS SOPS 4377 HAS SOUS 4597 HAS SOUPS 3523 WITH SCORE 3533.295
AT ITER 866 NEW BEST:: SOT 16489 SOS 10288 HAS SOPS 4369 HAS SOUS 4589 HAS SOUPS 3515 WITH SCORE 3525.288
AT ITER 920 NEW BEST:: SOT 16489 SOS 10290 HAS SOPS 4368 HAS SOUS 4590 HAS SOUPS 3513 WITH SCORE 3523.29
AT ITER 922 NEW BEST:: SOT 16477 SOS 10270 HAS SOPS 4361 HAS SOUS 4571 HAS SOUPS 3504 WITH SCORE 3514.27
AT ITER 927 NEW BEST:: SOT 16477 SOS 10240 HAS SOPS 4331 HAS SOUS 4571 HAS SOUPS 3504 WITH SCORE 3514.24
AT ITER 931 NEW BEST:: SOT 16523 SOS 10267 HAS SOPS 4323 HAS SOUS 4563 HAS SOUPS 3496 WITH SCORE 3506.267
AT ITER 957 NEW BEST:: SOT 16528 SOS 10283 HAS SOPS 4355 HAS SOUS 4557 HAS SOUPS 3490 WITH SCORE 3500.283
AT ITER 993 NEW BEST:: SOT 16523 SOS 10269 HAS SOPS 4354 HAS SOUS 4547 HAS SOUPS 3480 WITH SCORE 3490.269
AT ITER 997 NEW BEST:: SOT 16502 SOS 10234 HAS SOPS 4319 HAS SOUS 4533 HAS SOUPS 3466 WITH SCORE 3476.234
AT ITER 1004 NEW BEST:: SOT 16502 SOS 10234 HAS SOPS 4319 HAS SOUS 4513 HAS SOUPS 3446 WITH SCORE 3456.234
AT ITER 1012 NEW BEST:: SOT 16501 SOS 10215 HAS SOPS 4300 HAS SOUS 4494 HAS SOUPS 3427 WITH SCORE 3437.215
AT ITER 1030 NEW BEST:: SOT 16523 SOS 10237 HAS SOPS 4276 HAS SOUS 4493 HAS SOUPS 3424 WITH SCORE 3434.237
AT ITER 1042 NEW BEST:: SOT 16528 SOS 10219 HAS SOPS 4282 HAS SOUS 4480 HAS SOUPS 3423 WITH SCORE 3433.219
AT ITER 1087 NEW BEST:: SOT 16532 SOS 10173 HAS SOPS 4215 HAS SOUS 4480 HAS SOUPS 3423 WITH SCORE 3433.173
AT ITER 1135 NEW BEST:: SOT 16529 SOS 10169 HAS SOPS 4207 HAS SOUS 4472 HAS SOUPS 3415 WITH SCORE 3425.169
AT ITER 1142 NEW BEST:: SOT 16513 SOS 10134 HAS SOPS 4176 HAS SOUS 4452 HAS SOUPS 3395 WITH SCORE 3405.134
AT ITER 1153 NEW BEST:: SOT 16506 SOS 10121 HAS SOPS 4183 HAS SOUS 4445 HAS SOUPS 3388 WITH SCORE 3398.121
AT ITER 1160 NEW BEST:: SOT 16502 SOS 10113 HAS SOPS 4175 HAS SOUS 4437 HAS SOUPS 3380 WITH SCORE 3390.113
AT ITER 1177 NEW BEST:: SOT 16492 SOS 10113 HAS SOPS 4170 HAS SOUS 4433 HAS SOUPS 3376 WITH SCORE 3386.113
AT ITER 1184 NEW BEST:: SOT 16485 SOS 10106 HAS SOPS 4149 HAS SOUS 4412 HAS SOUPS 3355 WITH SCORE 3365.106
AT ITER 1199 NEW BEST:: SOT 16484 SOS 10105 HAS SOPS 4146 HAS SOUS 4408 HAS SOUPS 3351 WITH SCORE 3361.105
AT ITER 1230 NEW BEST:: SOT 16462 SOS 10083 HAS SOPS 4047 HAS SOUS 4372 HAS SOUPS 3297 WITH SCORE 3307.083
AT ITER 1257 NEW BEST:: SOT 16461 SOS 10069 HAS SOPS 4017 HAS SOUS 4352 HAS SOUPS 3277 WITH SCORE 3287.069
AT ITER 1260 NEW BEST:: SOT 16464 SOS 10074 HAS SOPS 4019 HAS SOUS 4351 HAS SOUPS 3276 WITH SCORE 3286.074
AT ITER 1267 NEW BEST:: SOT 16449 SOS 10059 HAS SOPS 4010 HAS SOUS 4350 HAS SOUPS 3275 WITH SCORE 3285.059
AT ITER 1286 NEW BEST:: SOT 16407 SOS 10005 HAS SOPS 3986 HAS SOUS 4339 HAS SOUPS 3264 WITH SCORE 3274.005
AT ITER 1298 NEW BEST:: SOT 16399 SOS 9997 HAS SOPS 3982 HAS SOUS 4331 HAS SOUPS 3256 WITH SCORE 3265.997
AT ITER 1302 NEW BEST:: SOT 16399 SOS 9997 HAS SOPS 3980 HAS SOUS 4330 HAS SOUPS 3255 WITH SCORE 3264.997
AT ITER 1332 NEW BEST:: SOT 16387 SOS 9977 HAS SOPS 3960 HAS SOUS 4319 HAS SOUPS 3244 WITH SCORE 3253.977
AT ITER 1338 NEW BEST:: SOT 16386 SOS 9971 HAS SOPS 3954 HAS SOUS 4313 HAS SOUPS 3238 WITH SCORE 3247.971
AT ITER 1358 NEW BEST:: SOT 16382 SOS 9981 HAS SOPS 3946 HAS SOUS 4305 HAS SOUPS 3230 WITH SCORE 3239.981
AT ITER 1364 NEW BEST:: SOT 16380 SOS 9980 HAS SOPS 3943 HAS SOUS 4302 HAS SOUPS 3227 WITH SCORE 3236.98
AT ITER 1384 NEW BEST:: SOT 16374 SOS 9966 HAS SOPS 3931 HAS SOUS 4296 HAS SOUPS 3223 WITH SCORE 3232.966
AT ITER 1391 NEW BEST:: SOT 16327 SOS 9904 HAS SOPS 3877 HAS SOUS 4271 HAS SOUPS 3198 WITH SCORE 3207.904
AT ITER 1392 NEW BEST:: SOT 16314 SOS 9895 HAS SOPS 3875 HAS SOUS 4269 HAS SOUPS 3196 WITH SCORE 3205.895
AT ITER 1415 NEW BEST:: SOT 16314 SOS 9889 HAS SOPS 3872 HAS SOUS 4269 HAS SOUPS 3196 WITH SCORE 3205.889
AT ITER 1417 NEW BEST:: SOT 16305 SOS 9904 HAS SOPS 3851 HAS SOUS 4267 HAS SOUPS 3178 WITH SCORE 3187.904
AT ITER 1418 NEW BEST:: SOT 16301 SOS 9900 HAS SOPS 3837 HAS SOUS 4253 HAS SOUPS 3164 WITH SCORE 3173.9
AT ITER 1494 NEW BEST:: SOT 16299 SOS 9896 HAS SOPS 3833 HAS SOUS 4251 HAS SOUPS 3162 WITH SCORE 3171.896
AT ITER 1551 NEW BEST:: SOT 16299 SOS 9900 HAS SOPS 3829 HAS SOUS 4252 HAS SOUPS 3156 WITH SCORE 3165.9
AT ITER 1555 NEW BEST:: SOT 16290 SOS 9890 HAS SOPS 3815 HAS SOUS 4238 HAS SOUPS 3142 WITH SCORE 3151.89
AT ITER 1567 NEW BEST:: SOT 16288 SOS 9896 HAS SOPS 3817 HAS SOUS 4230 HAS SOUPS 3134 WITH SCORE 3143.896
AT ITER 1575 NEW BEST:: SOT 16288 SOS 9772 HAS SOPS 3793 HAS SOUS 4226 HAS SOUPS 3134 WITH SCORE 3143.772
AT ITER 1617 NEW BEST:: SOT 16288 SOS 9652 HAS SOPS 3773 HAS SOUS 4218 HAS SOUPS 3130 WITH SCORE 3139.652
AT ITER 1627 NEW BEST:: SOT 16288 SOS 9644 HAS SOPS 3765 HAS SOUS 4218 HAS SOUPS 3130 WITH SCORE 3139.644
AT ITER 1649 NEW BEST:: SOT 16286 SOS 9647 HAS SOPS 3768 HAS SOUS 4214 HAS SOUPS 3126 WITH SCORE 3135.647
AT ITER 1688 NEW BEST:: SOT 16266 SOS 9607 HAS SOPS 3728 HAS SOUS 4174 HAS SOUPS 3086 WITH SCORE 3095.607
AT ITER 1720 NEW BEST:: SOT 16278 SOS 9692 HAS SOPS 3735 HAS SOUS 4189 HAS SOUPS 3081 WITH SCORE 3090.692
AT ITER 1731 NEW BEST:: SOT 16278 SOS 9694 HAS SOPS 3727 HAS SOUS 4181 HAS SOUPS 3073 WITH SCORE 3082.694
AT ITER 1737 NEW BEST:: SOT 16278 SOS 9695 HAS SOPS 3722 HAS SOUS 4176 HAS SOUPS 3068 WITH SCORE 3077.695
AT ITER 1775 NEW BEST:: SOT 16265 SOS 9616 HAS SOPS 3715 HAS SOUS 4144 HAS SOUPS 3052 WITH SCORE 3061.616
AT ITER 1777 NEW BEST:: SOT 16247 SOS 9595 HAS SOPS 3730 HAS SOUS 4142 HAS SOUPS 3050 WITH SCORE 3059.595
AT ITER 1778 NEW BEST:: SOT 16241 SOS 9535 HAS SOPS 3731 HAS SOUS 4132 HAS SOUPS 3047 WITH SCORE 3056.535
AT ITER 1813 NEW BEST:: SOT 16233 SOS 9533 HAS SOPS 3729 HAS SOUS 4116 HAS SOUPS 3031 WITH SCORE 3040.533
AT ITER 1839 NEW BEST:: SOT 16227 SOS 9529 HAS SOPS 3725 HAS SOUS 4110 HAS SOUPS 3025 WITH SCORE 3034.529
AT ITER 1853 NEW BEST:: SOT 16223 SOS 9558 HAS SOPS 3689 HAS SOUS 4139 HAS SOUPS 3020 WITH SCORE 3029.558
AT ITER 1871 NEW BEST:: SOT 16203 SOS 9534 HAS SOPS 3669 HAS SOUS 4119 HAS SOUPS 3000 WITH SCORE 3009.534
AT ITER 1873 NEW BEST:: SOT 16201 SOS 9532 HAS SOPS 3667 HAS SOUS 4117 HAS SOUPS 2998 WITH SCORE 3007.532
AT ITER 1874 NEW BEST:: SOT 16201 SOS 9530 HAS SOPS 3661 HAS SOUS 4115 HAS SOUPS 2996 WITH SCORE 3005.53
AT ITER 1880 NEW BEST:: SOT 16201 SOS 9502 HAS SOPS 3669 HAS SOUS 4096 HAS SOUPS 2995 WITH SCORE 3004.502
AT ITER 1883 NEW BEST:: SOT 16204 SOS 9482 HAS SOPS 3670 HAS SOUS 4086 HAS SOUPS 2992 WITH SCORE 3001.482
AT ITER 1890 NEW BEST:: SOT 16203 SOS 9517 HAS SOPS 3705 HAS SOUS 4085 HAS SOUPS 2991 WITH SCORE 3000.517
AT ITER 1891 NEW BEST:: SOT 16171 SOS 9477 HAS SOPS 3686 HAS SOUS 4082 HAS SOUPS 2988 WITH SCORE 2997.477
AT ITER 1909 NEW BEST:: SOT 16169 SOS 9473 HAS SOPS 3672 HAS SOUS 4068 HAS SOUPS 2974 WITH SCORE 2983.473
AT ITER 1921 NEW BEST:: SOT 16159 SOS 9458 HAS SOPS 3657 HAS SOUS 4056 HAS SOUPS 2962 WITH SCORE 2971.458
AT ITER 1931 NEW BEST:: SOT 16161 SOS 9456 HAS SOPS 3657 HAS SOUS 4056 HAS SOUPS 2962 WITH SCORE 2971.456
AT ITER 1942 NEW BEST:: SOT 16156 SOS 9470 HAS SOPS 3674 HAS SOUS 4047 HAS SOUPS 2953 WITH SCORE 2962.47
AT ITER 2110 NEW BEST:: SOT 16156 SOS 9470 HAS SOPS 3672 HAS SOUS 4044 HAS SOUPS 2950 WITH SCORE 2959.47
AT ITER 2133 NEW BEST:: SOT 16155 SOS 9486 HAS SOPS 3688 HAS SOUS 4042 HAS SOUPS 2948 WITH SCORE 2957.486
AT ITER 2151 NEW BEST:: SOT 16154 SOS 9486 HAS SOPS 3686 HAS SOUS 4042 HAS SOUPS 2946 WITH SCORE 2955.486
AT ITER 2168 NEW BEST:: SOT 16154 SOS 9486 HAS SOPS 3686 HAS SOUS 4038 HAS SOUPS 2942 WITH SCORE 2951.486
AT ITER 2230 NEW BEST:: SOT 16153 SOS 9484 HAS SOPS 3686 HAS SOUS 4038 HAS SOUPS 2942 WITH SCORE 2951.484
AT ITER 2238 NEW BEST:: SOT 16153 SOS 9481 HAS SOPS 3683 HAS SOUS 4038 HAS SOUPS 2942 WITH SCORE 2951.481
AT ITER 2321 NEW BEST:: SOT 16152 SOS 9484 HAS SOPS 3686 HAS SOUS 4036 HAS SOUPS 2940 WITH SCORE 2949.484
AT ITER 2329 NEW BEST:: SOT 16148 SOS 9480 HAS SOPS 3678 HAS SOUS 4028 HAS SOUPS 2932 WITH SCORE 2941.48
AT ITER 2358 NEW BEST:: SOT 16147 SOS 9500 HAS SOPS 3677 HAS SOUS 4028 HAS SOUPS 2930 WITH SCORE 2939.5
AT ITER 2380 NEW BEST:: SOT 16143 SOS 9487 HAS SOPS 3664 HAS SOUS 4020 HAS SOUPS 2922 WITH SCORE 2931.487
AT ITER 2399 NEW BEST:: SOT 16140 SOS 9484 HAS SOPS 3658 HAS SOUS 4020 HAS SOUPS 2922 WITH SCORE 2931.484
AT ITER 2432 NEW BEST:: SOT 16139 SOS 9486 HAS SOPS 3660 HAS SOUS 4018 HAS SOUPS 2920 WITH SCORE 2929.486
AT ITER 2437 NEW BEST:: SOT 16141 SOS 9482 HAS SOPS 3643 HAS SOUS 4014 HAS SOUPS 2909 WITH SCORE 2918.482
AT ITER 2441 NEW BEST:: SOT 16138 SOS 9473 HAS SOPS 3634 HAS SOUS 4011 HAS SOUPS 2906 WITH SCORE 2915.473
AT ITER 2447 NEW BEST:: SOT 16138 SOS 9462 HAS SOPS 3637 HAS SOUS 4005 HAS SOUPS 2906 WITH SCORE 2915.462
AT ITER 2448 NEW BEST:: SOT 16128 SOS 9452 HAS SOPS 3627 HAS SOUS 3995 HAS SOUPS 2896 WITH SCORE 2905.452
AT ITER 2470 NEW BEST:: SOT 16134 SOS 9460 HAS SOPS 3613 HAS SOUS 4000 HAS SOUPS 2892 WITH SCORE 2901.46
AT ITER 2483 NEW BEST:: SOT 16127 SOS 9448 HAS SOPS 3611 HAS SOUS 3998 HAS SOUPS 2890 WITH SCORE 2899.448
AT ITER 2505 NEW BEST:: SOT 16128 SOS 9447 HAS SOPS 3611 HAS SOUS 3998 HAS SOUPS 2890 WITH SCORE 2899.447
AT ITER 2549 NEW BEST:: SOT 16128 SOS 9446 HAS SOPS 3610 HAS SOUS 3997 HAS SOUPS 2889 WITH SCORE 2898.446
AT ITER 2586 NEW BEST:: SOT 16124 SOS 9158 HAS SOPS 3627 HAS SOUS 3984 HAS SOUPS 2887 WITH SCORE 2896.158
AT ITER 2598 NEW BEST:: SOT 16123 SOS 9156 HAS SOPS 3634 HAS SOUS 3978 HAS SOUPS 2885 WITH SCORE 2894.156
AT ITER 2607 NEW BEST:: SOT 16108 SOS 9141 HAS SOPS 3628 HAS SOUS 3969 HAS SOUPS 2879 WITH SCORE 2888.141
AT ITER 2619 NEW BEST:: SOT 16108 SOS 9127 HAS SOPS 3614 HAS SOUS 3969 HAS SOUPS 2879 WITH SCORE 2888.127
AT ITER 2653 NEW BEST:: SOT 16108 SOS 9127 HAS SOPS 3614 HAS SOUS 3968 HAS SOUPS 2878 WITH SCORE 2887.127
AT ITER 2689 NEW BEST:: SOT 16106 SOS 9122 HAS SOPS 3600 HAS SOUS 3961 HAS SOUPS 2871 WITH SCORE 2880.122
AT ITER 2706 NEW BEST:: SOT 16082 SOS 9142 HAS SOPS 3560 HAS SOUS 3979 HAS SOUPS 2863 WITH SCORE 2872.142
AT ITER 2731 NEW BEST:: SOT 16082 SOS 9140 HAS SOPS 3556 HAS SOUS 3976 HAS SOUPS 2860 WITH SCORE 2869.14
AT ITER 2777 NEW BEST:: SOT 16082 SOS 9132 HAS SOPS 3548 HAS SOUS 3972 HAS SOUPS 2856 WITH SCORE 2865.132
AT ITER 2815 NEW BEST:: SOT 16085 SOS 9136 HAS SOPS 3548 HAS SOUS 3970 HAS SOUPS 2854 WITH SCORE 2863.136
AT ITER 2818 NEW BEST:: SOT 16085 SOS 9139 HAS SOPS 3547 HAS SOUS 3971 HAS SOUPS 2853 WITH SCORE 2862.139
AT ITER 2857 NEW BEST:: SOT 16079 SOS 9119 HAS SOPS 3537 HAS SOUS 3961 HAS SOUPS 2843 WITH SCORE 2852.119
AT ITER 2859 NEW BEST:: SOT 16076 SOS 9116 HAS SOPS 3527 HAS SOUS 3943 HAS SOUPS 2825 WITH SCORE 2834.116
AT ITER 2880 NEW BEST:: SOT 16072 SOS 9214 HAS SOPS 3507 HAS SOUS 3983 HAS SOUPS 2817 WITH SCORE 2826.214
AT ITER 2882 NEW BEST:: SOT 16066 SOS 9196 HAS SOPS 3507 HAS SOUS 3983 HAS SOUPS 2817 WITH SCORE 2826.196
AT ITER 2893 NEW BEST:: SOT 16057 SOS 9188 HAS SOPS 3499 HAS SOUS 3979 HAS SOUPS 2813 WITH SCORE 2822.188
AT ITER 2907 NEW BEST:: SOT 16062 SOS 9187 HAS SOPS 3505 HAS SOUS 3971 HAS SOUPS 2811 WITH SCORE 2820.187
AT ITER 2915 NEW BEST:: SOT 16060 SOS 9189 HAS SOPS 3502 HAS SOUS 3971 HAS SOUPS 2809 WITH SCORE 2818.189
AT ITER 2929 NEW BEST:: SOT 16058 SOS 9211 HAS SOPS 3496 HAS SOUS 3980 HAS SOUPS 2804 WITH SCORE 2813.211
AT ITER 2974 NEW BEST:: SOT 16058 SOS 9211 HAS SOPS 3496 HAS SOUS 3979 HAS SOUPS 2803 WITH SCORE 2812.211
AT ITER 3039 NEW BEST:: SOT 16050 SOS 9212 HAS SOPS 3480 HAS SOUS 3963 HAS SOUPS 2787 WITH SCORE 2796.212
AT ITER 3040 NEW BEST:: SOT 16046 SOS 9202 HAS SOPS 3477 HAS SOUS 3956 HAS SOUPS 2784 WITH SCORE 2793.202
AT ITER 3057 NEW BEST:: SOT 16040 SOS 9196 HAS SOPS 3471 HAS SOUS 3954 HAS SOUPS 2782 WITH SCORE 2791.196
AT ITER 3155 NEW BEST:: SOT 16039 SOS 9198 HAS SOPS 3469 HAS SOUS 3949 HAS SOUPS 2777 WITH SCORE 2786.198
AT ITER 3160 NEW BEST:: SOT 16024 SOS 9195 HAS SOPS 3461 HAS SOUS 3939 HAS SOUPS 2767 WITH SCORE 2776.195
AT ITER 3232 NEW BEST:: SOT 16028 SOS 9193 HAS SOPS 3457 HAS SOUS 3937 HAS SOUPS 2763 WITH SCORE 2772.193
AT ITER 3304 NEW BEST:: SOT 16021 SOS 9423 HAS SOPS 3462 HAS SOUS 3942 HAS SOUPS 2759 WITH SCORE 2768.423
AT ITER 3306 NEW BEST:: SOT 16021 SOS 9411 HAS SOPS 3462 HAS SOUS 3945 HAS SOUPS 2759 WITH SCORE 2768.411
AT ITER 3308 NEW BEST:: SOT 16021 SOS 9412 HAS SOPS 3460 HAS SOUS 3946 HAS SOUPS 2757 WITH SCORE 2766.412
AT ITER 3313 NEW BEST:: SOT 16015 SOS 9411 HAS SOPS 3447 HAS SOUS 3941 HAS SOUPS 2748 WITH SCORE 2757.411
AT ITER 3323 NEW BEST:: SOT 16011 SOS 9407 HAS SOPS 3443 HAS SOUS 3937 HAS SOUPS 2744 WITH SCORE 2753.407
AT ITER 3350 NEW BEST:: SOT 16005 SOS 9401 HAS SOPS 3439 HAS SOUS 3933 HAS SOUPS 2740 WITH SCORE 2749.401
AT ITER 3377 NEW BEST:: SOT 15999 SOS 9380 HAS SOPS 3433 HAS SOUS 3926 HAS SOUPS 2739 WITH SCORE 2748.38
AT ITER 3402 NEW BEST:: SOT 15993 SOS 9374 HAS SOPS 3431 HAS SOUS 3924 HAS SOUPS 2737 WITH SCORE 2746.374
AT ITER 3443 NEW BEST:: SOT 15994 SOS 9423 HAS SOPS 3424 HAS SOUS 3923 HAS SOUPS 2734 WITH SCORE 2743.423
AT ITER 3521 NEW BEST:: SOT 15989 SOS 9413 HAS SOPS 3414 HAS SOUS 3913 HAS SOUPS 2724 WITH SCORE 2733.413
AT ITER 3542 NEW BEST:: SOT 15989 SOS 9411 HAS SOPS 3412 HAS SOUS 3913 HAS SOUPS 2724 WITH SCORE 2733.411
AT ITER 3568 NEW BEST:: SOT 15983 SOS 9399 HAS SOPS 3400 HAS SOUS 3907 HAS SOUPS 2718 WITH SCORE 2727.399
AT ITER 3576 NEW BEST:: SOT 15971 SOS 9387 HAS SOPS 3352 HAS SOUS 3895 HAS SOUPS 2694 WITH SCORE 2703.387
AT ITER 3655 NEW BEST:: SOT 15971 SOS 9383 HAS SOPS 3352 HAS SOUS 3895 HAS SOUPS 2694 WITH SCORE 2703.383
AT ITER 3716 NEW BEST:: SOT 15970 SOS 9381 HAS SOPS 3350 HAS SOUS 3893 HAS SOUPS 2692 WITH SCORE 2701.381
AT ITER 3741 NEW BEST:: SOT 15962 SOS 9373 HAS SOPS 3356 HAS SOUS 3885 HAS SOUPS 2686 WITH SCORE 2695.373
AT ITER 3860 NEW BEST:: SOT 15961 SOS 9371 HAS SOPS 3354 HAS SOUS 3883 HAS SOUPS 2684 WITH SCORE 2693.371
AT ITER 3874 NEW BEST:: SOT 15962 SOS 9370 HAS SOPS 3353 HAS SOUS 3882 HAS SOUPS 2683 WITH SCORE 2692.37
AT ITER 4017 NEW BEST:: SOT 15959 SOS 9368 HAS SOPS 3353 HAS SOUS 3880 HAS SOUPS 2683 WITH SCORE 2692.368
AT ITER 4035 NEW BEST:: SOT 15956 SOS 9362 HAS SOPS 3341 HAS SOUS 3880 HAS SOUPS 2683 WITH SCORE 2692.362
AT ITER 4196 NEW BEST:: SOT 15938 SOS 9344 HAS SOPS 3341 HAS SOUS 3877 HAS SOUPS 2683 WITH SCORE 2692.344
AT ITER 4238 NEW BEST:: SOT 15941 SOS 9357 HAS SOPS 3349 HAS SOUS 3873 HAS SOUPS 2679 WITH SCORE 2688.357
AT ITER 4290 NEW BEST:: SOT 15933 SOS 9341 HAS SOPS 3349 HAS SOUS 3873 HAS SOUPS 2679 WITH SCORE 2688.341
AT ITER 4385 NEW BEST:: SOT 15921 SOS 9317 HAS SOPS 3325 HAS SOUS 3849 HAS SOUPS 2655 WITH SCORE 2664.317
AT ITER 4394 NEW BEST:: SOT 15917 SOS 9313 HAS SOPS 3321 HAS SOUS 3845 HAS SOUPS 2651 WITH SCORE 2660.313
AT ITER 4400 NEW BEST:: SOT 15913 SOS 9324 HAS SOPS 3317 HAS SOUS 3850 HAS SOUPS 2650 WITH SCORE 2659.324
AT ITER 4509 NEW BEST:: SOT 15913 SOS 9308 HAS SOPS 3317 HAS SOUS 3850 HAS SOUPS 2649 WITH SCORE 2658.308
AT ITER 4578 NEW BEST:: SOT 15913 SOS 9288 HAS SOPS 3319 HAS SOUS 3840 HAS SOUPS 2647 WITH SCORE 2656.288
AT ITER 4671 NEW BEST:: SOT 15912 SOS 9286 HAS SOPS 3317 HAS SOUS 3838 HAS SOUPS 2645 WITH SCORE 2654.286
AT ITER 4684 NEW BEST:: SOT 15900 SOS 9275 HAS SOPS 3293 HAS SOUS 3814 HAS SOUPS 2621 WITH SCORE 2630.275
AT ITER 4686 NEW BEST:: SOT 15895 SOS 9245 HAS SOPS 3298 HAS SOUS 3804 HAS SOUPS 2621 WITH SCORE 2630.245
AT ITER 4878 NEW BEST:: SOT 15890 SOS 9240 HAS SOPS 3288 HAS SOUS 3799 HAS SOUPS 2616 WITH SCORE 2625.24
AT ITER 4939 NEW BEST:: SOT 15890 SOS 9239 HAS SOPS 3288 HAS SOUS 3799 HAS SOUPS 2616 WITH SCORE 2625.239
AT ITER 4973 NEW BEST:: SOT 15893 SOS 9237 HAS SOPS 3290 HAS SOUS 3795 HAS SOUPS 2616 WITH SCORE 2625.237
AT ITER 5403 NEW BEST:: SOT 15893 SOS 9241 HAS SOPS 3294 HAS SOUS 3794 HAS SOUPS 2615 WITH SCORE 2624.241
AT ITER 5472 NEW BEST:: SOT 15879 SOS 9227 HAS SOPS 3271 HAS SOUS 3788 HAS SOUPS 2609 WITH SCORE 2618.227
AT ITER 5536 NEW BEST:: SOT 15881 SOS 9229 HAS SOPS 3273 HAS SOUS 3785 HAS SOUPS 2606 WITH SCORE 2615.229
AT ITER 5552 NEW BEST:: SOT 15880 SOS 9230 HAS SOPS 3273 HAS SOUS 3786 HAS SOUPS 2605 WITH SCORE 2614.23
AT ITER 5568 NEW BEST:: SOT 15877 SOS 9224 HAS SOPS 3273 HAS SOUS 3786 HAS SOUPS 2605 WITH SCORE 2614.224
AT ITER 5696 NEW BEST:: SOT 15875 SOS 9222 HAS SOPS 3281 HAS SOUS 3785 HAS SOUPS 2604 WITH SCORE 2613.222
AT ITER 5701 NEW BEST:: SOT 15875 SOS 9212 HAS SOPS 3283 HAS SOUS 3781 HAS SOUPS 2604 WITH SCORE 2613.212
AT ITER 5856 NEW BEST:: SOT 15884 SOS 9224 HAS SOPS 3277 HAS SOUS 3778 HAS SOUPS 2598 WITH SCORE 2607.224
AT ITER 5876 NEW BEST:: SOT 15882 SOS 9226 HAS SOPS 3274 HAS SOUS 3778 HAS SOUPS 2596 WITH SCORE 2605.226
AT ITER 5883 NEW BEST:: SOT 15880 SOS 9229 HAS SOPS 3277 HAS SOUS 3777 HAS SOUPS 2595 WITH SCORE 2604.229
AT ITER 6071 NEW BEST:: SOT 15880 SOS 9232 HAS SOPS 3280 HAS SOUS 3776 HAS SOUPS 2594 WITH SCORE 2603.232
AT ITER 6119 NEW BEST:: SOT 15879 SOS 9230 HAS SOPS 3280 HAS SOUS 3776 HAS SOUPS 2594 WITH SCORE 2603.23
AT ITER 6152 NEW BEST:: SOT 15870 SOS 9221 HAS SOPS 3280 HAS SOUS 3776 HAS SOUPS 2594 WITH SCORE 2603.221
AT ITER 6216 NEW BEST:: SOT 15866 SOS 9215 HAS SOPS 3274 HAS SOUS 3770 HAS SOUPS 2588 WITH SCORE 2597.215
AT ITER 6299 NEW BEST:: SOT 15864 SOS 9212 HAS SOPS 3271 HAS SOUS 3767 HAS SOUPS 2585 WITH SCORE 2594.212
AT ITER 6320 NEW BEST:: SOT 15863 SOS 9216 HAS SOPS 3275 HAS SOUS 3765 HAS SOUPS 2583 WITH SCORE 2592.216
AT ITER 6329 NEW BEST:: SOT 15864 SOS 9214 HAS SOPS 3271 HAS SOUS 3761 HAS SOUPS 2579 WITH SCORE 2588.214
AT ITER 6342 NEW BEST:: SOT 15863 SOS 9214 HAS SOPS 3270 HAS SOUS 3760 HAS SOUPS 2578 WITH SCORE 2587.214
AT ITER 6358 NEW BEST:: SOT 15859 SOS 9206 HAS SOPS 3254 HAS SOUS 3760 HAS SOUPS 2578 WITH SCORE 2587.206
AT ITER 6377 NEW BEST:: SOT 15857 SOS 9203 HAS SOPS 3251 HAS SOUS 3760 HAS SOUPS 2578 WITH SCORE 2587.203
AT ITER 6386 NEW BEST:: SOT 15831 SOS 9164 HAS SOPS 3251 HAS SOUS 3755 HAS SOUPS 2578 WITH SCORE 2587.164
AT ITER 6403 NEW BEST:: SOT 15828 SOS 9101 HAS SOPS 3244 HAS SOUS 3752 HAS SOUPS 2577 WITH SCORE 2586.101
AT ITER 6460 NEW BEST:: SOT 15828 SOS 9100 HAS SOPS 3243 HAS SOUS 3752 HAS SOUPS 2577 WITH SCORE 2586.1
AT ITER 6570 NEW BEST:: SOT 15820 SOS 9092 HAS SOPS 3239 HAS SOUS 3752 HAS SOUPS 2577 WITH SCORE 2586.092
AT ITER 6593 NEW BEST:: SOT 15820 SOS 9096 HAS SOPS 3237 HAS SOUS 3754 HAS SOUPS 2575 WITH SCORE 2584.096
AT ITER 6611 NEW BEST:: SOT 15820 SOS 9096 HAS SOPS 3235 HAS SOUS 3755 HAS SOUPS 2573 WITH SCORE 2582.096
AT ITER 6624 NEW BEST:: SOT 15818 SOS 9094 HAS SOPS 3234 HAS SOUS 3754 HAS SOUPS 2572 WITH SCORE 2581.094
AT ITER 6776 NEW BEST:: SOT 15813 SOS 9093 HAS SOPS 3233 HAS SOUS 3748 HAS SOUPS 2566 WITH SCORE 2575.093
AT ITER 6858 NEW BEST:: SOT 15812 SOS 9091 HAS SOPS 3231 HAS SOUS 3746 HAS SOUPS 2564 WITH SCORE 2573.091
AT ITER 6888 NEW BEST:: SOT 15810 SOS 9090 HAS SOPS 3230 HAS SOUS 3744 HAS SOUPS 2562 WITH SCORE 2571.09
AT ITER 7062 NEW BEST:: SOT 15807 SOS 9088 HAS SOPS 3233 HAS SOUS 3744 HAS SOUPS 2562 WITH SCORE 2571.088
AT ITER 7079 NEW BEST:: SOT 15807 SOS 9086 HAS SOPS 3233 HAS SOUS 3744 HAS SOUPS 2562 WITH SCORE 2571.086
AT ITER 7163 NEW BEST:: SOT 15801 SOS 9080 HAS SOPS 3227 HAS SOUS 3738 HAS SOUPS 2556 WITH SCORE 2565.08
AT ITER 7165 NEW BEST:: SOT 15799 SOS 9080 HAS SOPS 3225 HAS SOUS 3736 HAS SOUPS 2554 WITH SCORE 2563.08
AT ITER 7166 NEW BEST:: SOT 15803 SOS 9081 HAS SOPS 3224 HAS SOUS 3735 HAS SOUPS 2553 WITH SCORE 2562.081
AT ITER 7320 NEW BEST:: SOT 15802 SOS 9079 HAS SOPS 3222 HAS SOUS 3734 HAS SOUPS 2552 WITH SCORE 2561.079
AT ITER 7367 NEW BEST:: SOT 15801 SOS 9077 HAS SOPS 3221 HAS SOUS 3733 HAS SOUPS 2551 WITH SCORE 2560.077
AT ITER 7378 NEW BEST:: SOT 15795 SOS 9071 HAS SOPS 3215 HAS SOUS 3728 HAS SOUPS 2546 WITH SCORE 2555.071
AT ITER 7408 NEW BEST:: SOT 15794 SOS 9071 HAS SOPS 3211 HAS SOUS 3724 HAS SOUPS 2542 WITH SCORE 2551.071
AT ITER 7684 NEW BEST:: SOT 15793 SOS 9072 HAS SOPS 3209 HAS SOUS 3724 HAS SOUPS 2540 WITH SCORE 2549.072
AT ITER 7906 NEW BEST:: SOT 15791 SOS 9068 HAS SOPS 3205 HAS SOUS 3726 HAS SOUPS 2540 WITH SCORE 2549.068
AT ITER 7923 NEW BEST:: SOT 15789 SOS 9064 HAS SOPS 3201 HAS SOUS 3722 HAS SOUPS 2536 WITH SCORE 2545.064
AT ITER 7974 NEW BEST:: SOT 15784 SOS 9059 HAS SOPS 3196 HAS SOUS 3717 HAS SOUPS 2531 WITH SCORE 2540.059
AT ITER 8214 NEW BEST:: SOT 15784 SOS 9033 HAS SOPS 3198 HAS SOUS 3702 HAS SOUPS 2530 WITH SCORE 2539.033
AT ITER 8389 NEW BEST:: SOT 15790 SOS 9039 HAS SOPS 3200 HAS SOUS 3700 HAS SOUPS 2528 WITH SCORE 2537.039
AT ITER 8494 NEW BEST:: SOT 15789 SOS 9005 HAS SOPS 3191 HAS SOUS 3698 HAS SOUPS 2527 WITH SCORE 2536.005
AT ITER 8508 NEW BEST:: SOT 15789 SOS 9007 HAS SOPS 3191 HAS SOUS 3696 HAS SOUPS 2525 WITH SCORE 2534.007
AT ITER 8589 NEW BEST:: SOT 15788 SOS 9008 HAS SOPS 3192 HAS SOUS 3695 HAS SOUPS 2524 WITH SCORE 2533.008
AT ITER 8610 NEW BEST:: SOT 15786 SOS 9004 HAS SOPS 3192 HAS SOUS 3695 HAS SOUPS 2524 WITH SCORE 2533.004
AT ITER 8654 NEW BEST:: SOT 15779 SOS 8996 HAS SOPS 3184 HAS SOUS 3689 HAS SOUPS 2518 WITH SCORE 2526.996
AT ITER 8846 NEW BEST:: SOT 15780 SOS 8995 HAS SOPS 3183 HAS SOUS 3688 HAS SOUPS 2517 WITH SCORE 2525.995
AT ITER 8856 NEW BEST:: SOT 15779 SOS 9000 HAS SOPS 3182 HAS SOUS 3691 HAS SOUPS 2516 WITH SCORE 2525.0
AT ITER 8919 NEW BEST:: SOT 15759 SOS 8980 HAS SOPS 3178 HAS SOUS 3713 HAS SOUPS 2512 WITH SCORE 2520.98
AT ITER 8937 NEW BEST:: SOT 15762 SOS 8978 HAS SOPS 3166 HAS SOUS 3711 HAS SOUPS 2510 WITH SCORE 2518.978
AT ITER 8985 NEW BEST:: SOT 15767 SOS 9018 HAS SOPS 3155 HAS SOUS 3721 HAS SOUPS 2506 WITH SCORE 2515.018
AT ITER 9081 NEW BEST:: SOT 15764 SOS 9085 HAS SOPS 3139 HAS SOUS 3761 HAS SOUPS 2502 WITH SCORE 2511.085
AT ITER 9110 NEW BEST:: SOT 15761 SOS 9080 HAS SOPS 3137 HAS SOUS 3763 HAS SOUPS 2500 WITH SCORE 2509.08
AT ITER 9115 NEW BEST:: SOT 15758 SOS 9077 HAS SOPS 3141 HAS SOUS 3762 HAS SOUPS 2499 WITH SCORE 2508.077
AT ITER 9152 NEW BEST:: SOT 15756 SOS 9077 HAS SOPS 3139 HAS SOUS 3760 HAS SOUPS 2497 WITH SCORE 2506.077
AT ITER 9186 NEW BEST:: SOT 15717 SOS 9032 HAS SOPS 3096 HAS SOUS 3739 HAS SOUPS 2462 WITH SCORE 2471.032
AT ITER 9206 NEW BEST:: SOT 15717 SOS 9000 HAS SOPS 3089 HAS SOUS 3738 HAS SOUPS 2462 WITH SCORE 2471.0
AT ITER 9303 NEW BEST:: SOT 15714 SOS 8972 HAS SOPS 3080 HAS SOUS 3736 HAS SOUPS 2460 WITH SCORE 2468.972
AT ITER 9467 NEW BEST:: SOT 15714 SOS 8951 HAS SOPS 3079 HAS SOUS 3728 HAS SOUPS 2458 WITH SCORE 2466.951
AT ITER 9592 NEW BEST:: SOT 15735 SOS 8984 HAS SOPS 3075 HAS SOUS 3726 HAS SOUPS 2454 WITH SCORE 2462.984
AT ITER 9656 NEW BEST:: SOT 15735 SOS 8976 HAS SOPS 3077 HAS SOUS 3721 HAS SOUPS 2453 WITH SCORE 2461.976
AT ITER 9775 NEW BEST:: SOT 15735 SOS 8977 HAS SOPS 3076 HAS SOUS 3720 HAS SOUPS 2452 WITH SCORE 2460.977
AT ITER 9908 NEW BEST:: SOT 15733 SOS 8975 HAS SOPS 3072 HAS SOUS 3715 HAS SOUPS 2447 WITH SCORE 2455.975
STATE_SPACE STATES 31265 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 93795 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679879755508

--------------------
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="EisenbergMcGuire-PT-03"
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 EisenbergMcGuire-PT-03, 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 r515-tall-167987242200224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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