Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250200208.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NeighborGrid-PT-d4n3m2c23, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250200208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 656K
-rw-r--r-- 1 mcc users 3.6K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 469K Apr 27 15:14 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 1589638441253

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

Filename model.pnml
Petri model created: 81 places, 1632 transitions, 3264 arcs.
AT ITER 0 NEW BEST:: SOT 82300 SOS 42236 HAS SOPS 42236 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7270.236
AT ITER 1 NEW BEST:: SOT 82038 SOS 42072 HAS SOPS 42072 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7220.072
AT ITER 8 NEW BEST:: SOT 82056 SOS 41982 HAS SOPS 41982 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7219.982
AT ITER 12 NEW BEST:: SOT 82062 SOS 41742 HAS SOPS 41742 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7219.742
AT ITER 14 NEW BEST:: SOT 81750 SOS 41510 HAS SOPS 41510 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7189.51
AT ITER 17 NEW BEST:: SOT 81788 SOS 41382 HAS SOPS 41382 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7189.382
AT ITER 25 NEW BEST:: SOT 81788 SOS 41010 HAS SOPS 41010 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7189.01
AT ITER 29 NEW BEST:: SOT 81848 SOS 40998 HAS SOPS 40998 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7188.998
AT ITER 35 NEW BEST:: SOT 81894 SOS 40982 HAS SOPS 40982 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7188.982
AT ITER 36 NEW BEST:: SOT 81934 SOS 40954 HAS SOPS 40954 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7188.954
AT ITER 39 NEW BEST:: SOT 81906 SOS 40898 HAS SOPS 40898 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7188.898
AT ITER 44 NEW BEST:: SOT 81942 SOS 40682 HAS SOPS 40682 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7188.682
AT ITER 56 NEW BEST:: SOT 82322 SOS 40202 HAS SOPS 40202 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7188.202
AT ITER 58 NEW BEST:: SOT 81802 SOS 39834 HAS SOPS 39834 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7153.834
AT ITER 59 NEW BEST:: SOT 81814 SOS 39822 HAS SOPS 39822 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7153.822
AT ITER 66 NEW BEST:: SOT 81916 SOS 39714 HAS SOPS 39714 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7153.714
AT ITER 67 NEW BEST:: SOT 81910 SOS 39702 HAS SOPS 39702 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7139.702
AT ITER 70 NEW BEST:: SOT 81966 SOS 39436 HAS SOPS 39436 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7139.436
AT ITER 74 NEW BEST:: SOT 81978 SOS 39460 HAS SOPS 39460 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7131.46
AT ITER 78 NEW BEST:: SOT 82018 SOS 38982 HAS SOPS 38982 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7130.982
AT ITER 112 NEW BEST:: SOT 82016 SOS 38978 HAS SOPS 38978 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7118.978
AT ITER 125 NEW BEST:: SOT 81846 SOS 38872 HAS SOPS 38872 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7084.872
AT ITER 126 NEW BEST:: SOT 81854 SOS 38744 HAS SOPS 38744 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7078.744
AT ITER 131 NEW BEST:: SOT 81636 SOS 38884 HAS SOPS 38884 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 7000.884
AT ITER 133 NEW BEST:: SOT 81582 SOS 38938 HAS SOPS 38938 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6998.938
AT ITER 142 NEW BEST:: SOT 81196 SOS 39178 HAS SOPS 39178 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6971.178
AT ITER 172 NEW BEST:: SOT 81292 SOS 39100 HAS SOPS 39100 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6967.1
AT ITER 176 NEW BEST:: SOT 81304 SOS 39088 HAS SOPS 39088 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6967.088
AT ITER 177 NEW BEST:: SOT 81300 SOS 39080 HAS SOPS 39080 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6967.08
AT ITER 189 NEW BEST:: SOT 81300 SOS 39080 HAS SOPS 39080 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6965.08
AT ITER 191 NEW BEST:: SOT 81280 SOS 39040 HAS SOPS 39040 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6965.04
AT ITER 192 NEW BEST:: SOT 81314 SOS 38978 HAS SOPS 38978 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6964.978
AT ITER 193 NEW BEST:: SOT 81368 SOS 39446 HAS SOPS 39446 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6961.446
AT ITER 194 NEW BEST:: SOT 81236 SOS 39302 HAS SOPS 39302 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6909.302
AT ITER 208 NEW BEST:: SOT 80846 SOS 39026 HAS SOPS 39026 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6823.026
AT ITER 212 NEW BEST:: SOT 80284 SOS 38958 HAS SOPS 38958 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6762.958
AT ITER 215 NEW BEST:: SOT 80404 SOS 38694 HAS SOPS 38694 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6762.694
AT ITER 216 NEW BEST:: SOT 80164 SOS 38606 HAS SOPS 38606 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6738.606
AT ITER 234 NEW BEST:: SOT 80152 SOS 38582 HAS SOPS 38582 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6738.582
AT ITER 235 NEW BEST:: SOT 80040 SOS 38646 HAS SOPS 38646 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6722.646
AT ITER 240 NEW BEST:: SOT 80030 SOS 38644 HAS SOPS 38644 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6720.644
AT ITER 252 NEW BEST:: SOT 80142 SOS 38592 HAS SOPS 38592 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6714.592
AT ITER 253 NEW BEST:: SOT 80126 SOS 38560 HAS SOPS 38560 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6660.56
AT ITER 257 NEW BEST:: SOT 80028 SOS 38364 HAS SOPS 38364 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6620.364
AT ITER 269 NEW BEST:: SOT 80050 SOS 38354 HAS SOPS 38354 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6620.354
AT ITER 276 NEW BEST:: SOT 80018 SOS 38394 HAS SOPS 38394 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6612.394
AT ITER 283 NEW BEST:: SOT 79920 SOS 38390 HAS SOPS 38390 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6574.39
AT ITER 295 NEW BEST:: SOT 79916 SOS 38382 HAS SOPS 38382 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6574.382
AT ITER 303 NEW BEST:: SOT 79914 SOS 38306 HAS SOPS 38306 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6572.306
AT ITER 314 NEW BEST:: SOT 79840 SOS 38862 HAS SOPS 38862 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6570.862
AT ITER 328 NEW BEST:: SOT 79826 SOS 38834 HAS SOPS 38834 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6570.834
AT ITER 340 NEW BEST:: SOT 79834 SOS 38838 HAS SOPS 38838 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6566.838
AT ITER 342 NEW BEST:: SOT 79780 SOS 38730 HAS SOPS 38730 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6566.73
AT ITER 353 NEW BEST:: SOT 79840 SOS 38718 HAS SOPS 38718 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6566.718
AT ITER 357 NEW BEST:: SOT 79838 SOS 38678 HAS SOPS 38678 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6566.678
AT ITER 366 NEW BEST:: SOT 79848 SOS 38644 HAS SOPS 38644 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6566.644
AT ITER 374 NEW BEST:: SOT 79818 SOS 38936 HAS SOPS 38936 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6564.936
AT ITER 377 NEW BEST:: SOT 79806 SOS 38912 HAS SOPS 38912 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6564.912
AT ITER 402 NEW BEST:: SOT 79820 SOS 38808 HAS SOPS 38808 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6564.808
AT ITER 405 NEW BEST:: SOT 79810 SOS 38770 HAS SOPS 38770 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6564.77
AT ITER 406 NEW BEST:: SOT 79860 SOS 38750 HAS SOPS 38750 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6564.75
AT ITER 409 NEW BEST:: SOT 79674 SOS 38864 HAS SOPS 38864 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6470.864
AT ITER 418 NEW BEST:: SOT 79872 SOS 38840 HAS SOPS 38840 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6470.84
AT ITER 419 NEW BEST:: SOT 79936 SOS 38884 HAS SOPS 38884 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6454.884
AT ITER 424 NEW BEST:: SOT 79860 SOS 39212 HAS SOPS 39212 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6403.212
AT ITER 441 NEW BEST:: SOT 79886 SOS 39088 HAS SOPS 39088 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6403.088
AT ITER 448 NEW BEST:: SOT 79856 SOS 39064 HAS SOPS 39064 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6393.064
AT ITER 450 NEW BEST:: SOT 79190 SOS 38908 HAS SOPS 38908 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6350.908
AT ITER 468 NEW BEST:: SOT 79176 SOS 38880 HAS SOPS 38880 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6344.88
AT ITER 484 NEW BEST:: SOT 79202 SOS 38860 HAS SOPS 38860 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6344.86
AT ITER 489 NEW BEST:: SOT 79204 SOS 38838 HAS SOPS 38838 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6344.838
AT ITER 520 NEW BEST:: SOT 79048 SOS 38736 HAS SOPS 38736 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6336.736
AT ITER 522 NEW BEST:: SOT 79086 SOS 38572 HAS SOPS 38572 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6336.572
AT ITER 537 NEW BEST:: SOT 78966 SOS 38572 HAS SOPS 38572 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6314.572
AT ITER 542 NEW BEST:: SOT 78968 SOS 38524 HAS SOPS 38524 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6314.524
AT ITER 548 NEW BEST:: SOT 79000 SOS 38540 HAS SOPS 38540 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6298.54
AT ITER 563 NEW BEST:: SOT 79182 SOS 38394 HAS SOPS 38394 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6282.394
AT ITER 569 NEW BEST:: SOT 78814 SOS 38898 HAS SOPS 38898 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6278.898
AT ITER 574 NEW BEST:: SOT 78776 SOS 38894 HAS SOPS 38894 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6274.894
AT ITER 603 NEW BEST:: SOT 78766 SOS 38874 HAS SOPS 38874 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6272.874
AT ITER 607 NEW BEST:: SOT 78760 SOS 38808 HAS SOPS 38808 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6272.808
AT ITER 612 NEW BEST:: SOT 78504 SOS 38656 HAS SOPS 38656 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6262.656
AT ITER 623 NEW BEST:: SOT 78514 SOS 38568 HAS SOPS 38568 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6262.568
AT ITER 638 NEW BEST:: SOT 78532 SOS 37964 HAS SOPS 37964 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6261.964
AT ITER 639 NEW BEST:: SOT 78438 SOS 37776 HAS SOPS 37776 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6259.776
AT ITER 660 NEW BEST:: SOT 78422 SOS 37588 HAS SOPS 37588 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6259.588
AT ITER 662 NEW BEST:: SOT 78420 SOS 37584 HAS SOPS 37584 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.584
AT ITER 669 NEW BEST:: SOT 78438 SOS 37560 HAS SOPS 37560 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.56
AT ITER 696 NEW BEST:: SOT 78548 SOS 37380 HAS SOPS 37380 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.38
AT ITER 699 NEW BEST:: SOT 78548 SOS 37380 HAS SOPS 37380 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6253.38
AT ITER 702 NEW BEST:: SOT 78544 SOS 37372 HAS SOPS 37372 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6253.372
AT ITER 720 NEW BEST:: SOT 78654 SOS 37442 HAS SOPS 37442 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6225.442
AT ITER 723 NEW BEST:: SOT 78666 SOS 37414 HAS SOPS 37414 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6225.414
AT ITER 736 NEW BEST:: SOT 78708 SOS 37378 HAS SOPS 37378 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6205.378
AT ITER 737 NEW BEST:: SOT 78708 SOS 37378 HAS SOPS 37378 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6203.378
AT ITER 739 NEW BEST:: SOT 78594 SOS 37402 HAS SOPS 37402 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6187.402
AT ITER 745 NEW BEST:: SOT 78564 SOS 37342 HAS SOPS 37342 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6179.342
AT ITER 754 NEW BEST:: SOT 78554 SOS 37334 HAS SOPS 37334 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6173.334
AT ITER 757 NEW BEST:: SOT 78612 SOS 37378 HAS SOPS 37378 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6171.378
AT ITER 802 NEW BEST:: SOT 78606 SOS 37366 HAS SOPS 37366 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6171.366
AT ITER 812 NEW BEST:: SOT 78600 SOS 37354 HAS SOPS 37354 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6167.354
AT ITER 846 NEW BEST:: SOT 78674 SOS 37262 HAS SOPS 37262 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6167.262
AT ITER 879 NEW BEST:: SOT 78710 SOS 37214 HAS SOPS 37214 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6167.214
AT ITER 885 NEW BEST:: SOT 78732 SOS 37228 HAS SOPS 37228 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6161.228
AT ITER 900 NEW BEST:: SOT 78634 SOS 37318 HAS SOPS 37318 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6157.318
AT ITER 902 NEW BEST:: SOT 78544 SOS 37354 HAS SOPS 37354 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6149.354
AT ITER 910 NEW BEST:: SOT 78500 SOS 37170 HAS SOPS 37170 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6149.17
AT ITER 916 NEW BEST:: SOT 78382 SOS 37286 HAS SOPS 37286 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6133.286
AT ITER 922 NEW BEST:: SOT 78386 SOS 37282 HAS SOPS 37282 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6129.282
AT ITER 944 NEW BEST:: SOT 78394 SOS 37094 HAS SOPS 37094 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6129.094
AT ITER 951 NEW BEST:: SOT 78410 SOS 36976 HAS SOPS 36976 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6128.976
AT ITER 1009 NEW BEST:: SOT 78420 SOS 36996 HAS SOPS 36996 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6126.996
AT ITER 1034 NEW BEST:: SOT 78392 SOS 36940 HAS SOPS 36940 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6126.94
AT ITER 1046 NEW BEST:: SOT 78424 SOS 36784 HAS SOPS 36784 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6126.784
AT ITER 1049 NEW BEST:: SOT 78408 SOS 36896 HAS SOPS 36896 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6110.896
AT ITER 1054 NEW BEST:: SOT 78394 SOS 36868 HAS SOPS 36868 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6110.868
AT ITER 1075 NEW BEST:: SOT 78392 SOS 36864 HAS SOPS 36864 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6108.864
AT ITER 1086 NEW BEST:: SOT 78410 SOS 36846 HAS SOPS 36846 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6108.846
AT ITER 1103 NEW BEST:: SOT 78410 SOS 36846 HAS SOPS 36846 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6050.846
AT ITER 1121 NEW BEST:: SOT 78196 SOS 36978 HAS SOPS 36978 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6044.978
AT ITER 1123 NEW BEST:: SOT 78200 SOS 36986 HAS SOPS 36986 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6028.986
AT ITER 1142 NEW BEST:: SOT 78188 SOS 36962 HAS SOPS 36962 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6028.962
AT ITER 1168 NEW BEST:: SOT 78220 SOS 36954 HAS SOPS 36954 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6028.954
AT ITER 1180 NEW BEST:: SOT 78214 SOS 36942 HAS SOPS 36942 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 6024.942
AT ITER 1209 NEW BEST:: SOT 78218 SOS 36896 HAS SOPS 36896 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 6024.896
AT ITER 1234 NEW BEST:: SOT 78160 SOS 36978 HAS SOPS 36978 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 6018.978
AT ITER 1248 NEW BEST:: SOT 78154 SOS 36966 HAS SOPS 36966 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 6018.966
AT ITER 1263 NEW BEST:: SOT 78092 SOS 36962 HAS SOPS 36962 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 6018.962
AT ITER 1296 NEW BEST:: SOT 78088 SOS 36954 HAS SOPS 36954 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 6018.954
AT ITER 1299 NEW BEST:: SOT 78148 SOS 36930 HAS SOPS 36930 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 6018.93
AT ITER 1314 NEW BEST:: SOT 78102 SOS 37058 HAS SOPS 37058 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 6009.058
AT ITER 1335 NEW BEST:: SOT 78120 SOS 37014 HAS SOPS 37014 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 6009.014
AT ITER 1344 NEW BEST:: SOT 78130 SOS 37008 HAS SOPS 37008 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 6009.008
AT ITER 1520 NEW BEST:: SOT 78096 SOS 36940 HAS SOPS 36940 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 6008.94
AT ITER 1541 NEW BEST:: SOT 78060 SOS 36976 HAS SOPS 36976 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 6006.976
AT ITER 1559 NEW BEST:: SOT 78036 SOS 37720 HAS SOPS 37720 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5999.72
AT ITER 1606 NEW BEST:: SOT 78024 SOS 37696 HAS SOPS 37696 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5999.696
AT ITER 1672 NEW BEST:: SOT 78044 SOS 37372 HAS SOPS 37372 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5999.372
AT ITER 1697 NEW BEST:: SOT 78142 SOS 37328 HAS SOPS 37328 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5999.328
AT ITER 1769 NEW BEST:: SOT 78146 SOS 37318 HAS SOPS 37318 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5999.318
AT ITER 1808 NEW BEST:: SOT 78170 SOS 37186 HAS SOPS 37186 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5999.186
AT ITER 1819 NEW BEST:: SOT 78424 SOS 37064 HAS SOPS 37064 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5973.064
AT ITER 1822 NEW BEST:: SOT 78416 SOS 37048 HAS SOPS 37048 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5971.048
AT ITER 1833 NEW BEST:: SOT 78442 SOS 36974 HAS SOPS 36974 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5950.974
AT ITER 1838 NEW BEST:: SOT 78448 SOS 36956 HAS SOPS 36956 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5948.956
AT ITER 1855 NEW BEST:: SOT 78474 SOS 36896 HAS SOPS 36896 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5948.896
AT ITER 1861 NEW BEST:: SOT 78466 SOS 36880 HAS SOPS 36880 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5948.88
AT ITER 1862 NEW BEST:: SOT 78454 SOS 36856 HAS SOPS 36856 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5944.856
AT ITER 1870 NEW BEST:: SOT 78462 SOS 36860 HAS SOPS 36860 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5940.86
AT ITER 1881 NEW BEST:: SOT 78480 SOS 36662 HAS SOPS 36662 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5940.662
AT ITER 1892 NEW BEST:: SOT 78456 SOS 36668 HAS SOPS 36668 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5934.668
AT ITER 1903 NEW BEST:: SOT 78458 SOS 36636 HAS SOPS 36636 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5934.636
AT ITER 1904 NEW BEST:: SOT 78336 SOS 36548 HAS SOPS 36548 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5934.548
AT ITER 1910 NEW BEST:: SOT 78352 SOS 36544 HAS SOPS 36544 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5934.544
AT ITER 1987 NEW BEST:: SOT 78416 SOS 36522 HAS SOPS 36522 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5934.522
AT ITER 2001 NEW BEST:: SOT 78418 SOS 36526 HAS SOPS 36526 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5890.526
AT ITER 2043 NEW BEST:: SOT 78436 SOS 36490 HAS SOPS 36490 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5852.49
AT ITER 2077 NEW BEST:: SOT 78566 SOS 36398 HAS SOPS 36398 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5838.398
AT ITER 2081 NEW BEST:: SOT 78546 SOS 36358 HAS SOPS 36358 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5838.358
AT ITER 2093 NEW BEST:: SOT 78602 SOS 36374 HAS SOPS 36374 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5826.374
AT ITER 2122 NEW BEST:: SOT 78588 SOS 36346 HAS SOPS 36346 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5826.346
AT ITER 2135 NEW BEST:: SOT 78580 SOS 36348 HAS SOPS 36348 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5820.348
AT ITER 2220 NEW BEST:: SOT 78592 SOS 36318 HAS SOPS 36318 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5820.318
AT ITER 2252 NEW BEST:: SOT 78604 SOS 36306 HAS SOPS 36306 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5820.306
AT ITER 2266 NEW BEST:: SOT 78628 SOS 36282 HAS SOPS 36282 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5788.282
AT ITER 2331 NEW BEST:: SOT 78628 SOS 36282 HAS SOPS 36282 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5786.282
AT ITER 2341 NEW BEST:: SOT 78584 SOS 36194 HAS SOPS 36194 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5786.194
AT ITER 2348 NEW BEST:: SOT 78584 SOS 36194 HAS SOPS 36194 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5780.194
AT ITER 2351 NEW BEST:: SOT 78568 SOS 36198 HAS SOPS 36198 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5778.198
AT ITER 2413 NEW BEST:: SOT 78602 SOS 37278 HAS SOPS 37278 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5777.278
AT ITER 2421 NEW BEST:: SOT 78524 SOS 37182 HAS SOPS 37182 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5759.182
AT ITER 2450 NEW BEST:: SOT 78522 SOS 37178 HAS SOPS 37178 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5759.178
AT ITER 2452 NEW BEST:: SOT 78520 SOS 36940 HAS SOPS 36940 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5758.94
AT ITER 2457 NEW BEST:: SOT 78498 SOS 36948 HAS SOPS 36948 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5756.948
AT ITER 2475 NEW BEST:: SOT 78508 SOS 36896 HAS SOPS 36896 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5756.896
AT ITER 2542 NEW BEST:: SOT 78504 SOS 36888 HAS SOPS 36888 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5756.888
AT ITER 2547 NEW BEST:: SOT 78462 SOS 37044 HAS SOPS 37044 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5743.044
AT ITER 2571 NEW BEST:: SOT 78498 SOS 36778 HAS SOPS 36778 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5742.778
AT ITER 2620 NEW BEST:: SOT 78498 SOS 36778 HAS SOPS 36778 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5740.778
AT ITER 2646 NEW BEST:: SOT 78474 SOS 36802 HAS SOPS 36802 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5738.802
AT ITER 2690 NEW BEST:: SOT 78470 SOS 36794 HAS SOPS 36794 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5738.794
AT ITER 2700 NEW BEST:: SOT 78568 SOS 36710 HAS SOPS 36710 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5700.71
AT ITER 2716 NEW BEST:: SOT 78564 SOS 36702 HAS SOPS 36702 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5700.702
AT ITER 2743 NEW BEST:: SOT 78566 SOS 36688 HAS SOPS 36688 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5700.688
AT ITER 2814 NEW BEST:: SOT 78526 SOS 36680 HAS SOPS 36680 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5700.68
AT ITER 2837 NEW BEST:: SOT 78518 SOS 36928 HAS SOPS 36928 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5698.928
AT ITER 2840 NEW BEST:: SOT 78486 SOS 36864 HAS SOPS 36864 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5670.864
AT ITER 2894 NEW BEST:: SOT 78496 SOS 36872 HAS SOPS 36872 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5660.872
AT ITER 2920 NEW BEST:: SOT 78470 SOS 36820 HAS SOPS 36820 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5660.82
AT ITER 2979 NEW BEST:: SOT 78468 SOS 37168 HAS SOPS 37168 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5659.168
AT ITER 3052 NEW BEST:: SOT 78472 SOS 37122 HAS SOPS 37122 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5659.122
AT ITER 3056 NEW BEST:: SOT 78448 SOS 37294 HAS SOPS 37294 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5657.294
AT ITER 3087 NEW BEST:: SOT 78442 SOS 37282 HAS SOPS 37282 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5657.282
AT ITER 3103 NEW BEST:: SOT 78480 SOS 37358 HAS SOPS 37358 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5647.358
AT ITER 3112 NEW BEST:: SOT 78472 SOS 37342 HAS SOPS 37342 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5647.342
AT ITER 3140 NEW BEST:: SOT 78480 SOS 37346 HAS SOPS 37346 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5643.346
AT ITER 3211 NEW BEST:: SOT 78408 SOS 37762 HAS SOPS 37762 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.762
AT ITER 3239 NEW BEST:: SOT 78408 SOS 37750 HAS SOPS 37750 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.75
AT ITER 3254 NEW BEST:: SOT 78420 SOS 37748 HAS SOPS 37748 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.748
AT ITER 3274 NEW BEST:: SOT 78404 SOS 37716 HAS SOPS 37716 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.716
AT ITER 3303 NEW BEST:: SOT 78402 SOS 37712 HAS SOPS 37712 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.712
AT ITER 3378 NEW BEST:: SOT 78396 SOS 37622 HAS SOPS 37622 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.622
AT ITER 3408 NEW BEST:: SOT 78390 SOS 37610 HAS SOPS 37610 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.61
AT ITER 3451 NEW BEST:: SOT 78376 SOS 37888 HAS SOPS 37888 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5637.888
AT ITER 3456 NEW BEST:: SOT 78298 SOS 38074 HAS SOPS 38074 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5632.074
AT ITER 3592 NEW BEST:: SOT 78302 SOS 38056 HAS SOPS 38056 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5632.056
AT ITER 3618 NEW BEST:: SOT 78300 SOS 38052 HAS SOPS 38052 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5630.052
AT ITER 3643 NEW BEST:: SOT 78296 SOS 38044 HAS SOPS 38044 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5630.044
AT ITER 3758 NEW BEST:: SOT 78296 SOS 38044 HAS SOPS 38044 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5628.044
AT ITER 3882 NEW BEST:: SOT 78294 SOS 38040 HAS SOPS 38040 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5628.04
AT ITER 3917 NEW BEST:: SOT 78302 SOS 37976 HAS SOPS 37976 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5627.976
AT ITER 3948 NEW BEST:: SOT 78310 SOS 37974 HAS SOPS 37974 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5627.974
AT ITER 3978 NEW BEST:: SOT 78304 SOS 37962 HAS SOPS 37962 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5627.962
AT ITER 3999 NEW BEST:: SOT 78300 SOS 37954 HAS SOPS 37954 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5627.954
AT ITER 4059 NEW BEST:: SOT 78332 SOS 37946 HAS SOPS 37946 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5627.946
AT ITER 4066 NEW BEST:: SOT 78298 SOS 37914 HAS SOPS 37914 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5607.914
AT ITER 4096 NEW BEST:: SOT 78296 SOS 37910 HAS SOPS 37910 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5607.91
AT ITER 4098 NEW BEST:: SOT 78314 SOS 37786 HAS SOPS 37786 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5607.786
AT ITER 4262 NEW BEST:: SOT 78312 SOS 37782 HAS SOPS 37782 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5607.782
AT ITER 4271 NEW BEST:: SOT 78310 SOS 37778 HAS SOPS 37778 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5607.778
AT ITER 4354 NEW BEST:: SOT 78306 SOS 37770 HAS SOPS 37770 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5603.77
AT ITER 4372 NEW BEST:: SOT 78324 SOS 37860 HAS SOPS 37860 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5599.86
AT ITER 4402 NEW BEST:: SOT 78318 SOS 38030 HAS SOPS 38030 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5598.03
AT ITER 4413 NEW BEST:: SOT 78322 SOS 38082 HAS SOPS 38082 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5596.082
AT ITER 4563 NEW BEST:: SOT 78328 SOS 38068 HAS SOPS 38068 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5596.068
AT ITER 4638 NEW BEST:: SOT 78282 SOS 37976 HAS SOPS 37976 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5593.976
AT ITER 4653 NEW BEST:: SOT 78274 SOS 37960 HAS SOPS 37960 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5593.96
AT ITER 4683 NEW BEST:: SOT 78256 SOS 38002 HAS SOPS 38002 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5592.002
AT ITER 4742 NEW BEST:: SOT 78252 SOS 37994 HAS SOPS 37994 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5591.994
AT ITER 4936 NEW BEST:: SOT 78248 SOS 37986 HAS SOPS 37986 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5591.986
AT ITER 4956 NEW BEST:: SOT 78246 SOS 37946 HAS SOPS 37946 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5591.946
AT ITER 5082 NEW BEST:: SOT 78228 SOS 37962 HAS SOPS 37962 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5589.962
AT ITER 5143 NEW BEST:: SOT 78188 SOS 37936 HAS SOPS 37936 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5589.936
AT ITER 5161 NEW BEST:: SOT 78186 SOS 37932 HAS SOPS 37932 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5589.932
AT ITER 5204 NEW BEST:: SOT 78180 SOS 37920 HAS SOPS 37920 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5589.92
AT ITER 5348 NEW BEST:: SOT 78194 SOS 37892 HAS SOPS 37892 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5589.892
AT ITER 5430 NEW BEST:: SOT 78186 SOS 37876 HAS SOPS 37876 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5589.876
AT ITER 5642 NEW BEST:: SOT 78136 SOS 37866 HAS SOPS 37866 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5587.866
AT ITER 5687 NEW BEST:: SOT 78150 SOS 37864 HAS SOPS 37864 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5587.864
AT ITER 6092 NEW BEST:: SOT 78148 SOS 37860 HAS SOPS 37860 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5587.86
AT ITER 6389 NEW BEST:: SOT 78138 SOS 38400 HAS SOPS 38400 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5586.4
AT ITER 6563 NEW BEST:: SOT 78130 SOS 38384 HAS SOPS 38384 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5586.384
AT ITER 6658 NEW BEST:: SOT 78128 SOS 38380 HAS SOPS 38380 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5586.38
AT ITER 6726 NEW BEST:: SOT 78122 SOS 38212 HAS SOPS 38212 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5586.212
AT ITER 6776 NEW BEST:: SOT 78120 SOS 38208 HAS SOPS 38208 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5586.208
AT ITER 6784 NEW BEST:: SOT 78116 SOS 38148 HAS SOPS 38148 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5586.148
AT ITER 6805 NEW BEST:: SOT 78090 SOS 38246 HAS SOPS 38246 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5584.246
AT ITER 6997 NEW BEST:: SOT 78088 SOS 38242 HAS SOPS 38242 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5584.242
AT ITER 7292 NEW BEST:: SOT 78088 SOS 38182 HAS SOPS 38182 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5584.182
AT ITER 7653 NEW BEST:: SOT 78076 SOS 38158 HAS SOPS 38158 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5584.158
AT ITER 8184 NEW BEST:: SOT 78088 SOS 38102 HAS SOPS 38102 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5584.102
AT ITER 8243 NEW BEST:: SOT 78096 SOS 38100 HAS SOPS 38100 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5584.1
AT ITER 8391 NEW BEST:: SOT 78094 SOS 38072 HAS SOPS 38072 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5582.072
AT ITER 9024 NEW BEST:: SOT 78094 SOS 38084 HAS SOPS 38084 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5580.084
AT ITER 9364 NEW BEST:: SOT 78088 SOS 38072 HAS SOPS 38072 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5580.072
AT ITER 9452 NEW BEST:: SOT 78086 SOS 38068 HAS SOPS 38068 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5580.068

BK_STOP 1589639134996

--------------------
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: 471 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="NeighborGrid-PT-d4n3m2c23"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NeighborGrid-PT-d4n3m2c23, 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 r108-csrt-158961250200208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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