Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910500627.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SimpleLoadBal-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910500627
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.6K Apr 12 17:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 17:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 20:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 20:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 30 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 30 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 20:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 20:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 24 05:38 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-00
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-01
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-02
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-03
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-04
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-05
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-06
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-07
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-08
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-09
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-10
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-11
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-12
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-13
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-14
FORMULA_NAME SimpleLoadBal-PT-20-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589747455991

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 20
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 194 places, 2205 transitions, 15678 arcs.
AT ITER 0 NEW BEST:: SOT 413187 SOS 262429 HAS SOPS 250665 HAS SOUS 169355 HAS SOUPS 169025 WITH SCORE 169287.429
AT ITER 1 NEW BEST:: SOT 413175 SOS 262417 HAS SOPS 250653 HAS SOUS 169343 HAS SOUPS 169013 WITH SCORE 169275.417
AT ITER 7 NEW BEST:: SOT 413093 SOS 261723 HAS SOPS 250618 HAS SOUS 169247 HAS SOUPS 168934 WITH SCORE 169195.723
AT ITER 11 NEW BEST:: SOT 413070 SOS 261677 HAS SOPS 250572 HAS SOUS 169001 HAS SOUPS 168688 WITH SCORE 168949.677
AT ITER 18 NEW BEST:: SOT 413034 SOS 261641 HAS SOPS 250536 HAS SOUS 168965 HAS SOUPS 168652 WITH SCORE 168913.641
AT ITER 20 NEW BEST:: SOT 413038 SOS 268887 HAS SOPS 255895 HAS SOUS 169001 HAS SOUPS 168644 WITH SCORE 168912.887
AT ITER 22 NEW BEST:: SOT 412943 SOS 270441 HAS SOPS 257665 HAS SOUS 168857 HAS SOUPS 168500 WITH SCORE 168770.441
AT ITER 29 NEW BEST:: SOT 413019 SOS 270631 HAS SOPS 257855 HAS SOUS 168811 HAS SOUPS 168454 WITH SCORE 168724.631
AT ITER 36 NEW BEST:: SOT 413004 SOS 270616 HAS SOPS 257840 HAS SOUS 168647 HAS SOUPS 168290 WITH SCORE 168560.616
AT ITER 38 NEW BEST:: SOT 413004 SOS 270616 HAS SOPS 257840 HAS SOUS 168611 HAS SOUPS 168254 WITH SCORE 168524.616
AT ITER 39 NEW BEST:: SOT 413004 SOS 270643 HAS SOPS 257867 HAS SOUS 167156 HAS SOUPS 166799 WITH SCORE 167069.643
AT ITER 40 NEW BEST:: SOT 412984 SOS 270603 HAS SOPS 257827 HAS SOUS 167116 HAS SOUPS 166759 WITH SCORE 167029.603
AT ITER 50 NEW BEST:: SOT 412981 SOS 270673 HAS SOPS 257897 HAS SOUS 167002 HAS SOUPS 166645 WITH SCORE 166915.673
AT ITER 51 NEW BEST:: SOT 412981 SOS 270673 HAS SOPS 257897 HAS SOUS 166968 HAS SOUPS 166611 WITH SCORE 166881.673
AT ITER 54 NEW BEST:: SOT 412981 SOS 270645 HAS SOPS 257869 HAS SOUS 166940 HAS SOUPS 166583 WITH SCORE 166853.645
AT ITER 55 NEW BEST:: SOT 412921 SOS 270557 HAS SOPS 257781 HAS SOUS 166472 HAS SOUPS 166115 WITH SCORE 166385.557
AT ITER 57 NEW BEST:: SOT 411563 SOS 269220 HAS SOPS 256444 HAS SOUS 164853 HAS SOUPS 164496 WITH SCORE 164765.22
AT ITER 64 NEW BEST:: SOT 411566 SOS 269208 HAS SOPS 256432 HAS SOUS 164841 HAS SOUPS 164484 WITH SCORE 164753.208
AT ITER 65 NEW BEST:: SOT 411543 SOS 267937 HAS SOPS 254569 HAS SOUS 163083 HAS SOUPS 162648 WITH SCORE 162915.937
AT ITER 66 NEW BEST:: SOT 411512 SOS 267890 HAS SOPS 254522 HAS SOUS 163067 HAS SOUPS 162632 WITH SCORE 162899.89
AT ITER 67 NEW BEST:: SOT 411523 SOS 267912 HAS SOPS 254555 HAS SOUS 162462 HAS SOUPS 162027 WITH SCORE 162294.912
AT ITER 68 NEW BEST:: SOT 336886 SOS 288577 HAS SOPS 287964 HAS SOUS 87955 HAS SOUPS 87915 WITH SCORE 88203.577
AT ITER 77 NEW BEST:: SOT 336744 SOS 288435 HAS SOPS 287822 HAS SOUS 87907 HAS SOUPS 87867 WITH SCORE 88155.435
AT ITER 82 NEW BEST:: SOT 336753 SOS 288444 HAS SOPS 287831 HAS SOUS 87841 HAS SOUPS 87801 WITH SCORE 88089.444
AT ITER 83 NEW BEST:: SOT 337835 SOS 289572 HAS SOPS 288959 HAS SOUS 87383 HAS SOUPS 87343 WITH SCORE 87632.572
AT ITER 101 NEW BEST:: SOT 337597 SOS 289334 HAS SOPS 288721 HAS SOUS 86788 HAS SOUPS 86748 WITH SCORE 87037.334
AT ITER 104 NEW BEST:: SOT 336964 SOS 288701 HAS SOPS 288088 HAS SOUS 85091 HAS SOUPS 85051 WITH SCORE 85339.701
AT ITER 115 NEW BEST:: SOT 336258 SOS 287995 HAS SOPS 287382 HAS SOUS 83191 HAS SOUPS 83151 WITH SCORE 83438.995
AT ITER 123 NEW BEST:: SOT 336243 SOS 287965 HAS SOPS 287352 HAS SOUS 83161 HAS SOUPS 83121 WITH SCORE 83408.965
AT ITER 128 NEW BEST:: SOT 336194 SOS 287895 HAS SOPS 287282 HAS SOUS 83091 HAS SOUPS 83051 WITH SCORE 83338.895
AT ITER 132 NEW BEST:: SOT 336276 SOS 287977 HAS SOPS 287364 HAS SOUS 82869 HAS SOUPS 82829 WITH SCORE 83116.977
AT ITER 137 NEW BEST:: SOT 336248 SOS 287949 HAS SOPS 287336 HAS SOUS 81637 HAS SOUPS 81597 WITH SCORE 81884.949
AT ITER 142 NEW BEST:: SOT 336192 SOS 234812 HAS SOPS 232995 HAS SOUS 81441 HAS SOUPS 81373 WITH SCORE 81607.812
AT ITER 150 NEW BEST:: SOT 336181 SOS 234804 HAS SOPS 232987 HAS SOUS 81434 HAS SOUPS 81366 WITH SCORE 81600.804
AT ITER 153 NEW BEST:: SOT 336181 SOS 234800 HAS SOPS 232983 HAS SOUS 81430 HAS SOUPS 81362 WITH SCORE 81596.8
AT ITER 163 NEW BEST:: SOT 336178 SOS 234779 HAS SOPS 232962 HAS SOUS 81409 HAS SOUPS 81341 WITH SCORE 81575.779
AT ITER 168 NEW BEST:: SOT 337937 SOS 236538 HAS SOPS 234721 HAS SOUS 80829 HAS SOUPS 80761 WITH SCORE 80997.538
AT ITER 169 NEW BEST:: SOT 337937 SOS 236540 HAS SOPS 234723 HAS SOUS 80823 HAS SOUPS 80755 WITH SCORE 80991.54
AT ITER 178 NEW BEST:: SOT 337457 SOS 236060 HAS SOPS 234243 HAS SOUS 79773 HAS SOUPS 79705 WITH SCORE 79941.06
AT ITER 185 NEW BEST:: SOT 337457 SOS 236060 HAS SOPS 234243 HAS SOUS 79769 HAS SOUPS 79701 WITH SCORE 79937.06
AT ITER 195 NEW BEST:: SOT 336937 SOS 235540 HAS SOPS 233723 HAS SOUS 78352 HAS SOUPS 78284 WITH SCORE 78519.54
AT ITER 196 NEW BEST:: SOT 336009 SOS 234612 HAS SOPS 232795 HAS SOUS 76293 HAS SOUPS 76225 WITH SCORE 76459.612
AT ITER 212 NEW BEST:: SOT 336031 SOS 234667 HAS SOPS 232850 HAS SOUS 76280 HAS SOUPS 76212 WITH SCORE 76446.667
AT ITER 220 NEW BEST:: SOT 336031 SOS 234655 HAS SOPS 232838 HAS SOUS 76208 HAS SOUPS 76140 WITH SCORE 76374.655
AT ITER 223 NEW BEST:: SOT 336020 SOS 234644 HAS SOPS 232827 HAS SOUS 75548 HAS SOUPS 75480 WITH SCORE 75714.644
AT ITER 227 NEW BEST:: SOT 335859 SOS 234483 HAS SOPS 232666 HAS SOUS 75107 HAS SOUPS 75039 WITH SCORE 75273.483
AT ITER 232 NEW BEST:: SOT 335848 SOS 234478 HAS SOPS 232661 HAS SOUS 75066 HAS SOUPS 74998 WITH SCORE 75232.478
AT ITER 240 NEW BEST:: SOT 335864 SOS 234494 HAS SOPS 232677 HAS SOUS 75057 HAS SOUPS 74989 WITH SCORE 75223.494
AT ITER 251 NEW BEST:: SOT 335620 SOS 234250 HAS SOPS 232433 HAS SOUS 74056 HAS SOUPS 73988 WITH SCORE 74222.25
AT ITER 253 NEW BEST:: SOT 335614 SOS 234238 HAS SOPS 232421 HAS SOUS 74044 HAS SOUPS 73976 WITH SCORE 74210.238
AT ITER 263 NEW BEST:: SOT 335597 SOS 234227 HAS SOPS 232410 HAS SOUS 73878 HAS SOUPS 73810 WITH SCORE 74044.227
AT ITER 272 NEW BEST:: SOT 335589 SOS 234219 HAS SOPS 232402 HAS SOUS 73862 HAS SOUPS 73794 WITH SCORE 74028.219
AT ITER 273 NEW BEST:: SOT 335576 SOS 234202 HAS SOPS 232385 HAS SOUS 73845 HAS SOUPS 73777 WITH SCORE 74011.202
AT ITER 283 NEW BEST:: SOT 334328 SOS 232954 HAS SOPS 231137 HAS SOUS 70226 HAS SOUPS 70158 WITH SCORE 70390.954
AT ITER 286 NEW BEST:: SOT 334360 SOS 233013 HAS SOPS 231196 HAS SOUS 70142 HAS SOUPS 70074 WITH SCORE 70307.013
AT ITER 295 NEW BEST:: SOT 334795 SOS 233448 HAS SOPS 231631 HAS SOUS 70038 HAS SOUPS 69970 WITH SCORE 70203.448
AT ITER 302 NEW BEST:: SOT 334415 SOS 233068 HAS SOPS 231251 HAS SOUS 68607 HAS SOUPS 68539 WITH SCORE 68772.068
AT ITER 310 NEW BEST:: SOT 332460 SOS 231113 HAS SOPS 229296 HAS SOUS 66900 HAS SOUPS 66832 WITH SCORE 67063.113
AT ITER 314 NEW BEST:: SOT 332457 SOS 231110 HAS SOPS 229293 HAS SOUS 66897 HAS SOUPS 66829 WITH SCORE 67060.11
AT ITER 315 NEW BEST:: SOT 332473 SOS 233168 HAS SOPS 231878 HAS SOUS 66759 HAS SOUPS 66729 WITH SCORE 66962.168
AT ITER 320 NEW BEST:: SOT 332471 SOS 233162 HAS SOPS 231872 HAS SOUS 66745 HAS SOUPS 66715 WITH SCORE 66948.162
AT ITER 322 NEW BEST:: SOT 331092 SOS 231783 HAS SOPS 230493 HAS SOUS 66204 HAS SOUPS 66174 WITH SCORE 66405.783
AT ITER 326 NEW BEST:: SOT 330999 SOS 231693 HAS SOPS 230403 HAS SOUS 66025 HAS SOUPS 65995 WITH SCORE 66226.693
AT ITER 328 NEW BEST:: SOT 330995 SOS 231727 HAS SOPS 230437 HAS SOUS 65975 HAS SOUPS 65945 WITH SCORE 66176.727
AT ITER 339 NEW BEST:: SOT 330919 SOS 231651 HAS SOPS 230361 HAS SOUS 65779 HAS SOUPS 65749 WITH SCORE 65980.651
AT ITER 373 NEW BEST:: SOT 330912 SOS 231641 HAS SOPS 230351 HAS SOUS 65765 HAS SOUPS 65735 WITH SCORE 65966.641
AT ITER 377 NEW BEST:: SOT 330840 SOS 231569 HAS SOPS 230279 HAS SOUS 65507 HAS SOUPS 65477 WITH SCORE 65708.569
AT ITER 387 NEW BEST:: SOT 330829 SOS 231609 HAS SOPS 230319 HAS SOUS 65471 HAS SOUPS 65441 WITH SCORE 65672.609
AT ITER 401 NEW BEST:: SOT 330466 SOS 231246 HAS SOPS 229956 HAS SOUS 63536 HAS SOUPS 63506 WITH SCORE 63737.246
AT ITER 403 NEW BEST:: SOT 330250 SOS 231030 HAS SOPS 229740 HAS SOUS 62636 HAS SOUPS 62606 WITH SCORE 62837.03
AT ITER 407 NEW BEST:: SOT 330254 SOS 231064 HAS SOPS 229774 HAS SOUS 62602 HAS SOUPS 62572 WITH SCORE 62803.064
AT ITER 412 NEW BEST:: SOT 330140 SOS 230919 HAS SOPS 229629 HAS SOUS 62536 HAS SOUPS 62506 WITH SCORE 62736.919
AT ITER 417 NEW BEST:: SOT 330139 SOS 230918 HAS SOPS 229628 HAS SOUS 62533 HAS SOUPS 62503 WITH SCORE 62733.918
AT ITER 424 NEW BEST:: SOT 330140 SOS 230900 HAS SOPS 229610 HAS SOUS 62515 HAS SOUPS 62485 WITH SCORE 62715.9
AT ITER 432 NEW BEST:: SOT 330136 SOS 230892 HAS SOPS 229602 HAS SOUS 62507 HAS SOUPS 62477 WITH SCORE 62707.892
AT ITER 448 NEW BEST:: SOT 330134 SOS 230890 HAS SOPS 229600 HAS SOUS 62502 HAS SOUPS 62472 WITH SCORE 62702.89
AT ITER 461 NEW BEST:: SOT 330080 SOS 230836 HAS SOPS 229546 HAS SOUS 61858 HAS SOUPS 61828 WITH SCORE 62058.836
AT ITER 462 NEW BEST:: SOT 329870 SOS 230626 HAS SOPS 229336 HAS SOUS 61411 HAS SOUPS 61381 WITH SCORE 61611.626
AT ITER 463 NEW BEST:: SOT 329878 SOS 230690 HAS SOPS 229400 HAS SOUS 61387 HAS SOUPS 61357 WITH SCORE 61587.69
AT ITER 472 NEW BEST:: SOT 329874 SOS 230686 HAS SOPS 229396 HAS SOUS 61377 HAS SOUPS 61347 WITH SCORE 61577.686
AT ITER 482 NEW BEST:: SOT 329876 SOS 230688 HAS SOPS 229398 HAS SOUS 61368 HAS SOUPS 61338 WITH SCORE 61568.688
AT ITER 483 NEW BEST:: SOT 325408 SOS 226206 HAS SOPS 224916 HAS SOUS 58227 HAS SOUPS 58197 WITH SCORE 58423.206
AT ITER 484 NEW BEST:: SOT 325397 SOS 226166 HAS SOPS 224876 HAS SOUS 58187 HAS SOUPS 58157 WITH SCORE 58383.166
AT ITER 491 NEW BEST:: SOT 325388 SOS 226157 HAS SOPS 224867 HAS SOUS 58169 HAS SOUPS 58139 WITH SCORE 58365.157
AT ITER 511 NEW BEST:: SOT 325374 SOS 221270 HAS SOPS 221270 HAS SOUS 58015 HAS SOUPS 58015 WITH SCORE 58236.27
AT ITER 530 NEW BEST:: SOT 325354 SOS 221250 HAS SOPS 221250 HAS SOUS 57895 HAS SOUPS 57895 WITH SCORE 58116.25
AT ITER 544 NEW BEST:: SOT 325354 SOS 221249 HAS SOPS 221249 HAS SOUS 57894 HAS SOUPS 57894 WITH SCORE 58115.249
AT ITER 545 NEW BEST:: SOT 325430 SOS 221325 HAS SOPS 221325 HAS SOUS 57762 HAS SOUPS 57762 WITH SCORE 57983.325
AT ITER 554 NEW BEST:: SOT 325430 SOS 221312 HAS SOPS 221312 HAS SOUS 57749 HAS SOUPS 57749 WITH SCORE 57970.312
AT ITER 559 NEW BEST:: SOT 325392 SOS 221274 HAS SOPS 221274 HAS SOUS 57671 HAS SOUPS 57671 WITH SCORE 57892.274
AT ITER 572 NEW BEST:: SOT 325078 SOS 220960 HAS SOPS 220960 HAS SOUS 57011 HAS SOUPS 57011 WITH SCORE 57231.96
AT ITER 581 NEW BEST:: SOT 325085 SOS 220946 HAS SOPS 220946 HAS SOUS 56997 HAS SOUPS 56997 WITH SCORE 57217.946
AT ITER 584 NEW BEST:: SOT 325085 SOS 220946 HAS SOPS 220946 HAS SOUS 56996 HAS SOUPS 56996 WITH SCORE 57216.946
AT ITER 594 NEW BEST:: SOT 324551 SOS 220412 HAS SOPS 220412 HAS SOUS 55866 HAS SOUPS 55866 WITH SCORE 56086.412
AT ITER 605 NEW BEST:: SOT 324451 SOS 220312 HAS SOPS 220312 HAS SOUS 55766 HAS SOUPS 55766 WITH SCORE 55986.312
AT ITER 618 NEW BEST:: SOT 324573 SOS 220441 HAS SOPS 220441 HAS SOUS 55655 HAS SOUPS 55655 WITH SCORE 55875.441
AT ITER 627 NEW BEST:: SOT 324567 SOS 220435 HAS SOPS 220435 HAS SOUS 55643 HAS SOUPS 55643 WITH SCORE 55863.435
AT ITER 669 NEW BEST:: SOT 324057 SOS 219925 HAS SOPS 219925 HAS SOUS 55133 HAS SOUPS 55133 WITH SCORE 55352.925
AT ITER 684 NEW BEST:: SOT 324016 SOS 219884 HAS SOPS 219884 HAS SOUS 55092 HAS SOUPS 55092 WITH SCORE 55311.884
AT ITER 702 NEW BEST:: SOT 323854 SOS 219722 HAS SOPS 219722 HAS SOUS 54750 HAS SOUPS 54750 WITH SCORE 54969.722
AT ITER 704 NEW BEST:: SOT 323752 SOS 219620 HAS SOPS 219620 HAS SOUS 54534 HAS SOUPS 54534 WITH SCORE 54753.62
AT ITER 719 NEW BEST:: SOT 323752 SOS 219622 HAS SOPS 219622 HAS SOUS 54532 HAS SOUPS 54532 WITH SCORE 54751.622
AT ITER 720 NEW BEST:: SOT 323752 SOS 219615 HAS SOPS 219615 HAS SOUS 54483 HAS SOUPS 54483 WITH SCORE 54702.615
AT ITER 725 NEW BEST:: SOT 323752 SOS 219615 HAS SOPS 219615 HAS SOUS 54123 HAS SOUPS 54123 WITH SCORE 54342.615
AT ITER 758 NEW BEST:: SOT 322953 SOS 218816 HAS SOPS 218816 HAS SOUS 52818 HAS SOUPS 52818 WITH SCORE 53036.816
AT ITER 774 NEW BEST:: SOT 323829 SOS 219692 HAS SOPS 219692 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52941.692
AT ITER 784 NEW BEST:: SOT 324322 SOS 220185 HAS SOPS 220185 HAS SOUS 52707 HAS SOUPS 52707 WITH SCORE 52927.185
AT ITER 790 NEW BEST:: SOT 324250 SOS 220113 HAS SOPS 220113 HAS SOUS 52677 HAS SOUPS 52677 WITH SCORE 52897.113
AT ITER 812 NEW BEST:: SOT 324056 SOS 219919 HAS SOPS 219919 HAS SOUS 52349 HAS SOUPS 52349 WITH SCORE 52568.919
AT ITER 816 NEW BEST:: SOT 324056 SOS 219914 HAS SOPS 219914 HAS SOUS 52344 HAS SOUPS 52344 WITH SCORE 52563.914
AT ITER 820 NEW BEST:: SOT 323776 SOS 219634 HAS SOPS 219634 HAS SOUS 51504 HAS SOUPS 51504 WITH SCORE 51723.634
AT ITER 821 NEW BEST:: SOT 323776 SOS 219662 HAS SOPS 219662 HAS SOUS 51476 HAS SOUPS 51476 WITH SCORE 51695.662
AT ITER 824 NEW BEST:: SOT 323051 SOS 218937 HAS SOPS 218937 HAS SOUS 49902 HAS SOUPS 49902 WITH SCORE 50120.937
AT ITER 841 NEW BEST:: SOT 323058 SOS 218987 HAS SOPS 218987 HAS SOUS 49900 HAS SOUPS 49900 WITH SCORE 50118.987
AT ITER 862 NEW BEST:: SOT 322579 SOS 218500 HAS SOPS 218500 HAS SOUS 49356 HAS SOUPS 49356 WITH SCORE 49574.5
AT ITER 868 NEW BEST:: SOT 322550 SOS 218487 HAS SOPS 218487 HAS SOUS 49350 HAS SOUPS 49350 WITH SCORE 49568.487
AT ITER 874 NEW BEST:: SOT 322548 SOS 218481 HAS SOPS 218481 HAS SOUS 49344 HAS SOUPS 49344 WITH SCORE 49562.481
AT ITER 880 NEW BEST:: SOT 322548 SOS 218483 HAS SOPS 218483 HAS SOUS 49342 HAS SOUPS 49342 WITH SCORE 49560.483
AT ITER 882 NEW BEST:: SOT 322565 SOS 218542 HAS SOPS 218542 HAS SOUS 49331 HAS SOUPS 49331 WITH SCORE 49549.542
AT ITER 885 NEW BEST:: SOT 321372 SOS 217324 HAS SOPS 217324 HAS SOUS 48345 HAS SOUPS 48345 WITH SCORE 48562.324
AT ITER 911 NEW BEST:: SOT 321140 SOS 217092 HAS SOPS 217092 HAS SOUS 47865 HAS SOUPS 47865 WITH SCORE 48082.092
AT ITER 912 NEW BEST:: SOT 321140 SOS 217092 HAS SOPS 217092 HAS SOUS 47857 HAS SOUPS 47857 WITH SCORE 48074.092
AT ITER 919 NEW BEST:: SOT 321129 SOS 217079 HAS SOPS 217079 HAS SOUS 47844 HAS SOUPS 47844 WITH SCORE 48061.079
AT ITER 926 NEW BEST:: SOT 321029 SOS 216979 HAS SOPS 216979 HAS SOUS 47624 HAS SOUPS 47624 WITH SCORE 47840.979
AT ITER 932 NEW BEST:: SOT 321024 SOS 216974 HAS SOPS 216974 HAS SOUS 47622 HAS SOUPS 47622 WITH SCORE 47838.974
AT ITER 955 NEW BEST:: SOT 321144 SOS 217094 HAS SOPS 217094 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47679.094
AT ITER 962 NEW BEST:: SOT 321086 SOS 217036 HAS SOPS 217036 HAS SOUS 47404 HAS SOUPS 47404 WITH SCORE 47621.036
AT ITER 1028 NEW BEST:: SOT 321084 SOS 217034 HAS SOPS 217034 HAS SOUS 47396 HAS SOUPS 47396 WITH SCORE 47613.034
AT ITER 1062 NEW BEST:: SOT 321084 SOS 217020 HAS SOPS 217020 HAS SOUS 47382 HAS SOUPS 47382 WITH SCORE 47599.02
AT ITER 1084 NEW BEST:: SOT 320562 SOS 216498 HAS SOPS 216498 HAS SOUS 46338 HAS SOUPS 46338 WITH SCORE 46554.498
AT ITER 1086 NEW BEST:: SOT 320562 SOS 216441 HAS SOPS 216441 HAS SOUS 46338 HAS SOUPS 46338 WITH SCORE 46554.441
AT ITER 1087 NEW BEST:: SOT 320558 SOS 216442 HAS SOPS 216442 HAS SOUS 46263 HAS SOUPS 46263 WITH SCORE 46479.442
AT ITER 1090 NEW BEST:: SOT 322242 SOS 218126 HAS SOPS 218126 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46258.126
AT ITER 1099 NEW BEST:: SOT 322242 SOS 218088 HAS SOPS 218088 HAS SOUS 46002 HAS SOUPS 46002 WITH SCORE 46220.088
AT ITER 1109 NEW BEST:: SOT 322242 SOS 218081 HAS SOPS 218081 HAS SOUS 45995 HAS SOUPS 45995 WITH SCORE 46213.081
AT ITER 1117 NEW BEST:: SOT 322236 SOS 218075 HAS SOPS 218075 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46201.075
AT ITER 1127 NEW BEST:: SOT 319879 SOS 215718 HAS SOPS 215718 HAS SOUS 44293 HAS SOUPS 44293 WITH SCORE 44508.718
AT ITER 1167 NEW BEST:: SOT 319877 SOS 215699 HAS SOPS 215699 HAS SOUS 44274 HAS SOUPS 44274 WITH SCORE 44489.699
AT ITER 1168 NEW BEST:: SOT 319908 SOS 215730 HAS SOPS 215730 HAS SOUS 44155 HAS SOUPS 44155 WITH SCORE 44370.73
AT ITER 1188 NEW BEST:: SOT 319782 SOS 215635 HAS SOPS 215635 HAS SOUS 44060 HAS SOUPS 44060 WITH SCORE 44275.635
AT ITER 1201 NEW BEST:: SOT 319782 SOS 215627 HAS SOPS 215627 HAS SOUS 44052 HAS SOUPS 44052 WITH SCORE 44267.627
AT ITER 1222 NEW BEST:: SOT 319770 SOS 215584 HAS SOPS 215584 HAS SOUS 44009 HAS SOUPS 44009 WITH SCORE 44224.584
AT ITER 1237 NEW BEST:: SOT 319756 SOS 215570 HAS SOPS 215570 HAS SOUS 43983 HAS SOUPS 43983 WITH SCORE 44198.57
AT ITER 1242 NEW BEST:: SOT 319288 SOS 215102 HAS SOPS 215102 HAS SOUS 43155 HAS SOUPS 43155 WITH SCORE 43370.102
AT ITER 1249 NEW BEST:: SOT 319284 SOS 215098 HAS SOPS 215098 HAS SOUS 43147 HAS SOUPS 43147 WITH SCORE 43362.098
AT ITER 1259 NEW BEST:: SOT 319169 SOS 214869 HAS SOPS 214869 HAS SOUS 43131 HAS SOUPS 43131 WITH SCORE 43345.869
AT ITER 1262 NEW BEST:: SOT 318579 SOS 214279 HAS SOPS 214279 HAS SOUS 42131 HAS SOUPS 42131 WITH SCORE 42345.279
AT ITER 1272 NEW BEST:: SOT 318579 SOS 214276 HAS SOPS 214276 HAS SOUS 42128 HAS SOUPS 42128 WITH SCORE 42342.276
AT ITER 1293 NEW BEST:: SOT 318532 SOS 214104 HAS SOPS 214104 HAS SOUS 42035 HAS SOUPS 42035 WITH SCORE 42249.104
AT ITER 1296 NEW BEST:: SOT 318142 SOS 213714 HAS SOPS 213714 HAS SOUS 41345 HAS SOUPS 41345 WITH SCORE 41558.714
AT ITER 1311 NEW BEST:: SOT 318136 SOS 213698 HAS SOPS 213698 HAS SOUS 41329 HAS SOUPS 41329 WITH SCORE 41542.698
AT ITER 1335 NEW BEST:: SOT 318076 SOS 213638 HAS SOPS 213638 HAS SOUS 41209 HAS SOUPS 41209 WITH SCORE 41422.638
AT ITER 1348 NEW BEST:: SOT 318092 SOS 213654 HAS SOPS 213654 HAS SOUS 41202 HAS SOUPS 41202 WITH SCORE 41415.654
AT ITER 1358 NEW BEST:: SOT 318092 SOS 213664 HAS SOPS 213664 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41354.664
AT ITER 1381 NEW BEST:: SOT 319001 SOS 214573 HAS SOPS 214573 HAS SOUS 39832 HAS SOUPS 39832 WITH SCORE 40046.573
AT ITER 1387 NEW BEST:: SOT 319039 SOS 214611 HAS SOPS 214611 HAS SOUS 39782 HAS SOUPS 39782 WITH SCORE 39996.611
AT ITER 1390 NEW BEST:: SOT 319039 SOS 210710 HAS SOPS 210667 HAS SOUS 39776 HAS SOUPS 39775 WITH SCORE 39985.71
AT ITER 1393 NEW BEST:: SOT 319034 SOS 210709 HAS SOPS 210666 HAS SOUS 39775 HAS SOUPS 39774 WITH SCORE 39984.709
AT ITER 1410 NEW BEST:: SOT 318929 SOS 210486 HAS SOPS 210443 HAS SOUS 39672 HAS SOUPS 39671 WITH SCORE 39881.486
AT ITER 1413 NEW BEST:: SOT 318929 SOS 210465 HAS SOPS 210422 HAS SOUS 39670 HAS SOUPS 39669 WITH SCORE 39879.465
AT ITER 1429 NEW BEST:: SOT 318948 SOS 210484 HAS SOPS 210441 HAS SOUS 39598 HAS SOUPS 39597 WITH SCORE 39807.484
AT ITER 1447 NEW BEST:: SOT 318856 SOS 210300 HAS SOPS 210257 HAS SOUS 39414 HAS SOUPS 39413 WITH SCORE 39623.3
AT ITER 1449 NEW BEST:: SOT 318855 SOS 210299 HAS SOPS 210256 HAS SOUS 39412 HAS SOUPS 39411 WITH SCORE 39621.299
AT ITER 1462 NEW BEST:: SOT 318806 SOS 210250 HAS SOPS 210207 HAS SOUS 39307 HAS SOUPS 39306 WITH SCORE 39516.25
AT ITER 1474 NEW BEST:: SOT 318949 SOS 210393 HAS SOPS 210350 HAS SOUS 39080 HAS SOUPS 39079 WITH SCORE 39289.393
AT ITER 1497 NEW BEST:: SOT 318949 SOS 210397 HAS SOPS 210354 HAS SOUS 39072 HAS SOUPS 39071 WITH SCORE 39281.397
AT ITER 1504 NEW BEST:: SOT 318947 SOS 210381 HAS SOPS 210338 HAS SOUS 39072 HAS SOUPS 39071 WITH SCORE 39281.381
AT ITER 1509 NEW BEST:: SOT 318947 SOS 210379 HAS SOPS 210336 HAS SOUS 39070 HAS SOUPS 39069 WITH SCORE 39279.379
AT ITER 1525 NEW BEST:: SOT 318843 SOS 210281 HAS SOPS 210238 HAS SOUS 39042 HAS SOUPS 39041 WITH SCORE 39251.281
AT ITER 1527 NEW BEST:: SOT 318690 SOS 210128 HAS SOPS 210085 HAS SOUS 38731 HAS SOUPS 38730 WITH SCORE 38940.128
AT ITER 1530 NEW BEST:: SOT 318596 SOS 210034 HAS SOPS 209991 HAS SOUS 38501 HAS SOUPS 38500 WITH SCORE 38710.034
AT ITER 1559 NEW BEST:: SOT 319340 SOS 210814 HAS SOPS 210771 HAS SOUS 37865 HAS SOUPS 37864 WITH SCORE 38074.814
AT ITER 1582 NEW BEST:: SOT 319340 SOS 210817 HAS SOPS 210774 HAS SOUS 37862 HAS SOUPS 37861 WITH SCORE 38071.817
AT ITER 1620 NEW BEST:: SOT 318991 SOS 210461 HAS SOPS 210418 HAS SOUS 37696 HAS SOUPS 37695 WITH SCORE 37905.461
AT ITER 1623 NEW BEST:: SOT 318988 SOS 204854 HAS SOPS 204682 HAS SOUS 37681 HAS SOUPS 37677 WITH SCORE 37881.854
AT ITER 1628 NEW BEST:: SOT 318985 SOS 204847 HAS SOPS 204675 HAS SOUS 37674 HAS SOUPS 37670 WITH SCORE 37874.847
AT ITER 1634 NEW BEST:: SOT 318790 SOS 204647 HAS SOPS 204475 HAS SOUS 37664 HAS SOUPS 37660 WITH SCORE 37864.647
AT ITER 1666 NEW BEST:: SOT 318413 SOS 204270 HAS SOPS 204098 HAS SOUS 37085 HAS SOUPS 37081 WITH SCORE 37285.27
AT ITER 1668 NEW BEST:: SOT 318368 SOS 204225 HAS SOPS 204053 HAS SOUS 36893 HAS SOUPS 36889 WITH SCORE 37093.225
AT ITER 1670 NEW BEST:: SOT 318366 SOS 204198 HAS SOPS 204026 HAS SOUS 36810 HAS SOUPS 36806 WITH SCORE 37010.198
AT ITER 1691 NEW BEST:: SOT 319425 SOS 205290 HAS SOPS 205118 HAS SOUS 36794 HAS SOUPS 36790 WITH SCORE 36995.29
AT ITER 1700 NEW BEST:: SOT 318823 SOS 204688 HAS SOPS 204516 HAS SOUS 36657 HAS SOUPS 36653 WITH SCORE 36857.688
AT ITER 1732 NEW BEST:: SOT 318619 SOS 204484 HAS SOPS 204312 HAS SOUS 36265 HAS SOUPS 36261 WITH SCORE 36465.484
AT ITER 1739 NEW BEST:: SOT 318550 SOS 204415 HAS SOPS 204243 HAS SOUS 36196 HAS SOUPS 36192 WITH SCORE 36396.415
AT ITER 1796 NEW BEST:: SOT 318556 SOS 204421 HAS SOPS 204249 HAS SOUS 36185 HAS SOUPS 36181 WITH SCORE 36385.421
AT ITER 1813 NEW BEST:: SOT 318635 SOS 204500 HAS SOPS 204328 HAS SOUS 36145 HAS SOUPS 36141 WITH SCORE 36345.5
AT ITER 1831 NEW BEST:: SOT 318633 SOS 204499 HAS SOPS 204327 HAS SOUS 36144 HAS SOUPS 36140 WITH SCORE 36344.499
AT ITER 1836 NEW BEST:: SOT 318626 SOS 204488 HAS SOPS 204316 HAS SOUS 36133 HAS SOUPS 36129 WITH SCORE 36333.488
AT ITER 1863 NEW BEST:: SOT 317946 SOS 203808 HAS SOPS 203636 HAS SOUS 35988 HAS SOUPS 35984 WITH SCORE 36187.808
AT ITER 1864 NEW BEST:: SOT 317944 SOS 203820 HAS SOPS 203648 HAS SOUS 35972 HAS SOUPS 35968 WITH SCORE 36171.82
AT ITER 1889 NEW BEST:: SOT 317940 SOS 203816 HAS SOPS 203644 HAS SOUS 35968 HAS SOUPS 35964 WITH SCORE 36167.816
AT ITER 1910 NEW BEST:: SOT 317939 SOS 203774 HAS SOPS 203602 HAS SOUS 35964 HAS SOUPS 35960 WITH SCORE 36163.774
AT ITER 1925 NEW BEST:: SOT 317932 SOS 203719 HAS SOPS 203547 HAS SOUS 35909 HAS SOUPS 35905 WITH SCORE 36108.719
AT ITER 1928 NEW BEST:: SOT 317927 SOS 203698 HAS SOPS 203526 HAS SOUS 35888 HAS SOUPS 35884 WITH SCORE 36087.698
AT ITER 1936 NEW BEST:: SOT 317916 SOS 203035 HAS SOPS 203035 HAS SOUS 35830 HAS SOUPS 35830 WITH SCORE 36033.035
AT ITER 1952 NEW BEST:: SOT 317912 SOS 203031 HAS SOPS 203031 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 36029.031
AT ITER 2005 NEW BEST:: SOT 317935 SOS 203054 HAS SOPS 203054 HAS SOUS 35805 HAS SOUPS 35805 WITH SCORE 36008.054
AT ITER 2012 NEW BEST:: SOT 317935 SOS 203024 HAS SOPS 203024 HAS SOUS 35775 HAS SOUPS 35775 WITH SCORE 35978.024
AT ITER 2019 NEW BEST:: SOT 317935 SOS 203022 HAS SOPS 203022 HAS SOUS 35773 HAS SOUPS 35773 WITH SCORE 35976.022
AT ITER 2026 NEW BEST:: SOT 318157 SOS 203244 HAS SOPS 203244 HAS SOUS 35767 HAS SOUPS 35767 WITH SCORE 35970.244
AT ITER 2041 NEW BEST:: SOT 318157 SOS 203243 HAS SOPS 203243 HAS SOUS 35766 HAS SOUPS 35766 WITH SCORE 35969.243
AT ITER 2042 NEW BEST:: SOT 318157 SOS 203243 HAS SOPS 203243 HAS SOUS 35748 HAS SOUPS 35748 WITH SCORE 35951.243
AT ITER 2050 NEW BEST:: SOT 317782 SOS 203292 HAS SOPS 203278 HAS SOUS 35471 HAS SOUPS 35464 WITH SCORE 35667.292
AT ITER 2054 NEW BEST:: SOT 317611 SOS 203121 HAS SOPS 203107 HAS SOUS 35300 HAS SOUPS 35293 WITH SCORE 35496.121
AT ITER 2084 NEW BEST:: SOT 317611 SOS 203121 HAS SOPS 203107 HAS SOUS 35284 HAS SOUPS 35277 WITH SCORE 35480.121
AT ITER 2091 NEW BEST:: SOT 317599 SOS 203109 HAS SOPS 203095 HAS SOUS 35259 HAS SOUPS 35252 WITH SCORE 35455.109
AT ITER 2112 NEW BEST:: SOT 317593 SOS 203103 HAS SOPS 203089 HAS SOUS 35247 HAS SOUPS 35240 WITH SCORE 35443.103
AT ITER 2123 NEW BEST:: SOT 317579 SOS 203089 HAS SOPS 203075 HAS SOUS 35181 HAS SOUPS 35174 WITH SCORE 35377.089
AT ITER 2202 NEW BEST:: SOT 317319 SOS 202829 HAS SOPS 202815 HAS SOUS 34661 HAS SOUPS 34654 WITH SCORE 34856.829
AT ITER 2208 NEW BEST:: SOT 317318 SOS 202826 HAS SOPS 202812 HAS SOUS 34660 HAS SOUPS 34653 WITH SCORE 34855.826
AT ITER 2255 NEW BEST:: SOT 317264 SOS 202772 HAS SOPS 202758 HAS SOUS 34511 HAS SOUPS 34504 WITH SCORE 34706.772
AT ITER 2317 NEW BEST:: SOT 316928 SOS 202430 HAS SOPS 202416 HAS SOUS 34175 HAS SOUPS 34168 WITH SCORE 34370.43
AT ITER 2329 NEW BEST:: SOT 316924 SOS 202424 HAS SOPS 202410 HAS SOUS 34169 HAS SOUPS 34162 WITH SCORE 34364.424
AT ITER 2366 NEW BEST:: SOT 316913 SOS 202376 HAS SOPS 202362 HAS SOUS 34121 HAS SOUPS 34114 WITH SCORE 34316.376
AT ITER 2398 NEW BEST:: SOT 316832 SOS 202295 HAS SOPS 202281 HAS SOUS 34059 HAS SOUPS 34052 WITH SCORE 34254.295
AT ITER 2416 NEW BEST:: SOT 316864 SOS 202331 HAS SOPS 202317 HAS SOUS 33989 HAS SOUPS 33982 WITH SCORE 34184.331
AT ITER 2419 NEW BEST:: SOT 316869 SOS 179344 HAS SOPS 177871 HAS SOUS 34030 HAS SOUPS 33978 WITH SCORE 34157.344
AT ITER 2436 NEW BEST:: SOT 316868 SOS 178710 HAS SOPS 177229 HAS SOUS 34016 HAS SOUPS 33963 WITH SCORE 34141.71
AT ITER 2618 NEW BEST:: SOT 316868 SOS 178710 HAS SOPS 177229 HAS SOUS 33896 HAS SOUPS 33843 WITH SCORE 34021.71
AT ITER 2647 NEW BEST:: SOT 316862 SOS 178700 HAS SOPS 177219 HAS SOUS 33886 HAS SOUPS 33833 WITH SCORE 34011.7
AT ITER 2657 NEW BEST:: SOT 316858 SOS 178696 HAS SOPS 177215 HAS SOUS 33878 HAS SOUPS 33825 WITH SCORE 34003.696
AT ITER 2701 NEW BEST:: SOT 316123 SOS 177961 HAS SOPS 176480 HAS SOUS 33272 HAS SOUPS 33219 WITH SCORE 33396.961
AT ITER 2719 NEW BEST:: SOT 316121 SOS 177959 HAS SOPS 176478 HAS SOUS 33268 HAS SOUPS 33215 WITH SCORE 33392.959
AT ITER 2736 NEW BEST:: SOT 316121 SOS 177959 HAS SOPS 176478 HAS SOUS 33258 HAS SOUPS 33205 WITH SCORE 33382.959
AT ITER 2769 NEW BEST:: SOT 316080 SOS 177918 HAS SOPS 176437 HAS SOUS 33194 HAS SOUPS 33141 WITH SCORE 33318.918
AT ITER 2804 NEW BEST:: SOT 316080 SOS 177912 HAS SOPS 176431 HAS SOUS 33188 HAS SOUPS 33135 WITH SCORE 33312.912
AT ITER 2816 NEW BEST:: SOT 316139 SOS 177973 HAS SOPS 176492 HAS SOUS 33067 HAS SOUPS 33014 WITH SCORE 33191.973
AT ITER 2826 NEW BEST:: SOT 316449 SOS 178283 HAS SOPS 176802 HAS SOUS 32927 HAS SOUPS 32874 WITH SCORE 33052.283
AT ITER 2862 NEW BEST:: SOT 316251 SOS 178057 HAS SOPS 176576 HAS SOUS 32927 HAS SOUPS 32874 WITH SCORE 33052.057
AT ITER 2902 NEW BEST:: SOT 316251 SOS 178056 HAS SOPS 176575 HAS SOUS 32926 HAS SOUPS 32873 WITH SCORE 33051.056
AT ITER 2920 NEW BEST:: SOT 316094 SOS 177899 HAS SOPS 176418 HAS SOUS 32752 HAS SOUPS 32699 WITH SCORE 32876.899
AT ITER 2962 NEW BEST:: SOT 316130 SOS 177935 HAS SOPS 176454 HAS SOUS 32253 HAS SOUPS 32200 WITH SCORE 32377.935
AT ITER 2974 NEW BEST:: SOT 315979 SOS 177784 HAS SOPS 176303 HAS SOUS 32077 HAS SOUPS 32024 WITH SCORE 32201.784
AT ITER 3061 NEW BEST:: SOT 316015 SOS 176532 HAS SOPS 175087 HAS SOUS 32052 HAS SOUPS 32017 WITH SCORE 32193.532
AT ITER 3113 NEW BEST:: SOT 315815 SOS 176332 HAS SOPS 174887 HAS SOUS 31778 HAS SOUPS 31743 WITH SCORE 31919.332
AT ITER 3117 NEW BEST:: SOT 315817 SOS 176328 HAS SOPS 174883 HAS SOUS 31774 HAS SOUPS 31739 WITH SCORE 31915.328
AT ITER 3130 NEW BEST:: SOT 315805 SOS 176310 HAS SOPS 174865 HAS SOUS 31756 HAS SOUPS 31721 WITH SCORE 31897.31
AT ITER 3152 NEW BEST:: SOT 315805 SOS 176271 HAS SOPS 174826 HAS SOUS 31756 HAS SOUPS 31721 WITH SCORE 31897.271
AT ITER 3203 NEW BEST:: SOT 315761 SOS 176551 HAS SOPS 175102 HAS SOUS 31700 HAS SOUPS 31663 WITH SCORE 31839.551
AT ITER 3263 NEW BEST:: SOT 315528 SOS 176318 HAS SOPS 174869 HAS SOUS 31470 HAS SOUPS 31433 WITH SCORE 31609.318
AT ITER 3307 NEW BEST:: SOT 315526 SOS 176316 HAS SOPS 174867 HAS SOUS 31462 HAS SOUPS 31425 WITH SCORE 31601.316
AT ITER 3309 NEW BEST:: SOT 315372 SOS 176162 HAS SOPS 174713 HAS SOUS 31154 HAS SOUPS 31117 WITH SCORE 31293.162
AT ITER 3338 NEW BEST:: SOT 315372 SOS 176162 HAS SOPS 174713 HAS SOUS 31046 HAS SOUPS 31009 WITH SCORE 31185.162
AT ITER 3442 NEW BEST:: SOT 315391 SOS 174001 HAS SOPS 172367 HAS SOUS 30968 HAS SOUPS 30921 WITH SCORE 31095.001
AT ITER 3637 NEW BEST:: SOT 315225 SOS 173835 HAS SOPS 172201 HAS SOUS 30636 HAS SOUPS 30589 WITH SCORE 30762.835
AT ITER 3657 NEW BEST:: SOT 315221 SOS 173821 HAS SOPS 172187 HAS SOUS 30622 HAS SOUPS 30575 WITH SCORE 30748.821
AT ITER 3664 NEW BEST:: SOT 315219 SOS 173779 HAS SOPS 172145 HAS SOUS 30619 HAS SOUPS 30572 WITH SCORE 30745.779
AT ITER 3739 NEW BEST:: SOT 315171 SOS 173719 HAS SOPS 172085 HAS SOUS 30610 HAS SOUPS 30563 WITH SCORE 30736.719
AT ITER 3753 NEW BEST:: SOT 315162 SOS 173692 HAS SOPS 172058 HAS SOUS 30601 HAS SOUPS 30554 WITH SCORE 30727.692
AT ITER 3764 NEW BEST:: SOT 315152 SOS 173679 HAS SOPS 172045 HAS SOUS 30588 HAS SOUPS 30541 WITH SCORE 30714.679
AT ITER 3768 NEW BEST:: SOT 315145 SOS 173672 HAS SOPS 172038 HAS SOUS 30584 HAS SOUPS 30537 WITH SCORE 30710.672
AT ITER 3776 NEW BEST:: SOT 315144 SOS 173671 HAS SOPS 172037 HAS SOUS 30582 HAS SOUPS 30535 WITH SCORE 30708.671
AT ITER 3782 NEW BEST:: SOT 315081 SOS 173639 HAS SOPS 172005 HAS SOUS 30580 HAS SOUPS 30533 WITH SCORE 30706.639
AT ITER 3787 NEW BEST:: SOT 315173 SOS 173731 HAS SOPS 172097 HAS SOUS 30575 HAS SOUPS 30528 WITH SCORE 30701.731
AT ITER 3827 NEW BEST:: SOT 315165 SOS 173723 HAS SOPS 172089 HAS SOUS 30567 HAS SOUPS 30520 WITH SCORE 30693.723
AT ITER 3882 NEW BEST:: SOT 315152 SOS 173710 HAS SOPS 172076 HAS SOUS 30541 HAS SOUPS 30494 WITH SCORE 30667.71
AT ITER 3886 NEW BEST:: SOT 315046 SOS 173480 HAS SOPS 171846 HAS SOUS 30519 HAS SOUPS 30472 WITH SCORE 30645.48
AT ITER 3916 NEW BEST:: SOT 315119 SOS 173553 HAS SOPS 171919 HAS SOUS 30517 HAS SOUPS 30470 WITH SCORE 30643.553
AT ITER 4002 NEW BEST:: SOT 315105 SOS 173539 HAS SOPS 171905 HAS SOUS 30503 HAS SOUPS 30456 WITH SCORE 30629.539
AT ITER 4012 NEW BEST:: SOT 315137 SOS 173585 HAS SOPS 171951 HAS SOUS 30470 HAS SOUPS 30423 WITH SCORE 30596.585
AT ITER 4029 NEW BEST:: SOT 315001 SOS 173211 HAS SOPS 171577 HAS SOUS 30320 HAS SOUPS 30273 WITH SCORE 30446.211
AT ITER 4059 NEW BEST:: SOT 314991 SOS 173196 HAS SOPS 171562 HAS SOUS 30305 HAS SOUPS 30258 WITH SCORE 30431.196
AT ITER 4211 NEW BEST:: SOT 314994 SOS 173199 HAS SOPS 171565 HAS SOUS 30303 HAS SOUPS 30256 WITH SCORE 30429.199
AT ITER 4216 NEW BEST:: SOT 314994 SOS 173199 HAS SOPS 171565 HAS SOUS 30267 HAS SOUPS 30220 WITH SCORE 30393.199
AT ITER 4242 NEW BEST:: SOT 315011 SOS 173240 HAS SOPS 171606 HAS SOUS 30266 HAS SOUPS 30219 WITH SCORE 30392.24
AT ITER 4259 NEW BEST:: SOT 314825 SOS 173054 HAS SOPS 171420 HAS SOUS 30004 HAS SOUPS 29957 WITH SCORE 30130.054
AT ITER 4306 NEW BEST:: SOT 313497 SOS 171726 HAS SOPS 170092 HAS SOUS 28982 HAS SOUPS 28935 WITH SCORE 29106.726
AT ITER 4341 NEW BEST:: SOT 313245 SOS 171474 HAS SOPS 169840 HAS SOUS 28934 HAS SOUPS 28887 WITH SCORE 29058.474
AT ITER 4464 NEW BEST:: SOT 313245 SOS 171294 HAS SOPS 169660 HAS SOUS 28931 HAS SOUPS 28884 WITH SCORE 29055.294
AT ITER 4471 NEW BEST:: SOT 312895 SOS 170944 HAS SOPS 169310 HAS SOUS 28231 HAS SOUPS 28184 WITH SCORE 28354.944
AT ITER 4515 NEW BEST:: SOT 312893 SOS 170942 HAS SOPS 169308 HAS SOUS 28227 HAS SOUPS 28180 WITH SCORE 28350.942
AT ITER 4753 NEW BEST:: SOT 312734 SOS 170783 HAS SOPS 169149 HAS SOUS 27895 HAS SOUPS 27848 WITH SCORE 28018.783
AT ITER 4765 NEW BEST:: SOT 312658 SOS 170695 HAS SOPS 169061 HAS SOUS 27851 HAS SOUPS 27804 WITH SCORE 27974.695
AT ITER 4913 NEW BEST:: SOT 312640 SOS 170659 HAS SOPS 169025 HAS SOUS 27851 HAS SOUPS 27804 WITH SCORE 27974.659
AT ITER 4943 NEW BEST:: SOT 312655 SOS 170682 HAS SOPS 169048 HAS SOUS 27844 HAS SOUPS 27797 WITH SCORE 27967.682
AT ITER 4945 NEW BEST:: SOT 312595 SOS 170622 HAS SOPS 168988 HAS SOUS 27724 HAS SOUPS 27677 WITH SCORE 27847.622
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-00 ( (AU( (! potential( ( 3 ) <= (tk(P174)) )),( potential( ( 2 ) <= (tk(P188)) ) & potential( ( 2 ) <= (tk(P127)) ) ) )) | ( ( potential( (tk(P115)) <= (tk(P120)) ) | (! ( potential( (tk(P161)) <= (tk(P47)) ) | potential( ( 2 ) <= (tk(P104)) ) )) ) & (! ( ( potential( (tk(P33)) <= (tk(P21)) ) | potential( (tk(P15)) <= (tk(P61)) ) ) | potential( ( 1 ) <= (tk(P146)) ) )) ) )
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-01 (EF(( potential( ( 1 ) <= (tk(P102)) ) & (EX( potential( (tk(P52)) <= (tk(P57)) ))) )))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-02 (AF((EG( potential( ( 3 ) <= (tk(P56)) )))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-03 (! (EG( (EF(potential( (tk(P174)) <= (tk(P185)) ))))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-04 (EG( potential( (tk(P177)) <= (tk(P63)) )))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-05 ( (EX( (EF(potential( ( 2 ) <= (tk(P138)) ))))) | potential( ( 2 ) <= (tk(P44)) ) )
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-06 (AG( (! (AG( potential( (tk(P98)) <= (tk(P187)) ))))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-07 (! (! (EG( ( potential( ( 1 ) <= (tk(P62)) ) | potential( (tk(P78)) <= (tk(P104)) ) )))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-08 (AF(potential( ( 2 ) <= (tk(P17)) )))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-09 (AF((AG( (! potential( (tk(P17)) <= (tk(P33)) ))))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-10 (AU( ( (! potential( ( 1 ) <= (tk(P166)) )) | ( potential( (tk(P132)) <= (tk(P53)) ) | potential( (tk(P45)) <= (tk(P123)) ) ) ),(! ( potential( (tk(P189)) <= (tk(P5)) ) | potential( ( 2 ) <= (tk(P147)) ) )) ))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-11 (AG( ( ( ( potential( (tk(P101)) <= (tk(P7)) ) & potential( (tk(P57)) <= (tk(P69)) ) ) | (! potential( (tk(P82)) <= (tk(P182)) )) ) | (! ( potential( ( 3 ) <= (tk(P71)) ) & potential( ( 1 ) <= (tk(P162)) ) )) )))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-12 (EF(( (AX( potential( ( 3 ) <= (tk(P189)) ))) & (EG( potential( (tk(P112)) <= (tk(P65)) ))) )))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-13 (AF((EX( (! potential( (tk(P129)) <= (tk(P154)) ))))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-14 (! (EG( (EG( potential( (tk(P68)) <= (tk(P8)) ))))))
PROPERTY: SimpleLoadBal-PT-20-CTLCardinality-15 (EX( (! (AF(potential( ( 1 ) <= (tk(P93)) ))))))

BK_STOP 1589750098141

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 460 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SimpleLoadBal-PT-20"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SimpleLoadBal-PT-20, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910500627"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;