Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469700616.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469700616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.3K May 14 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 56K May 12 20: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 1590446613058

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

Filename model.pnml
Petri model created: 237 places, 216 transitions, 540 arcs.
AT ITER 0 NEW BEST:: SOT 28201 SOS 8313 HAS SOPS 8313 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.313
AT ITER 4 NEW BEST:: SOT 28178 SOS 8267 HAS SOPS 8267 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7664.267
AT ITER 31 NEW BEST:: SOT 28178 SOS 8267 HAS SOPS 8267 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7660.267
AT ITER 33 NEW BEST:: SOT 28164 SOS 8260 HAS SOPS 8260 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7653.26
AT ITER 34 NEW BEST:: SOT 28164 SOS 8254 HAS SOPS 8254 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7647.254
AT ITER 40 NEW BEST:: SOT 28164 SOS 8254 HAS SOPS 8254 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7630.254
AT ITER 47 NEW BEST:: SOT 28168 SOS 8215 HAS SOPS 8215 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.215
AT ITER 60 NEW BEST:: SOT 28173 SOS 8193 HAS SOPS 8193 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7602.193
AT ITER 67 NEW BEST:: SOT 28158 SOS 8163 HAS SOPS 8163 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7569.163
AT ITER 81 NEW BEST:: SOT 28131 SOS 8179 HAS SOPS 8179 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.179
AT ITER 116 NEW BEST:: SOT 28146 SOS 8168 HAS SOPS 8168 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7531.168
AT ITER 129 NEW BEST:: SOT 28145 SOS 8156 HAS SOPS 8156 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7529.156
AT ITER 142 NEW BEST:: SOT 28097 SOS 8142 HAS SOPS 8142 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7505.142
AT ITER 151 NEW BEST:: SOT 28097 SOS 8136 HAS SOPS 8136 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7499.136
AT ITER 161 NEW BEST:: SOT 28079 SOS 8139 HAS SOPS 8139 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7491.139
AT ITER 167 NEW BEST:: SOT 28078 SOS 8136 HAS SOPS 8136 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7489.136
AT ITER 168 NEW BEST:: SOT 28052 SOS 8136 HAS SOPS 8136 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7463.136
AT ITER 177 NEW BEST:: SOT 28052 SOS 8125 HAS SOPS 8125 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7452.125
AT ITER 225 NEW BEST:: SOT 28064 SOS 8115 HAS SOPS 8115 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7442.115
AT ITER 228 NEW BEST:: SOT 28041 SOS 8048 HAS SOPS 8048 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7375.048
AT ITER 234 NEW BEST:: SOT 28041 SOS 8049 HAS SOPS 8049 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7371.049
AT ITER 238 NEW BEST:: SOT 28001 SOS 7936 HAS SOPS 7936 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7286.936
AT ITER 250 NEW BEST:: SOT 27987 SOS 7920 HAS SOPS 7920 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7257.92
AT ITER 260 NEW BEST:: SOT 27987 SOS 7920 HAS SOPS 7920 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7249.92
AT ITER 285 NEW BEST:: SOT 27961 SOS 7868 HAS SOPS 7868 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7197.868
AT ITER 308 NEW BEST:: SOT 27961 SOS 7842 HAS SOPS 7842 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7184.842
AT ITER 309 NEW BEST:: SOT 27970 SOS 7816 HAS SOPS 7816 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7147.816
AT ITER 313 NEW BEST:: SOT 27970 SOS 7796 HAS SOPS 7796 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7127.796
AT ITER 317 NEW BEST:: SOT 27970 SOS 7792 HAS SOPS 7792 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7123.792
AT ITER 328 NEW BEST:: SOT 27970 SOS 7791 HAS SOPS 7791 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7122.791
AT ITER 343 NEW BEST:: SOT 27970 SOS 7775 HAS SOPS 7775 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7114.775
AT ITER 344 NEW BEST:: SOT 27965 SOS 7787 HAS SOPS 7787 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7109.787
AT ITER 373 NEW BEST:: SOT 27952 SOS 7774 HAS SOPS 7774 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7096.774
AT ITER 394 NEW BEST:: SOT 27921 SOS 7733 HAS SOPS 7733 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7088.733
AT ITER 405 NEW BEST:: SOT 27903 SOS 7728 HAS SOPS 7728 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7083.728
AT ITER 434 NEW BEST:: SOT 27903 SOS 7730 HAS SOPS 7730 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7082.73
AT ITER 447 NEW BEST:: SOT 27881 SOS 7697 HAS SOPS 7697 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7049.697
AT ITER 462 NEW BEST:: SOT 27844 SOS 7553 HAS SOPS 7553 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.553
AT ITER 489 NEW BEST:: SOT 27851 SOS 7542 HAS SOPS 7542 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6988.542
AT ITER 491 NEW BEST:: SOT 27849 SOS 7539 HAS SOPS 7539 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6985.539
AT ITER 529 NEW BEST:: SOT 27849 SOS 7537 HAS SOPS 7537 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6983.537
AT ITER 536 NEW BEST:: SOT 27849 SOS 7537 HAS SOPS 7537 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6977.537
AT ITER 548 NEW BEST:: SOT 27849 SOS 7534 HAS SOPS 7534 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6974.534
AT ITER 569 NEW BEST:: SOT 27849 SOS 7536 HAS SOPS 7536 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6966.536
AT ITER 574 NEW BEST:: SOT 27849 SOS 7524 HAS SOPS 7524 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6922.524
AT ITER 576 NEW BEST:: SOT 27849 SOS 7523 HAS SOPS 7523 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6921.523
AT ITER 584 NEW BEST:: SOT 27848 SOS 7521 HAS SOPS 7521 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6919.521
AT ITER 586 NEW BEST:: SOT 27839 SOS 7517 HAS SOPS 7517 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6915.517
AT ITER 602 NEW BEST:: SOT 27828 SOS 7457 HAS SOPS 7457 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6904.457
AT ITER 617 NEW BEST:: SOT 27825 SOS 7451 HAS SOPS 7451 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6898.451
AT ITER 618 NEW BEST:: SOT 27817 SOS 7444 HAS SOPS 7444 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6890.444
AT ITER 637 NEW BEST:: SOT 27792 SOS 7440 HAS SOPS 7440 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6883.44
AT ITER 652 NEW BEST:: SOT 27808 SOS 7457 HAS SOPS 7457 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.457
AT ITER 658 NEW BEST:: SOT 27781 SOS 7430 HAS SOPS 7430 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.43
AT ITER 683 NEW BEST:: SOT 27782 SOS 7420 HAS SOPS 7420 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.42
AT ITER 740 NEW BEST:: SOT 27782 SOS 7406 HAS SOPS 7406 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.406
AT ITER 786 NEW BEST:: SOT 27782 SOS 7405 HAS SOPS 7405 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.405
AT ITER 789 NEW BEST:: SOT 27782 SOS 7404 HAS SOPS 7404 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6841.404
AT ITER 814 NEW BEST:: SOT 27778 SOS 7394 HAS SOPS 7394 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6831.394
AT ITER 821 NEW BEST:: SOT 27778 SOS 7394 HAS SOPS 7394 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6817.394
AT ITER 829 NEW BEST:: SOT 27781 SOS 7393 HAS SOPS 7393 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6816.393
AT ITER 835 NEW BEST:: SOT 27759 SOS 7386 HAS SOPS 7386 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6809.386
AT ITER 851 NEW BEST:: SOT 27764 SOS 7438 HAS SOPS 7438 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6772.438
AT ITER 868 NEW BEST:: SOT 27764 SOS 7437 HAS SOPS 7437 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6771.437
AT ITER 880 NEW BEST:: SOT 27761 SOS 7436 HAS SOPS 7436 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6770.436
AT ITER 916 NEW BEST:: SOT 27739 SOS 7392 HAS SOPS 7392 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6751.392
AT ITER 920 NEW BEST:: SOT 27738 SOS 7390 HAS SOPS 7390 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6733.39
AT ITER 943 NEW BEST:: SOT 27736 SOS 7387 HAS SOPS 7387 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6710.387
AT ITER 972 NEW BEST:: SOT 27718 SOS 7377 HAS SOPS 7377 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6700.377
AT ITER 995 NEW BEST:: SOT 27731 SOS 7367 HAS SOPS 7367 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6669.367
AT ITER 1010 NEW BEST:: SOT 27730 SOS 7365 HAS SOPS 7365 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6667.365
AT ITER 1021 NEW BEST:: SOT 27729 SOS 7363 HAS SOPS 7363 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6665.363
AT ITER 1026 NEW BEST:: SOT 27705 SOS 7338 HAS SOPS 7338 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6648.338
AT ITER 1036 NEW BEST:: SOT 27705 SOS 7321 HAS SOPS 7321 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6631.321
AT ITER 1040 NEW BEST:: SOT 27697 SOS 7305 HAS SOPS 7305 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6615.305
AT ITER 1096 NEW BEST:: SOT 27664 SOS 7254 HAS SOPS 7254 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.254
AT ITER 1109 NEW BEST:: SOT 27615 SOS 7210 HAS SOPS 7210 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6517.21
AT ITER 1142 NEW BEST:: SOT 27612 SOS 7204 HAS SOPS 7204 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6511.204
AT ITER 1144 NEW BEST:: SOT 27611 SOS 7203 HAS SOPS 7203 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6510.203
AT ITER 1145 NEW BEST:: SOT 27611 SOS 7190 HAS SOPS 7190 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6497.19
AT ITER 1168 NEW BEST:: SOT 27611 SOS 7200 HAS SOPS 7200 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6473.2
AT ITER 1183 NEW BEST:: SOT 27610 SOS 7198 HAS SOPS 7198 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6471.198
AT ITER 1228 NEW BEST:: SOT 27610 SOS 7197 HAS SOPS 7197 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6470.197
AT ITER 1266 NEW BEST:: SOT 27609 SOS 7179 HAS SOPS 7179 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.179
AT ITER 1302 NEW BEST:: SOT 27595 SOS 7180 HAS SOPS 7180 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.18
AT ITER 1303 NEW BEST:: SOT 27593 SOS 7174 HAS SOPS 7174 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6458.174
AT ITER 1354 NEW BEST:: SOT 27595 SOS 7170 HAS SOPS 7170 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.17
AT ITER 1358 NEW BEST:: SOT 27595 SOS 7170 HAS SOPS 7170 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6449.17
AT ITER 1414 NEW BEST:: SOT 27595 SOS 7161 HAS SOPS 7161 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6432.161
AT ITER 1463 NEW BEST:: SOT 27595 SOS 7159 HAS SOPS 7159 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6430.159
AT ITER 1466 NEW BEST:: SOT 27602 SOS 7140 HAS SOPS 7140 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6426.14
AT ITER 1486 NEW BEST:: SOT 27602 SOS 7135 HAS SOPS 7135 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.135
AT ITER 1488 NEW BEST:: SOT 27602 SOS 7135 HAS SOPS 7135 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.135
AT ITER 1507 NEW BEST:: SOT 27601 SOS 7132 HAS SOPS 7132 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6411.132
AT ITER 1509 NEW BEST:: SOT 27584 SOS 7112 HAS SOPS 7112 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.112
AT ITER 1517 NEW BEST:: SOT 27584 SOS 7111 HAS SOPS 7111 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.111
AT ITER 1609 NEW BEST:: SOT 27569 SOS 7042 HAS SOPS 7042 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6351.042
AT ITER 1612 NEW BEST:: SOT 27594 SOS 7062 HAS SOPS 7062 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6339.062
AT ITER 1647 NEW BEST:: SOT 27576 SOS 7026 HAS SOPS 7026 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6318.026
AT ITER 1705 NEW BEST:: SOT 27561 SOS 6996 HAS SOPS 6996 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6302.996
AT ITER 1748 NEW BEST:: SOT 27546 SOS 7013 HAS SOPS 7013 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6289.013
AT ITER 1765 NEW BEST:: SOT 27543 SOS 7004 HAS SOPS 7004 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6283.004
AT ITER 1789 NEW BEST:: SOT 27543 SOS 7003 HAS SOPS 7003 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6282.003
AT ITER 1803 NEW BEST:: SOT 27537 SOS 6989 HAS SOPS 6989 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6270.989
AT ITER 1811 NEW BEST:: SOT 27535 SOS 6955 HAS SOPS 6955 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6265.955
AT ITER 1813 NEW BEST:: SOT 27537 SOS 6940 HAS SOPS 6940 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6235.94
AT ITER 1824 NEW BEST:: SOT 27539 SOS 6939 HAS SOPS 6939 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6234.939
AT ITER 1847 NEW BEST:: SOT 27528 SOS 6934 HAS SOPS 6934 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6229.934
AT ITER 1880 NEW BEST:: SOT 27516 SOS 6934 HAS SOPS 6934 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6217.934
AT ITER 1893 NEW BEST:: SOT 27522 SOS 6933 HAS SOPS 6933 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6205.933
AT ITER 1930 NEW BEST:: SOT 27512 SOS 6902 HAS SOPS 6902 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6184.902
AT ITER 1960 NEW BEST:: SOT 27516 SOS 6907 HAS SOPS 6907 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6181.907
AT ITER 1967 NEW BEST:: SOT 27501 SOS 6892 HAS SOPS 6892 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6181.892
AT ITER 1974 NEW BEST:: SOT 27501 SOS 6892 HAS SOPS 6892 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6174.892
AT ITER 2015 NEW BEST:: SOT 27515 SOS 6887 HAS SOPS 6887 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6169.887
AT ITER 2020 NEW BEST:: SOT 27488 SOS 6788 HAS SOPS 6788 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6143.788
AT ITER 2067 NEW BEST:: SOT 27491 SOS 6786 HAS SOPS 6786 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6138.786
AT ITER 2070 NEW BEST:: SOT 27499 SOS 6756 HAS SOPS 6756 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6108.756
AT ITER 2080 NEW BEST:: SOT 27499 SOS 6760 HAS SOPS 6760 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6104.76
AT ITER 2092 NEW BEST:: SOT 27499 SOS 6740 HAS SOPS 6740 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6104.74
AT ITER 2133 NEW BEST:: SOT 27493 SOS 6739 HAS SOPS 6739 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6103.739
AT ITER 2144 NEW BEST:: SOT 27493 SOS 6673 HAS SOPS 6673 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6103.673
AT ITER 2246 NEW BEST:: SOT 27492 SOS 6654 HAS SOPS 6654 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6100.654
AT ITER 2287 NEW BEST:: SOT 27492 SOS 6628 HAS SOPS 6628 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6087.628
AT ITER 2299 NEW BEST:: SOT 27479 SOS 6602 HAS SOPS 6602 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6061.602
AT ITER 2328 NEW BEST:: SOT 27465 SOS 6591 HAS SOPS 6591 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6040.591
AT ITER 2381 NEW BEST:: SOT 27465 SOS 6583 HAS SOPS 6583 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6032.583
AT ITER 2472 NEW BEST:: SOT 27461 SOS 6581 HAS SOPS 6581 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6030.581
AT ITER 2497 NEW BEST:: SOT 27454 SOS 6587 HAS SOPS 6587 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6023.587
AT ITER 2520 NEW BEST:: SOT 27455 SOS 6570 HAS SOPS 6570 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6020.57
AT ITER 2537 NEW BEST:: SOT 27457 SOS 6568 HAS SOPS 6568 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.568
AT ITER 2573 NEW BEST:: SOT 27469 SOS 6588 HAS SOPS 6588 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6009.588
AT ITER 2600 NEW BEST:: SOT 27470 SOS 6587 HAS SOPS 6587 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6008.587
AT ITER 2604 NEW BEST:: SOT 27457 SOS 6544 HAS SOPS 6544 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.544
AT ITER 2605 NEW BEST:: SOT 27444 SOS 6518 HAS SOPS 6518 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.518
AT ITER 2678 NEW BEST:: SOT 27435 SOS 6491 HAS SOPS 6491 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5950.491
AT ITER 2699 NEW BEST:: SOT 27435 SOS 6463 HAS SOPS 6463 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5948.463
AT ITER 2718 NEW BEST:: SOT 27430 SOS 6468 HAS SOPS 6468 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5943.468
AT ITER 2737 NEW BEST:: SOT 27428 SOS 6464 HAS SOPS 6464 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5939.464
AT ITER 2823 NEW BEST:: SOT 27417 SOS 6471 HAS SOPS 6471 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5928.471
AT ITER 2849 NEW BEST:: SOT 27417 SOS 6469 HAS SOPS 6469 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5926.469
AT ITER 2852 NEW BEST:: SOT 27409 SOS 6465 HAS SOPS 6465 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5922.465
AT ITER 2935 NEW BEST:: SOT 27398 SOS 6500 HAS SOPS 6500 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5919.5
AT ITER 2966 NEW BEST:: SOT 27398 SOS 6504 HAS SOPS 6504 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5915.504
AT ITER 2985 NEW BEST:: SOT 27389 SOS 6514 HAS SOPS 6514 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5912.514
AT ITER 2994 NEW BEST:: SOT 27383 SOS 6489 HAS SOPS 6489 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5910.489
AT ITER 3000 NEW BEST:: SOT 27377 SOS 6477 HAS SOPS 6477 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5900.477
AT ITER 3004 NEW BEST:: SOT 27377 SOS 6476 HAS SOPS 6476 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5899.476
AT ITER 3005 NEW BEST:: SOT 27341 SOS 6404 HAS SOPS 6404 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5868.404
AT ITER 3031 NEW BEST:: SOT 27343 SOS 6407 HAS SOPS 6407 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5862.407
AT ITER 3047 NEW BEST:: SOT 27331 SOS 6425 HAS SOPS 6425 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5860.425
AT ITER 3101 NEW BEST:: SOT 27332 SOS 6404 HAS SOPS 6404 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5822.404
AT ITER 3152 NEW BEST:: SOT 27329 SOS 6407 HAS SOPS 6407 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5819.407
AT ITER 3168 NEW BEST:: SOT 27327 SOS 6401 HAS SOPS 6401 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5813.401
AT ITER 3187 NEW BEST:: SOT 27326 SOS 6400 HAS SOPS 6400 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5812.4
AT ITER 3194 NEW BEST:: SOT 27325 SOS 6399 HAS SOPS 6399 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5811.399
AT ITER 3222 NEW BEST:: SOT 27323 SOS 6390 HAS SOPS 6390 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.39
AT ITER 3258 NEW BEST:: SOT 27319 SOS 6409 HAS SOPS 6409 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.409
AT ITER 3262 NEW BEST:: SOT 27317 SOS 6407 HAS SOPS 6407 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.407
AT ITER 3268 NEW BEST:: SOT 27312 SOS 6401 HAS SOPS 6401 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5803.401
AT ITER 3282 NEW BEST:: SOT 27309 SOS 6387 HAS SOPS 6387 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.387
AT ITER 3324 NEW BEST:: SOT 27305 SOS 6379 HAS SOPS 6379 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.379
AT ITER 3397 NEW BEST:: SOT 27305 SOS 6363 HAS SOPS 6363 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.363
AT ITER 3440 NEW BEST:: SOT 27301 SOS 6387 HAS SOPS 6387 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5773.387
AT ITER 3448 NEW BEST:: SOT 27290 SOS 6370 HAS SOPS 6370 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.37
AT ITER 3503 NEW BEST:: SOT 27288 SOS 6368 HAS SOPS 6368 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.368
AT ITER 3518 NEW BEST:: SOT 27280 SOS 6374 HAS SOPS 6374 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.374
AT ITER 3577 NEW BEST:: SOT 27316 SOS 6419 HAS SOPS 6419 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.419
AT ITER 3578 NEW BEST:: SOT 27314 SOS 6422 HAS SOPS 6422 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5744.422
AT ITER 3655 NEW BEST:: SOT 27314 SOS 6420 HAS SOPS 6420 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.42
AT ITER 3658 NEW BEST:: SOT 27287 SOS 6400 HAS SOPS 6400 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5731.4
AT ITER 3721 NEW BEST:: SOT 27282 SOS 6383 HAS SOPS 6383 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.383
AT ITER 3754 NEW BEST:: SOT 27280 SOS 6381 HAS SOPS 6381 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.381
AT ITER 3813 NEW BEST:: SOT 27279 SOS 6354 HAS SOPS 6354 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.354
AT ITER 3822 NEW BEST:: SOT 27277 SOS 6350 HAS SOPS 6350 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.35
AT ITER 3826 NEW BEST:: SOT 27273 SOS 6342 HAS SOPS 6342 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.342
AT ITER 3860 NEW BEST:: SOT 27266 SOS 6335 HAS SOPS 6335 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.335
AT ITER 3895 NEW BEST:: SOT 27266 SOS 6334 HAS SOPS 6334 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5689.334
AT ITER 3936 NEW BEST:: SOT 27284 SOS 6351 HAS SOPS 6351 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.351
AT ITER 3943 NEW BEST:: SOT 27281 SOS 6350 HAS SOPS 6350 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5679.35
AT ITER 3952 NEW BEST:: SOT 27275 SOS 6344 HAS SOPS 6344 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.344
AT ITER 3955 NEW BEST:: SOT 27273 SOS 6344 HAS SOPS 6344 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.344
AT ITER 3964 NEW BEST:: SOT 27263 SOS 6324 HAS SOPS 6324 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5652.324
AT ITER 3982 NEW BEST:: SOT 27260 SOS 6314 HAS SOPS 6314 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5645.314
AT ITER 4018 NEW BEST:: SOT 27260 SOS 6307 HAS SOPS 6307 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.307
AT ITER 4028 NEW BEST:: SOT 27257 SOS 6298 HAS SOPS 6298 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.298
AT ITER 4057 NEW BEST:: SOT 27269 SOS 6295 HAS SOPS 6295 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.295
AT ITER 4074 NEW BEST:: SOT 27269 SOS 6287 HAS SOPS 6287 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.287
AT ITER 4103 NEW BEST:: SOT 27267 SOS 6285 HAS SOPS 6285 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.285
AT ITER 4186 NEW BEST:: SOT 27267 SOS 6283 HAS SOPS 6283 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.283
AT ITER 4254 NEW BEST:: SOT 27264 SOS 6298 HAS SOPS 6298 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5619.298
AT ITER 4291 NEW BEST:: SOT 27265 SOS 6304 HAS SOPS 6304 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.304
AT ITER 4340 NEW BEST:: SOT 27259 SOS 6292 HAS SOPS 6292 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.292
AT ITER 4347 NEW BEST:: SOT 27259 SOS 6285 HAS SOPS 6285 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.285
AT ITER 4379 NEW BEST:: SOT 27252 SOS 6296 HAS SOPS 6296 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.296
AT ITER 4383 NEW BEST:: SOT 27252 SOS 6293 HAS SOPS 6293 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.293
AT ITER 4443 NEW BEST:: SOT 27250 SOS 6292 HAS SOPS 6292 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5604.292
AT ITER 4457 NEW BEST:: SOT 27248 SOS 6290 HAS SOPS 6290 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5602.29
AT ITER 4482 NEW BEST:: SOT 27248 SOS 6289 HAS SOPS 6289 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5601.289
AT ITER 4532 NEW BEST:: SOT 27250 SOS 6293 HAS SOPS 6293 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.293
AT ITER 4549 NEW BEST:: SOT 27248 SOS 6289 HAS SOPS 6289 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5591.289
AT ITER 4571 NEW BEST:: SOT 27246 SOS 6287 HAS SOPS 6287 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5589.287
AT ITER 4595 NEW BEST:: SOT 27249 SOS 6276 HAS SOPS 6276 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.276
AT ITER 4610 NEW BEST:: SOT 27244 SOS 6266 HAS SOPS 6266 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.266
AT ITER 4615 NEW BEST:: SOT 27234 SOS 6247 HAS SOPS 6247 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.247
AT ITER 4633 NEW BEST:: SOT 27232 SOS 6242 HAS SOPS 6242 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5549.242
AT ITER 4661 NEW BEST:: SOT 27226 SOS 6240 HAS SOPS 6240 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.24
AT ITER 4674 NEW BEST:: SOT 27209 SOS 6223 HAS SOPS 6223 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.223
AT ITER 4694 NEW BEST:: SOT 27208 SOS 6221 HAS SOPS 6221 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.221
AT ITER 4708 NEW BEST:: SOT 27200 SOS 6214 HAS SOPS 6214 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.214
AT ITER 4743 NEW BEST:: SOT 27200 SOS 6208 HAS SOPS 6208 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.208
AT ITER 4766 NEW BEST:: SOT 27200 SOS 6206 HAS SOPS 6206 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.206
AT ITER 4775 NEW BEST:: SOT 27200 SOS 6196 HAS SOPS 6196 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.196
AT ITER 4855 NEW BEST:: SOT 27194 SOS 6188 HAS SOPS 6188 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.188
AT ITER 4979 NEW BEST:: SOT 27193 SOS 6185 HAS SOPS 6185 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5503.185
AT ITER 5001 NEW BEST:: SOT 27188 SOS 6175 HAS SOPS 6175 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.175
AT ITER 5095 NEW BEST:: SOT 27190 SOS 6163 HAS SOPS 6163 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.163
AT ITER 5127 NEW BEST:: SOT 27187 SOS 6159 HAS SOPS 6159 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.159
AT ITER 5198 NEW BEST:: SOT 27185 SOS 6152 HAS SOPS 6152 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5471.152
AT ITER 5200 NEW BEST:: SOT 27165 SOS 6140 HAS SOPS 6140 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.14
AT ITER 5253 NEW BEST:: SOT 27165 SOS 6139 HAS SOPS 6139 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.139
AT ITER 5257 NEW BEST:: SOT 27163 SOS 6116 HAS SOPS 6116 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.116
AT ITER 5286 NEW BEST:: SOT 27163 SOS 6116 HAS SOPS 6116 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.116
AT ITER 5316 NEW BEST:: SOT 27145 SOS 6080 HAS SOPS 6080 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5432.08
AT ITER 5419 NEW BEST:: SOT 27148 SOS 6093 HAS SOPS 6093 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.093
AT ITER 5433 NEW BEST:: SOT 27146 SOS 6091 HAS SOPS 6091 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5429.091
AT ITER 5453 NEW BEST:: SOT 27145 SOS 6087 HAS SOPS 6087 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.087
AT ITER 5476 NEW BEST:: SOT 27144 SOS 6085 HAS SOPS 6085 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5424.085
AT ITER 5483 NEW BEST:: SOT 27144 SOS 6085 HAS SOPS 6085 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.085
AT ITER 5500 NEW BEST:: SOT 27140 SOS 6077 HAS SOPS 6077 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.077
AT ITER 5515 NEW BEST:: SOT 27137 SOS 6074 HAS SOPS 6074 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.074
AT ITER 5545 NEW BEST:: SOT 27134 SOS 6071 HAS SOPS 6071 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5401.071
AT ITER 5557 NEW BEST:: SOT 27136 SOS 6068 HAS SOPS 6068 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5398.068
AT ITER 5569 NEW BEST:: SOT 27123 SOS 6077 HAS SOPS 6077 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.077
AT ITER 5622 NEW BEST:: SOT 27123 SOS 6061 HAS SOPS 6061 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5378.061
AT ITER 5635 NEW BEST:: SOT 27135 SOS 6033 HAS SOPS 6033 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5369.033
AT ITER 5663 NEW BEST:: SOT 27136 SOS 6043 HAS SOPS 6043 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5361.043
AT ITER 5705 NEW BEST:: SOT 27136 SOS 6042 HAS SOPS 6042 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.042
AT ITER 5706 NEW BEST:: SOT 27135 SOS 6039 HAS SOPS 6039 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5358.039
AT ITER 5725 NEW BEST:: SOT 27135 SOS 6027 HAS SOPS 6027 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5358.027
AT ITER 5792 NEW BEST:: SOT 27135 SOS 6021 HAS SOPS 6021 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.021
AT ITER 5801 NEW BEST:: SOT 27134 SOS 6019 HAS SOPS 6019 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.019
AT ITER 5834 NEW BEST:: SOT 27144 SOS 6013 HAS SOPS 6013 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.013
AT ITER 5907 NEW BEST:: SOT 27144 SOS 6002 HAS SOPS 6002 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.002
AT ITER 5983 NEW BEST:: SOT 27148 SOS 6000 HAS SOPS 6000 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5348.0
AT ITER 6030 NEW BEST:: SOT 27148 SOS 6000 HAS SOPS 6000 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5347.0
AT ITER 6060 NEW BEST:: SOT 27139 SOS 5964 HAS SOPS 5964 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5319.964
AT ITER 6076 NEW BEST:: SOT 27129 SOS 5954 HAS SOPS 5954 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.954
AT ITER 6086 NEW BEST:: SOT 27129 SOS 5950 HAS SOPS 5950 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5305.95
AT ITER 6114 NEW BEST:: SOT 27137 SOS 5966 HAS SOPS 5966 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5298.966
AT ITER 6125 NEW BEST:: SOT 27140 SOS 5956 HAS SOPS 5956 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5297.956
AT ITER 6131 NEW BEST:: SOT 27136 SOS 5943 HAS SOPS 5943 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5288.943
AT ITER 6144 NEW BEST:: SOT 27127 SOS 5881 HAS SOPS 5881 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.881
AT ITER 6148 NEW BEST:: SOT 27124 SOS 5875 HAS SOPS 5875 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5279.875
AT ITER 6270 NEW BEST:: SOT 27124 SOS 5866 HAS SOPS 5866 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5279.866
AT ITER 6315 NEW BEST:: SOT 27121 SOS 5863 HAS SOPS 5863 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5276.863
AT ITER 6501 NEW BEST:: SOT 27120 SOS 5861 HAS SOPS 5861 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5274.861
AT ITER 6561 NEW BEST:: SOT 27120 SOS 5857 HAS SOPS 5857 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5270.857
AT ITER 6576 NEW BEST:: SOT 27116 SOS 5851 HAS SOPS 5851 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5264.851
AT ITER 6577 NEW BEST:: SOT 27106 SOS 5843 HAS SOPS 5843 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5256.843
AT ITER 6591 NEW BEST:: SOT 27104 SOS 5841 HAS SOPS 5841 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5256.841
AT ITER 6592 NEW BEST:: SOT 27097 SOS 5827 HAS SOPS 5827 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5242.827
AT ITER 6606 NEW BEST:: SOT 27097 SOS 5829 HAS SOPS 5829 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5237.829
AT ITER 6670 NEW BEST:: SOT 27097 SOS 5827 HAS SOPS 5827 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5235.827
AT ITER 6700 NEW BEST:: SOT 27095 SOS 5819 HAS SOPS 5819 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.819
AT ITER 6713 NEW BEST:: SOT 27095 SOS 5818 HAS SOPS 5818 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.818
AT ITER 6722 NEW BEST:: SOT 27091 SOS 5814 HAS SOPS 5814 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5226.814
AT ITER 6733 NEW BEST:: SOT 27091 SOS 5808 HAS SOPS 5808 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5226.808
AT ITER 6758 NEW BEST:: SOT 27091 SOS 5806 HAS SOPS 5806 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.806
AT ITER 6760 NEW BEST:: SOT 27096 SOS 5815 HAS SOPS 5815 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5217.815
AT ITER 6764 NEW BEST:: SOT 27089 SOS 5809 HAS SOPS 5809 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5211.809
AT ITER 6771 NEW BEST:: SOT 27089 SOS 5805 HAS SOPS 5805 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5207.805
AT ITER 6808 NEW BEST:: SOT 27091 SOS 5802 HAS SOPS 5802 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5204.802
AT ITER 6822 NEW BEST:: SOT 27091 SOS 5802 HAS SOPS 5802 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5194.802
AT ITER 6833 NEW BEST:: SOT 27091 SOS 5799 HAS SOPS 5799 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5194.799
AT ITER 6864 NEW BEST:: SOT 27115 SOS 5832 HAS SOPS 5832 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5192.832
AT ITER 6885 NEW BEST:: SOT 27100 SOS 5859 HAS SOPS 5859 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5189.859
AT ITER 6962 NEW BEST:: SOT 27095 SOS 5834 HAS SOPS 5834 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5179.834
AT ITER 6982 NEW BEST:: SOT 27066 SOS 5773 HAS SOPS 5773 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5119.773
AT ITER 7017 NEW BEST:: SOT 27065 SOS 5794 HAS SOPS 5794 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5115.794
AT ITER 7039 NEW BEST:: SOT 27061 SOS 5775 HAS SOPS 5775 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.775
AT ITER 7109 NEW BEST:: SOT 27064 SOS 5771 HAS SOPS 5771 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5107.771
AT ITER 7131 NEW BEST:: SOT 27077 SOS 5784 HAS SOPS 5784 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5106.784
AT ITER 7144 NEW BEST:: SOT 27080 SOS 5768 HAS SOPS 5768 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5103.768
AT ITER 7205 NEW BEST:: SOT 27047 SOS 5743 HAS SOPS 5743 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5078.743
AT ITER 7264 NEW BEST:: SOT 27046 SOS 5736 HAS SOPS 5736 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5071.736
AT ITER 7412 NEW BEST:: SOT 27046 SOS 5735 HAS SOPS 5735 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5071.735
AT ITER 7435 NEW BEST:: SOT 27047 SOS 5722 HAS SOPS 5722 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5067.722
AT ITER 7483 NEW BEST:: SOT 27047 SOS 5706 HAS SOPS 5706 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5067.706
AT ITER 7604 NEW BEST:: SOT 27073 SOS 5703 HAS SOPS 5703 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5064.703
AT ITER 7651 NEW BEST:: SOT 27086 SOS 5667 HAS SOPS 5667 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5054.667
AT ITER 7657 NEW BEST:: SOT 27086 SOS 5665 HAS SOPS 5665 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5052.665
AT ITER 7665 NEW BEST:: SOT 27086 SOS 5637 HAS SOPS 5637 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5043.637
AT ITER 7706 NEW BEST:: SOT 27080 SOS 5609 HAS SOPS 5609 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5029.609
AT ITER 7710 NEW BEST:: SOT 27080 SOS 5593 HAS SOPS 5593 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.593
AT ITER 7783 NEW BEST:: SOT 27079 SOS 5589 HAS SOPS 5589 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5021.589
AT ITER 7818 NEW BEST:: SOT 27083 SOS 5582 HAS SOPS 5582 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.582
AT ITER 7824 NEW BEST:: SOT 27089 SOS 5585 HAS SOPS 5585 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5018.585
AT ITER 7880 NEW BEST:: SOT 27090 SOS 5584 HAS SOPS 5584 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5017.584
AT ITER 8047 NEW BEST:: SOT 27090 SOS 5578 HAS SOPS 5578 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5011.578
AT ITER 8083 NEW BEST:: SOT 27085 SOS 5565 HAS SOPS 5565 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4998.565
AT ITER 8305 NEW BEST:: SOT 27085 SOS 5565 HAS SOPS 5565 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4996.565
AT ITER 8311 NEW BEST:: SOT 27080 SOS 5560 HAS SOPS 5560 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4996.56
AT ITER 8340 NEW BEST:: SOT 27080 SOS 5558 HAS SOPS 5558 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4994.558
AT ITER 8393 NEW BEST:: SOT 27084 SOS 5559 HAS SOPS 5559 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4988.559
AT ITER 8438 NEW BEST:: SOT 27083 SOS 5557 HAS SOPS 5557 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4986.557
AT ITER 8458 NEW BEST:: SOT 27052 SOS 5523 HAS SOPS 5523 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4964.523
AT ITER 8530 NEW BEST:: SOT 27047 SOS 5509 HAS SOPS 5509 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4950.509
AT ITER 8606 NEW BEST:: SOT 27039 SOS 5493 HAS SOPS 5493 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.493
AT ITER 8688 NEW BEST:: SOT 27039 SOS 5492 HAS SOPS 5492 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4933.492
AT ITER 8697 NEW BEST:: SOT 27034 SOS 5497 HAS SOPS 5497 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4928.497
AT ITER 8871 NEW BEST:: SOT 27034 SOS 5497 HAS SOPS 5497 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4925.497
AT ITER 8900 NEW BEST:: SOT 27033 SOS 5502 HAS SOPS 5502 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.502
AT ITER 8905 NEW BEST:: SOT 27022 SOS 5495 HAS SOPS 5495 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4910.495
AT ITER 8940 NEW BEST:: SOT 27021 SOS 5467 HAS SOPS 5467 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4908.467
AT ITER 8980 NEW BEST:: SOT 27017 SOS 5474 HAS SOPS 5474 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4907.474
AT ITER 9012 NEW BEST:: SOT 27013 SOS 5475 HAS SOPS 5475 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4906.475
AT ITER 9042 NEW BEST:: SOT 27008 SOS 5453 HAS SOPS 5453 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.453
AT ITER 9068 NEW BEST:: SOT 27009 SOS 5449 HAS SOPS 5449 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4877.449
AT ITER 9074 NEW BEST:: SOT 27009 SOS 5448 HAS SOPS 5448 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4875.448
AT ITER 9098 NEW BEST:: SOT 26993 SOS 5432 HAS SOPS 5432 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4859.432
AT ITER 9099 NEW BEST:: SOT 26993 SOS 5431 HAS SOPS 5431 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4858.431
AT ITER 9171 NEW BEST:: SOT 26991 SOS 5430 HAS SOPS 5430 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4857.43
AT ITER 9194 NEW BEST:: SOT 26990 SOS 5429 HAS SOPS 5429 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4856.429
AT ITER 9231 NEW BEST:: SOT 26988 SOS 5420 HAS SOPS 5420 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4852.42
AT ITER 9271 NEW BEST:: SOT 26984 SOS 5422 HAS SOPS 5422 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4851.422
AT ITER 9403 NEW BEST:: SOT 26983 SOS 5419 HAS SOPS 5419 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4851.419
AT ITER 9438 NEW BEST:: SOT 26983 SOS 5418 HAS SOPS 5418 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.418
AT ITER 9600 NEW BEST:: SOT 26983 SOS 5415 HAS SOPS 5415 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4847.415
AT ITER 9602 NEW BEST:: SOT 26975 SOS 5410 HAS SOPS 5410 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4842.41
AT ITER 9694 NEW BEST:: SOT 26974 SOS 5395 HAS SOPS 5395 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.395
AT ITER 9774 NEW BEST:: SOT 26983 SOS 5409 HAS SOPS 5409 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4833.409
AT ITER 9788 NEW BEST:: SOT 26983 SOS 5408 HAS SOPS 5408 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4830.408

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPt-PT-003B"
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 ShieldPPPt-PT-003B, 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 r207-tajo-159033469700616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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