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-158961250100132.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 NQueens-PT-10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100132
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.0K Apr 8 13:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 13:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 90K Mar 24 05:37 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 NQueens-PT-10-CTLFireability-00
FORMULA_NAME NQueens-PT-10-CTLFireability-01
FORMULA_NAME NQueens-PT-10-CTLFireability-02
FORMULA_NAME NQueens-PT-10-CTLFireability-03
FORMULA_NAME NQueens-PT-10-CTLFireability-04
FORMULA_NAME NQueens-PT-10-CTLFireability-05
FORMULA_NAME NQueens-PT-10-CTLFireability-06
FORMULA_NAME NQueens-PT-10-CTLFireability-07
FORMULA_NAME NQueens-PT-10-CTLFireability-08
FORMULA_NAME NQueens-PT-10-CTLFireability-09
FORMULA_NAME NQueens-PT-10-CTLFireability-10
FORMULA_NAME NQueens-PT-10-CTLFireability-11
FORMULA_NAME NQueens-PT-10-CTLFireability-12
FORMULA_NAME NQueens-PT-10-CTLFireability-13
FORMULA_NAME NQueens-PT-10-CTLFireability-14
FORMULA_NAME NQueens-PT-10-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589637814787

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 10
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 160 places, 100 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 12143 SOS 7405 HAS SOPS 7405 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6969.405
AT ITER 4 NEW BEST:: SOT 12128 SOS 7386 HAS SOPS 7386 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6949.386
AT ITER 13 NEW BEST:: SOT 12101 SOS 7483 HAS SOPS 7483 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6928.483
AT ITER 15 NEW BEST:: SOT 12062 SOS 7525 HAS SOPS 7525 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6889.525
AT ITER 16 NEW BEST:: SOT 12062 SOS 7410 HAS SOPS 7410 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6889.41
AT ITER 23 NEW BEST:: SOT 12002 SOS 7440 HAS SOPS 7440 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.44
AT ITER 24 NEW BEST:: SOT 11957 SOS 7390 HAS SOPS 7390 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6791.39
AT ITER 26 NEW BEST:: SOT 11947 SOS 7379 HAS SOPS 7379 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6781.379
AT ITER 34 NEW BEST:: SOT 11936 SOS 7363 HAS SOPS 7363 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6757.363
AT ITER 35 NEW BEST:: SOT 11905 SOS 7343 HAS SOPS 7343 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6735.343
AT ITER 39 NEW BEST:: SOT 11907 SOS 7345 HAS SOPS 7345 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6733.345
AT ITER 46 NEW BEST:: SOT 11799 SOS 7644 HAS SOPS 7644 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.644
AT ITER 62 NEW BEST:: SOT 11799 SOS 7641 HAS SOPS 7641 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.641
AT ITER 67 NEW BEST:: SOT 11762 SOS 7625 HAS SOPS 7625 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6665.625
AT ITER 69 NEW BEST:: SOT 11786 SOS 7601 HAS SOPS 7601 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6647.601
AT ITER 70 NEW BEST:: SOT 11752 SOS 7649 HAS SOPS 7649 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.649
AT ITER 81 NEW BEST:: SOT 11752 SOS 7649 HAS SOPS 7649 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.649
AT ITER 98 NEW BEST:: SOT 11752 SOS 7615 HAS SOPS 7615 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.615
AT ITER 107 NEW BEST:: SOT 11712 SOS 7575 HAS SOPS 7575 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6582.575
AT ITER 118 NEW BEST:: SOT 11649 SOS 7517 HAS SOPS 7517 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6535.517
AT ITER 123 NEW BEST:: SOT 11644 SOS 7512 HAS SOPS 7512 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.512
AT ITER 127 NEW BEST:: SOT 11480 SOS 7348 HAS SOPS 7348 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.348
AT ITER 128 NEW BEST:: SOT 11470 SOS 7330 HAS SOPS 7330 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6357.33
AT ITER 139 NEW BEST:: SOT 11383 SOS 6911 HAS SOPS 6911 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6231.911
AT ITER 147 NEW BEST:: SOT 11370 SOS 6977 HAS SOPS 6977 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6227.977
AT ITER 151 NEW BEST:: SOT 11355 SOS 6983 HAS SOPS 6983 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6221.983
AT ITER 173 NEW BEST:: SOT 11294 SOS 7082 HAS SOPS 7082 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6177.082
AT ITER 174 NEW BEST:: SOT 11283 SOS 7071 HAS SOPS 7071 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6166.071
AT ITER 176 NEW BEST:: SOT 11283 SOS 6972 HAS SOPS 6972 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6162.972
AT ITER 195 NEW BEST:: SOT 11277 SOS 6966 HAS SOPS 6966 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6156.966
AT ITER 200 NEW BEST:: SOT 11277 SOS 6937 HAS SOPS 6937 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6151.937
AT ITER 219 NEW BEST:: SOT 11277 SOS 7027 HAS SOPS 7027 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.027
AT ITER 221 NEW BEST:: SOT 11275 SOS 7025 HAS SOPS 7025 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6149.025
AT ITER 243 NEW BEST:: SOT 11250 SOS 7017 HAS SOPS 7017 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6126.017
AT ITER 279 NEW BEST:: SOT 11250 SOS 7001 HAS SOPS 7001 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6122.001
AT ITER 305 NEW BEST:: SOT 11250 SOS 7000 HAS SOPS 7000 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6122.0
AT ITER 309 NEW BEST:: SOT 11247 SOS 6997 HAS SOPS 6997 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.997
AT ITER 311 NEW BEST:: SOT 11262 SOS 6980 HAS SOPS 6980 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6091.98
AT ITER 320 NEW BEST:: SOT 11261 SOS 6979 HAS SOPS 6979 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6090.979
AT ITER 334 NEW BEST:: SOT 11261 SOS 6968 HAS SOPS 6968 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6089.968
AT ITER 349 NEW BEST:: SOT 11261 SOS 6958 HAS SOPS 6958 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6089.958
AT ITER 366 NEW BEST:: SOT 11239 SOS 6936 HAS SOPS 6936 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6067.936
AT ITER 383 NEW BEST:: SOT 11239 SOS 6871 HAS SOPS 6871 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6067.871
AT ITER 387 NEW BEST:: SOT 11239 SOS 6867 HAS SOPS 6867 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6067.867
AT ITER 390 NEW BEST:: SOT 11239 SOS 6781 HAS SOPS 6781 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6064.781
AT ITER 397 NEW BEST:: SOT 11234 SOS 6776 HAS SOPS 6776 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6059.776
AT ITER 399 NEW BEST:: SOT 11219 SOS 6761 HAS SOPS 6761 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6050.761
AT ITER 401 NEW BEST:: SOT 11219 SOS 6758 HAS SOPS 6758 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6050.758
AT ITER 406 NEW BEST:: SOT 11213 SOS 6752 HAS SOPS 6752 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6044.752
AT ITER 420 NEW BEST:: SOT 11213 SOS 6752 HAS SOPS 6752 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6043.752
AT ITER 430 NEW BEST:: SOT 11176 SOS 6715 HAS SOPS 6715 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6006.715
AT ITER 443 NEW BEST:: SOT 11176 SOS 6707 HAS SOPS 6707 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 5999.707
AT ITER 446 NEW BEST:: SOT 11176 SOS 6704 HAS SOPS 6704 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 5999.704
AT ITER 460 NEW BEST:: SOT 11176 SOS 6624 HAS SOPS 6624 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5989.624
AT ITER 464 NEW BEST:: SOT 11176 SOS 6594 HAS SOPS 6594 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5989.594
AT ITER 493 NEW BEST:: SOT 11161 SOS 6498 HAS SOPS 6498 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5985.498
AT ITER 505 NEW BEST:: SOT 11141 SOS 6475 HAS SOPS 6475 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5965.475
AT ITER 510 NEW BEST:: SOT 11131 SOS 6461 HAS SOPS 6461 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5943.461
AT ITER 512 NEW BEST:: SOT 11130 SOS 6460 HAS SOPS 6460 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5942.46
AT ITER 517 NEW BEST:: SOT 11130 SOS 6417 HAS SOPS 6417 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5928.417
AT ITER 526 NEW BEST:: SOT 11106 SOS 6409 HAS SOPS 6409 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.409
AT ITER 534 NEW BEST:: SOT 11106 SOS 6405 HAS SOPS 6405 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.405
AT ITER 541 NEW BEST:: SOT 11106 SOS 6397 HAS SOPS 6397 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.397
AT ITER 543 NEW BEST:: SOT 11091 SOS 6427 HAS SOPS 6427 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5906.427
AT ITER 546 NEW BEST:: SOT 11091 SOS 6413 HAS SOPS 6413 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5892.413
AT ITER 594 NEW BEST:: SOT 11092 SOS 6412 HAS SOPS 6412 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5890.412
AT ITER 607 NEW BEST:: SOT 11079 SOS 6399 HAS SOPS 6399 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.399
AT ITER 610 NEW BEST:: SOT 11079 SOS 6387 HAS SOPS 6387 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.387
AT ITER 614 NEW BEST:: SOT 11075 SOS 6383 HAS SOPS 6383 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5873.383
AT ITER 615 NEW BEST:: SOT 11072 SOS 6401 HAS SOPS 6401 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5870.401
AT ITER 616 NEW BEST:: SOT 11071 SOS 6400 HAS SOPS 6400 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.4
AT ITER 626 NEW BEST:: SOT 11071 SOS 6396 HAS SOPS 6396 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.396
AT ITER 642 NEW BEST:: SOT 11024 SOS 6361 HAS SOPS 6361 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5845.361
AT ITER 652 NEW BEST:: SOT 11024 SOS 6356 HAS SOPS 6356 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5840.356
AT ITER 669 NEW BEST:: SOT 11012 SOS 6322 HAS SOPS 6322 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5839.322
AT ITER 689 NEW BEST:: SOT 11016 SOS 6314 HAS SOPS 6314 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.314
AT ITER 738 NEW BEST:: SOT 11016 SOS 6310 HAS SOPS 6310 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.31
AT ITER 757 NEW BEST:: SOT 11012 SOS 6306 HAS SOPS 6306 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5821.306
AT ITER 768 NEW BEST:: SOT 10973 SOS 6287 HAS SOPS 6287 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5786.287
AT ITER 782 NEW BEST:: SOT 10973 SOS 6297 HAS SOPS 6297 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5781.297
AT ITER 803 NEW BEST:: SOT 10978 SOS 6312 HAS SOPS 6312 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5779.312
AT ITER 811 NEW BEST:: SOT 10977 SOS 6310 HAS SOPS 6310 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.31
AT ITER 819 NEW BEST:: SOT 10977 SOS 6306 HAS SOPS 6306 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.306
AT ITER 859 NEW BEST:: SOT 10976 SOS 6308 HAS SOPS 6308 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.308
AT ITER 866 NEW BEST:: SOT 10951 SOS 6316 HAS SOPS 6316 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.316
AT ITER 874 NEW BEST:: SOT 10943 SOS 6308 HAS SOPS 6308 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5757.308
AT ITER 910 NEW BEST:: SOT 10938 SOS 6303 HAS SOPS 6303 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.303
AT ITER 914 NEW BEST:: SOT 10938 SOS 6303 HAS SOPS 6303 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.303
AT ITER 945 NEW BEST:: SOT 10938 SOS 6290 HAS SOPS 6290 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5744.29
AT ITER 948 NEW BEST:: SOT 10934 SOS 6286 HAS SOPS 6286 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.286
AT ITER 953 NEW BEST:: SOT 10934 SOS 6276 HAS SOPS 6276 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.276
AT ITER 975 NEW BEST:: SOT 10934 SOS 6277 HAS SOPS 6277 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5729.277
AT ITER 983 NEW BEST:: SOT 10927 SOS 6297 HAS SOPS 6297 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.297
AT ITER 993 NEW BEST:: SOT 10927 SOS 6294 HAS SOPS 6294 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.294
AT ITER 1025 NEW BEST:: SOT 10924 SOS 6291 HAS SOPS 6291 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5723.291
AT ITER 1031 NEW BEST:: SOT 10918 SOS 6296 HAS SOPS 6296 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5720.296
AT ITER 1042 NEW BEST:: SOT 10916 SOS 6294 HAS SOPS 6294 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5718.294
AT ITER 1049 NEW BEST:: SOT 10909 SOS 6307 HAS SOPS 6307 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5711.307
AT ITER 1051 NEW BEST:: SOT 10909 SOS 6326 HAS SOPS 6326 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.326
AT ITER 1065 NEW BEST:: SOT 10907 SOS 6323 HAS SOPS 6323 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5706.323
AT ITER 1073 NEW BEST:: SOT 10905 SOS 6286 HAS SOPS 6286 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.286
AT ITER 1075 NEW BEST:: SOT 10900 SOS 6281 HAS SOPS 6281 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5675.281
AT ITER 1078 NEW BEST:: SOT 10898 SOS 6280 HAS SOPS 6280 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.28
AT ITER 1092 NEW BEST:: SOT 10876 SOS 6262 HAS SOPS 6262 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.262
AT ITER 1110 NEW BEST:: SOT 10876 SOS 6265 HAS SOPS 6265 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.265
AT ITER 1132 NEW BEST:: SOT 10876 SOS 6260 HAS SOPS 6260 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.26
AT ITER 1182 NEW BEST:: SOT 10876 SOS 6258 HAS SOPS 6258 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.258
AT ITER 1257 NEW BEST:: SOT 10876 SOS 6245 HAS SOPS 6245 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5643.245
AT ITER 1262 NEW BEST:: SOT 10876 SOS 6224 HAS SOPS 6224 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5643.224
AT ITER 1274 NEW BEST:: SOT 10877 SOS 6237 HAS SOPS 6237 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5630.237
AT ITER 1284 NEW BEST:: SOT 10877 SOS 6236 HAS SOPS 6236 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.236
AT ITER 1302 NEW BEST:: SOT 10878 SOS 6237 HAS SOPS 6237 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.237
AT ITER 1321 NEW BEST:: SOT 10877 SOS 6236 HAS SOPS 6236 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5620.236
AT ITER 1328 NEW BEST:: SOT 10876 SOS 6235 HAS SOPS 6235 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5619.235
AT ITER 1344 NEW BEST:: SOT 10877 SOS 6235 HAS SOPS 6235 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.235
AT ITER 1351 NEW BEST:: SOT 10877 SOS 6223 HAS SOPS 6223 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.223
AT ITER 1365 NEW BEST:: SOT 10875 SOS 6221 HAS SOPS 6221 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.221
AT ITER 1427 NEW BEST:: SOT 10875 SOS 6218 HAS SOPS 6218 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.218
AT ITER 1489 NEW BEST:: SOT 10875 SOS 6123 HAS SOPS 6123 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.123
AT ITER 1506 NEW BEST:: SOT 10870 SOS 6121 HAS SOPS 6121 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.121
AT ITER 1507 NEW BEST:: SOT 10858 SOS 6190 HAS SOPS 6190 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5602.19
AT ITER 1525 NEW BEST:: SOT 10809 SOS 6319 HAS SOPS 6319 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.319
AT ITER 1526 NEW BEST:: SOT 10809 SOS 6304 HAS SOPS 6304 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.304
AT ITER 1541 NEW BEST:: SOT 10809 SOS 6280 HAS SOPS 6280 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.28
AT ITER 1552 NEW BEST:: SOT 10785 SOS 6308 HAS SOPS 6308 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.308
AT ITER 1591 NEW BEST:: SOT 10782 SOS 6315 HAS SOPS 6315 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.315
AT ITER 1620 NEW BEST:: SOT 10771 SOS 6413 HAS SOPS 6413 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5545.413
AT ITER 1625 NEW BEST:: SOT 10768 SOS 6410 HAS SOPS 6410 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.41
AT ITER 1629 NEW BEST:: SOT 10746 SOS 6388 HAS SOPS 6388 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.388
AT ITER 1634 NEW BEST:: SOT 10741 SOS 6383 HAS SOPS 6383 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5528.383
AT ITER 1645 NEW BEST:: SOT 10740 SOS 6382 HAS SOPS 6382 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.382
AT ITER 1650 NEW BEST:: SOT 10740 SOS 6381 HAS SOPS 6381 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.381
AT ITER 1677 NEW BEST:: SOT 10740 SOS 6377 HAS SOPS 6377 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.377
AT ITER 1697 NEW BEST:: SOT 10703 SOS 6353 HAS SOPS 6353 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.353
AT ITER 1711 NEW BEST:: SOT 10698 SOS 6348 HAS SOPS 6348 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.348
AT ITER 1722 NEW BEST:: SOT 10698 SOS 6351 HAS SOPS 6351 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.351
AT ITER 1748 NEW BEST:: SOT 10698 SOS 6349 HAS SOPS 6349 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.349
AT ITER 1750 NEW BEST:: SOT 10694 SOS 6345 HAS SOPS 6345 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5503.345
AT ITER 1752 NEW BEST:: SOT 10684 SOS 6368 HAS SOPS 6368 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.368
AT ITER 1760 NEW BEST:: SOT 10657 SOS 6343 HAS SOPS 6343 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.343
AT ITER 1764 NEW BEST:: SOT 10654 SOS 6340 HAS SOPS 6340 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5465.34
AT ITER 1782 NEW BEST:: SOT 10642 SOS 6323 HAS SOPS 6323 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5462.323
AT ITER 1785 NEW BEST:: SOT 10642 SOS 6323 HAS SOPS 6323 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.323
AT ITER 1804 NEW BEST:: SOT 10642 SOS 6320 HAS SOPS 6320 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.32
AT ITER 1859 NEW BEST:: SOT 10642 SOS 6304 HAS SOPS 6304 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.304
AT ITER 1874 NEW BEST:: SOT 10642 SOS 6302 HAS SOPS 6302 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.302
AT ITER 1887 NEW BEST:: SOT 10642 SOS 6302 HAS SOPS 6302 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5446.302
AT ITER 1909 NEW BEST:: SOT 10642 SOS 6357 HAS SOPS 6357 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5445.357
AT ITER 1927 NEW BEST:: SOT 10630 SOS 6372 HAS SOPS 6372 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.372
AT ITER 1929 NEW BEST:: SOT 10630 SOS 6367 HAS SOPS 6367 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.367
AT ITER 1987 NEW BEST:: SOT 10630 SOS 6311 HAS SOPS 6311 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.311
AT ITER 1996 NEW BEST:: SOT 10618 SOS 6299 HAS SOPS 6299 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5432.299
AT ITER 2012 NEW BEST:: SOT 10611 SOS 6292 HAS SOPS 6292 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.292
AT ITER 2019 NEW BEST:: SOT 10609 SOS 6290 HAS SOPS 6290 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.29
AT ITER 2067 NEW BEST:: SOT 10608 SOS 6313 HAS SOPS 6313 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.313
AT ITER 2074 NEW BEST:: SOT 10595 SOS 6260 HAS SOPS 6260 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.26
AT ITER 2112 NEW BEST:: SOT 10595 SOS 6260 HAS SOPS 6260 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5413.26
AT ITER 2117 NEW BEST:: SOT 10591 SOS 6262 HAS SOPS 6262 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5411.262
AT ITER 2120 NEW BEST:: SOT 10591 SOS 6259 HAS SOPS 6259 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.259
AT ITER 2165 NEW BEST:: SOT 10591 SOS 6279 HAS SOPS 6279 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.279
AT ITER 2212 NEW BEST:: SOT 10591 SOS 6249 HAS SOPS 6249 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.249
AT ITER 2241 NEW BEST:: SOT 10591 SOS 6224 HAS SOPS 6224 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.224
AT ITER 2262 NEW BEST:: SOT 10593 SOS 6226 HAS SOPS 6226 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.226
AT ITER 2282 NEW BEST:: SOT 10592 SOS 6225 HAS SOPS 6225 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.225
AT ITER 2289 NEW BEST:: SOT 10592 SOS 6224 HAS SOPS 6224 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5403.224
AT ITER 2294 NEW BEST:: SOT 10592 SOS 6224 HAS SOPS 6224 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5400.224
AT ITER 2306 NEW BEST:: SOT 10592 SOS 6221 HAS SOPS 6221 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.221
AT ITER 2309 NEW BEST:: SOT 10575 SOS 6217 HAS SOPS 6217 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.217
AT ITER 2324 NEW BEST:: SOT 10575 SOS 6212 HAS SOPS 6212 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.212
AT ITER 2332 NEW BEST:: SOT 10575 SOS 6209 HAS SOPS 6209 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.209
AT ITER 2337 NEW BEST:: SOT 10575 SOS 6214 HAS SOPS 6214 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.214
AT ITER 2357 NEW BEST:: SOT 10575 SOS 6212 HAS SOPS 6212 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5368.212
AT ITER 2386 NEW BEST:: SOT 10575 SOS 6208 HAS SOPS 6208 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5364.208
AT ITER 2398 NEW BEST:: SOT 10575 SOS 6266 HAS SOPS 6266 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.266
AT ITER 2404 NEW BEST:: SOT 10575 SOS 6245 HAS SOPS 6245 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.245
AT ITER 2462 NEW BEST:: SOT 10575 SOS 6235 HAS SOPS 6235 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.235
AT ITER 2466 NEW BEST:: SOT 10537 SOS 6199 HAS SOPS 6199 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.199
AT ITER 2481 NEW BEST:: SOT 10537 SOS 6199 HAS SOPS 6199 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5359.199
AT ITER 2524 NEW BEST:: SOT 10537 SOS 6175 HAS SOPS 6175 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5354.175
AT ITER 2588 NEW BEST:: SOT 10537 SOS 6160 HAS SOPS 6160 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.16
AT ITER 2615 NEW BEST:: SOT 10537 SOS 6145 HAS SOPS 6145 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.145
AT ITER 2672 NEW BEST:: SOT 10535 SOS 6143 HAS SOPS 6143 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.143
AT ITER 2683 NEW BEST:: SOT 10535 SOS 6128 HAS SOPS 6128 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.128
AT ITER 2702 NEW BEST:: SOT 10533 SOS 6126 HAS SOPS 6126 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.126
AT ITER 2724 NEW BEST:: SOT 10528 SOS 6121 HAS SOPS 6121 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.121
AT ITER 2727 NEW BEST:: SOT 10528 SOS 6093 HAS SOPS 6093 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.093
AT ITER 2766 NEW BEST:: SOT 10508 SOS 6147 HAS SOPS 6147 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.147
AT ITER 2781 NEW BEST:: SOT 10497 SOS 6136 HAS SOPS 6136 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.136
AT ITER 2786 NEW BEST:: SOT 10474 SOS 6122 HAS SOPS 6122 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.122
AT ITER 2810 NEW BEST:: SOT 10477 SOS 6125 HAS SOPS 6125 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.125
AT ITER 2823 NEW BEST:: SOT 10470 SOS 6118 HAS SOPS 6118 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.118
AT ITER 2887 NEW BEST:: SOT 10469 SOS 6141 HAS SOPS 6141 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5292.141
AT ITER 2917 NEW BEST:: SOT 10469 SOS 6150 HAS SOPS 6150 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5284.15
AT ITER 2936 NEW BEST:: SOT 10468 SOS 6149 HAS SOPS 6149 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.149
AT ITER 2941 NEW BEST:: SOT 10468 SOS 6148 HAS SOPS 6148 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.148
AT ITER 2946 NEW BEST:: SOT 10468 SOS 6142 HAS SOPS 6142 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.142
AT ITER 2981 NEW BEST:: SOT 10464 SOS 6208 HAS SOPS 6208 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.208
AT ITER 3062 NEW BEST:: SOT 10466 SOS 6210 HAS SOPS 6210 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.21
AT ITER 3077 NEW BEST:: SOT 10466 SOS 6210 HAS SOPS 6210 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5276.21
AT ITER 3078 NEW BEST:: SOT 10466 SOS 6210 HAS SOPS 6210 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5275.21
AT ITER 3115 NEW BEST:: SOT 10464 SOS 6208 HAS SOPS 6208 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.208
AT ITER 3198 NEW BEST:: SOT 10464 SOS 6208 HAS SOPS 6208 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.208
AT ITER 3212 NEW BEST:: SOT 10463 SOS 6240 HAS SOPS 6240 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5271.24
AT ITER 3269 NEW BEST:: SOT 10462 SOS 6239 HAS SOPS 6239 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5270.239
AT ITER 3344 NEW BEST:: SOT 10463 SOS 6210 HAS SOPS 6210 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5269.21
AT ITER 3445 NEW BEST:: SOT 10462 SOS 6209 HAS SOPS 6209 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.209
AT ITER 3468 NEW BEST:: SOT 10457 SOS 6219 HAS SOPS 6219 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.219
AT ITER 3481 NEW BEST:: SOT 10457 SOS 6218 HAS SOPS 6218 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.218
AT ITER 3487 NEW BEST:: SOT 10457 SOS 6236 HAS SOPS 6236 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5263.236
AT ITER 3524 NEW BEST:: SOT 10457 SOS 6200 HAS SOPS 6200 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5263.2
AT ITER 3663 NEW BEST:: SOT 10455 SOS 6196 HAS SOPS 6196 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5262.196
AT ITER 3686 NEW BEST:: SOT 10450 SOS 6188 HAS SOPS 6188 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5262.188
AT ITER 3720 NEW BEST:: SOT 10450 SOS 6165 HAS SOPS 6165 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5262.165
AT ITER 3732 NEW BEST:: SOT 10449 SOS 6167 HAS SOPS 6167 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5259.167
AT ITER 3763 NEW BEST:: SOT 10448 SOS 6196 HAS SOPS 6196 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5258.196
AT ITER 3807 NEW BEST:: SOT 10448 SOS 6196 HAS SOPS 6196 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.196
AT ITER 3840 NEW BEST:: SOT 10448 SOS 6194 HAS SOPS 6194 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.194
AT ITER 3841 NEW BEST:: SOT 10448 SOS 6187 HAS SOPS 6187 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.187
AT ITER 3843 NEW BEST:: SOT 10448 SOS 6177 HAS SOPS 6177 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.177
AT ITER 3870 NEW BEST:: SOT 10447 SOS 6176 HAS SOPS 6176 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5253.176
AT ITER 3936 NEW BEST:: SOT 10447 SOS 6147 HAS SOPS 6147 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5253.147
AT ITER 3948 NEW BEST:: SOT 10443 SOS 6160 HAS SOPS 6160 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5249.16
AT ITER 3980 NEW BEST:: SOT 10443 SOS 6160 HAS SOPS 6160 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.16
AT ITER 4002 NEW BEST:: SOT 10441 SOS 6158 HAS SOPS 6158 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5244.158
AT ITER 4015 NEW BEST:: SOT 10441 SOS 6155 HAS SOPS 6155 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5241.155
AT ITER 4051 NEW BEST:: SOT 10439 SOS 6153 HAS SOPS 6153 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.153
AT ITER 4054 NEW BEST:: SOT 10439 SOS 6149 HAS SOPS 6149 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.149
AT ITER 4114 NEW BEST:: SOT 10438 SOS 6158 HAS SOPS 6158 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5238.158
AT ITER 4118 NEW BEST:: SOT 10438 SOS 6176 HAS SOPS 6176 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.176
AT ITER 4163 NEW BEST:: SOT 10438 SOS 6172 HAS SOPS 6172 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.172
AT ITER 4170 NEW BEST:: SOT 10438 SOS 6154 HAS SOPS 6154 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.154
AT ITER 4172 NEW BEST:: SOT 10434 SOS 6150 HAS SOPS 6150 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5226.15
AT ITER 4186 NEW BEST:: SOT 10431 SOS 6147 HAS SOPS 6147 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.147
AT ITER 4288 NEW BEST:: SOT 10423 SOS 6144 HAS SOPS 6144 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.144
AT ITER 4312 NEW BEST:: SOT 10421 SOS 6142 HAS SOPS 6142 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5220.142
AT ITER 4364 NEW BEST:: SOT 10421 SOS 6139 HAS SOPS 6139 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5220.139
AT ITER 4370 NEW BEST:: SOT 10419 SOS 6137 HAS SOPS 6137 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5220.137
AT ITER 4416 NEW BEST:: SOT 10417 SOS 6135 HAS SOPS 6135 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5218.135
AT ITER 4462 NEW BEST:: SOT 10415 SOS 6133 HAS SOPS 6133 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.133
AT ITER 4516 NEW BEST:: SOT 10415 SOS 6130 HAS SOPS 6130 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.13
AT ITER 4614 NEW BEST:: SOT 10415 SOS 6124 HAS SOPS 6124 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.124
AT ITER 4701 NEW BEST:: SOT 10415 SOS 6127 HAS SOPS 6127 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5215.127
AT ITER 4723 NEW BEST:: SOT 10408 SOS 6120 HAS SOPS 6120 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5208.12
AT ITER 4753 NEW BEST:: SOT 10408 SOS 6118 HAS SOPS 6118 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5208.118
AT ITER 4767 NEW BEST:: SOT 10404 SOS 6114 HAS SOPS 6114 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5208.114
AT ITER 4780 NEW BEST:: SOT 10401 SOS 6119 HAS SOPS 6119 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5203.119
AT ITER 4798 NEW BEST:: SOT 10401 SOS 6113 HAS SOPS 6113 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5203.113
AT ITER 4804 NEW BEST:: SOT 10376 SOS 6133 HAS SOPS 6133 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5187.133
AT ITER 4815 NEW BEST:: SOT 10374 SOS 6131 HAS SOPS 6131 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5185.131
AT ITER 4903 NEW BEST:: SOT 10365 SOS 6113 HAS SOPS 6113 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5170.113
AT ITER 4994 NEW BEST:: SOT 10363 SOS 6125 HAS SOPS 6125 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5160.125
Bounds file is: CTLFireability.xml
PROPERTY: NQueens-PT-10-CTLFireability-00 (AF( ( (AG( ((potential((tk(P117)>=1) & (tk(P127)>=1) & (tk(P151)>=1) & (tk(P104)>=1)))))) & ( ( ( ((potential((tk(P111)>=1) & (tk(P135)>=1) & (tk(P147)>=1) & (tk(P106)>=1)))) | ((potential((tk(P113)>=1) & (tk(P129)>=1) & (tk(P145)>=1) & (tk(P102)>=1)))) ) & ( ((potential((tk(P111)>=1) & (tk(P135)>=1) & (tk(P147)>=1) & (tk(P106)>=1)))) | ((potential((tk(P112)>=1) & (tk(P132)>=1) & (tk(P146)>=1) & (tk(P104)>=1)))) ) ) | ( ((potential((tk(P116)>=1) & (tk(P134)>=1) & (tk(P156)>=1) & (tk(P110)>=1)))) & ( ((potential((tk(P116)>=1) & (tk(P125)>=1) & (tk(P147)>=1) & (tk(P101)>=1)))) & ((potential((tk(P117)>=1) & (tk(P128)>=1) & (tk(P152)>=1) & (tk(P105)>=1)))) ) ) ) )))
PROPERTY: NQueens-PT-10-CTLFireability-01 (EF( (AG( (AX( ((potential((tk(P112)>=1) & (tk(P129)>=1) & (tk(P143)>=1) & (tk(P101)>=1))))))))))
PROPERTY: NQueens-PT-10-CTLFireability-02 ( (AG( (AF( ((potential((tk(P112)>=1) & (tk(P138)>=1) & (tk(P152)>=1) & (tk(P110)>=1)))))))) | (! ( (! ((potential((tk(P116)>=1) & (tk(P125)>=1) & (tk(P147)>=1) & (tk(P101)>=1))))) | ( ( (! ((potential((tk(P116)>=1) & (tk(P126)>=1) & (tk(P148)>=1) & (tk(P102)>=1))))) | ( ((potential((tk(P114)>=1) & (tk(P133)>=1) & (tk(P151)>=1) & (tk(P107)>=1)))) | ((potential((tk(P118)>=1) & (tk(P126)>=1) & (tk(P152)>=1) & (tk(P104)>=1)))) ) ) & ((potential((tk(P120)>=1) & (tk(P125)>=1) & (tk(P155)>=1) & (tk(P105)>=1)))) ) )) )
PROPERTY: NQueens-PT-10-CTLFireability-03 ( ( ( ( (EF( ((potential((tk(P116)>=1) & (tk(P129)>=1) & (tk(P151)>=1) & (tk(P105)>=1)))))) | ( ( ((potential((tk(P112)>=1) & (tk(P129)>=1) & (tk(P143)>=1) & (tk(P101)>=1)))) & ((potential((tk(P113)>=1) & (tk(P129)>=1) & (tk(P145)>=1) & (tk(P102)>=1)))) ) | ((potential((tk(P112)>=1) & (tk(P134)>=1) & (tk(P148)>=1) & (tk(P106)>=1)))) ) ) | (AG( (! ((potential((tk(P114)>=1) & (tk(P136)>=1) & (tk(P154)>=1) & (tk(P110)>=1))))))) ) | ( ((potential((tk(P115)>=1) & (tk(P126)>=1) & (tk(P146)>=1) & (tk(P101)>=1)))) & ((potential((tk(P120)>=1) & (tk(P127)>=1) & (tk(P157)>=1) & (tk(P107)>=1)))) ) ) & (AX( ( ((potential((tk(P120)>=1) & (tk(P127)>=1) & (tk(P157)>=1) & (tk(P107)>=1)))) | (AF( ((potential((tk(P119)>=1) & (tk(P129)>=1) & (tk(P157)>=1) & (tk(P108)>=1)))))) ))) )
PROPERTY: NQueens-PT-10-CTLFireability-04 (! (AF( ( (! ((potential((tk(P115)>=1) & (tk(P134)>=1) & (tk(P154)>=1) & (tk(P109)>=1))))) & (AG( ((potential((tk(P119)>=1) & (tk(P124)>=1) & (tk(P152)>=1) & (tk(P103)>=1)))))) ))))
PROPERTY: NQueens-PT-10-CTLFireability-05 (EG( ((potential((tk(P119)>=1) & (tk(P125)>=1) & (tk(P153)>=1) & (tk(P104)>=1))))))
PROPERTY: NQueens-PT-10-CTLFireability-06 (EU( ( ( ( ((potential((tk(P117)>=1) & (tk(P129)>=1) & (tk(P153)>=1) & (tk(P106)>=1)))) & ((potential((tk(P111)>=1) & (tk(P138)>=1) & (tk(P150)>=1) & (tk(P109)>=1)))) ) | ( ((potential((tk(P115)>=1) & (tk(P129)>=1) & (tk(P149)>=1) & (tk(P104)>=1)))) & ((potential((tk(P111)>=1) & (tk(P137)>=1) & (tk(P149)>=1) & (tk(P108)>=1)))) ) ) & (! (! ((potential((tk(P117)>=1) & (tk(P132)>=1) & (tk(P156)>=1) & (tk(P109)>=1)))))) ) , ( (EX( ((potential((tk(P114)>=1) & (tk(P127)>=1) & (tk(P145)>=1) & (tk(P101)>=1)))))) & (! ( ((potential((tk(P117)>=1) & (tk(P126)>=1) & (tk(P150)>=1) & (tk(P103)>=1)))) | ((potential((tk(P116)>=1) & (tk(P125)>=1) & (tk(P147)>=1) & (tk(P101)>=1)))) )) ) ))
PROPERTY: NQueens-PT-10-CTLFireability-07 ( (EX( (AF( (! ((potential((tk(P118)>=1) & (tk(P127)>=1) & (tk(P153)>=1) & (tk(P105)>=1))))))))) & (! (AF( (! ( ((potential((tk(P113)>=1) & (tk(P134)>=1) & (tk(P150)>=1) & (tk(P107)>=1)))) | ((potential((tk(P116)>=1) & (tk(P126)>=1) & (tk(P148)>=1) & (tk(P102)>=1)))) ))))) )
PROPERTY: NQueens-PT-10-CTLFireability-08 (! (EF( ( ( ( ((potential((tk(P114)>=1) & (tk(P129)>=1) & (tk(P147)>=1) & (tk(P103)>=1)))) & ((potential((tk(P113)>=1) & (tk(P128)>=1) & (tk(P144)>=1) & (tk(P101)>=1)))) ) | (! ((potential((tk(P111)>=1) & (tk(P131)>=1) & (tk(P143)>=1) & (tk(P102)>=1))))) ) & (AG( ((potential((tk(P116)>=1) & (tk(P127)>=1) & (tk(P149)>=1) & (tk(P103)>=1)))))) ))))
PROPERTY: NQueens-PT-10-CTLFireability-09 ( (EX( (! (! ((potential((tk(P117)>=1) & (tk(P131)>=1) & (tk(P155)>=1) & (tk(P108)>=1)))))))) & (AX( ( ( (! ((potential((tk(P113)>=1) & (tk(P133)>=1) & (tk(P149)>=1) & (tk(P106)>=1))))) & ((potential((tk(P117)>=1) & (tk(P129)>=1) & (tk(P153)>=1) & (tk(P106)>=1)))) ) | (EF( ((potential((tk(P118)>=1) & (tk(P126)>=1) & (tk(P152)>=1) & (tk(P104)>=1)))))) ))) )
PROPERTY: NQueens-PT-10-CTLFireability-10 ( (AU( (AX( ((potential((tk(P111)>=1) & (tk(P131)>=1) & (tk(P143)>=1) & (tk(P102)>=1)))))) , (! (! ((potential((tk(P112)>=1) & (tk(P135)>=1) & (tk(P149)>=1) & (tk(P107)>=1)))))) )) & (AF( (AX( (! ((potential((tk(P112)>=1) & (tk(P137)>=1) & (tk(P151)>=1) & (tk(P109)>=1))))))))) )
PROPERTY: NQueens-PT-10-CTLFireability-11 (EF( (AG( ( ((potential((tk(P111)>=1) & (tk(P133)>=1) & (tk(P145)>=1) & (tk(P104)>=1)))) | ((potential((tk(P112)>=1) & (tk(P131)>=1) & (tk(P145)>=1) & (tk(P103)>=1)))) )))))
PROPERTY: NQueens-PT-10-CTLFireability-12 (EG( (EX( ( ( ((potential((tk(P115)>=1) & (tk(P127)>=1) & (tk(P147)>=1) & (tk(P102)>=1)))) & ((potential((tk(P118)>=1) & (tk(P126)>=1) & (tk(P152)>=1) & (tk(P104)>=1)))) ) | ( ((potential((tk(P117)>=1) & (tk(P132)>=1) & (tk(P156)>=1) & (tk(P109)>=1)))) & ((potential((tk(P111)>=1) & (tk(P133)>=1) & (tk(P145)>=1) & (tk(P104)>=1)))) ) )))))
PROPERTY: NQueens-PT-10-CTLFireability-13 (EX( (EG( (EF( ((potential((tk(P113)>=1) & (tk(P137)>=1) & (tk(P153)>=1) & (tk(P110)>=1))))))))))
PROPERTY: NQueens-PT-10-CTLFireability-14 (AX( (EF( ( (! ((potential((tk(P115)>=1) & (tk(P128)>=1) & (tk(P148)>=1) & (tk(P103)>=1))))) | ( ((potential((tk(P117)>=1) & (tk(P127)>=1) & (tk(P151)>=1) & (tk(P104)>=1)))) | ((potential((tk(P111)>=1) & (tk(P134)>=1) & (tk(P146)>=1) & (tk(P105)>=1)))) ) )))))
PROPERTY: NQueens-PT-10-CTLFireability-15 (! (EX( (! (EF( ((potential((tk(P112)>=1) & (tk(P136)>=1) & (tk(P150)>=1) & (tk(P108)>=1))))))))))

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="NQueens-PT-10"
export BK_EXAMINATION="CTLFireability"
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 NQueens-PT-10, examination is CTLFireability"
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-158961250100132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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