About the Execution of smart for NQueens-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.310 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
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-158961250100131.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100131
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME NQueens-PT-10-CTLCardinality-01
FORMULA_NAME NQueens-PT-10-CTLCardinality-02
FORMULA_NAME NQueens-PT-10-CTLCardinality-03
FORMULA_NAME NQueens-PT-10-CTLCardinality-04
FORMULA_NAME NQueens-PT-10-CTLCardinality-05
FORMULA_NAME NQueens-PT-10-CTLCardinality-06
FORMULA_NAME NQueens-PT-10-CTLCardinality-07
FORMULA_NAME NQueens-PT-10-CTLCardinality-08
FORMULA_NAME NQueens-PT-10-CTLCardinality-09
FORMULA_NAME NQueens-PT-10-CTLCardinality-10
FORMULA_NAME NQueens-PT-10-CTLCardinality-11
FORMULA_NAME NQueens-PT-10-CTLCardinality-12
FORMULA_NAME NQueens-PT-10-CTLCardinality-13
FORMULA_NAME NQueens-PT-10-CTLCardinality-14
FORMULA_NAME NQueens-PT-10-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589637814365
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 10
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 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 5 NEW BEST:: SOT 12103 SOS 7405 HAS SOPS 7405 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6957.405
AT ITER 16 NEW BEST:: SOT 12103 SOS 7397 HAS SOPS 7397 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6944.397
AT ITER 30 NEW BEST:: SOT 11973 SOS 7282 HAS SOPS 7282 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6829.282
AT ITER 32 NEW BEST:: SOT 11960 SOS 7265 HAS SOPS 7265 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6804.265
AT ITER 44 NEW BEST:: SOT 11936 SOS 7247 HAS SOPS 7247 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.247
AT ITER 51 NEW BEST:: SOT 11936 SOS 7221 HAS SOPS 7221 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.221
AT ITER 59 NEW BEST:: SOT 11936 SOS 7198 HAS SOPS 7198 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.198
AT ITER 62 NEW BEST:: SOT 11911 SOS 7252 HAS SOPS 7252 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6766.252
AT ITER 77 NEW BEST:: SOT 11881 SOS 7259 HAS SOPS 7259 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.259
AT ITER 82 NEW BEST:: SOT 11881 SOS 7256 HAS SOPS 7256 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.256
AT ITER 84 NEW BEST:: SOT 11881 SOS 7255 HAS SOPS 7255 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.255
AT ITER 85 NEW BEST:: SOT 11865 SOS 7239 HAS SOPS 7239 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6732.239
AT ITER 104 NEW BEST:: SOT 11834 SOS 7406 HAS SOPS 7406 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6720.406
AT ITER 107 NEW BEST:: SOT 11786 SOS 7436 HAS SOPS 7436 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6717.436
AT ITER 123 NEW BEST:: SOT 11813 SOS 7404 HAS SOPS 7404 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6696.404
AT ITER 124 NEW BEST:: SOT 11789 SOS 7396 HAS SOPS 7396 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6692.396
AT ITER 131 NEW BEST:: SOT 11727 SOS 7495 HAS SOPS 7495 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6633.495
AT ITER 132 NEW BEST:: SOT 11728 SOS 7495 HAS SOPS 7495 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6632.495
AT ITER 136 NEW BEST:: SOT 11718 SOS 7485 HAS SOPS 7485 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6622.485
AT ITER 137 NEW BEST:: SOT 11718 SOS 7339 HAS SOPS 7339 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6620.339
AT ITER 141 NEW BEST:: SOT 11718 SOS 7330 HAS SOPS 7330 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.33
AT ITER 148 NEW BEST:: SOT 11658 SOS 7311 HAS SOPS 7311 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.311
AT ITER 150 NEW BEST:: SOT 11658 SOS 7309 HAS SOPS 7309 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6559.309
AT ITER 159 NEW BEST:: SOT 11650 SOS 7302 HAS SOPS 7302 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.302
AT ITER 167 NEW BEST:: SOT 11650 SOS 7293 HAS SOPS 7293 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.293
AT ITER 170 NEW BEST:: SOT 11650 SOS 7280 HAS SOPS 7280 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.28
AT ITER 175 NEW BEST:: SOT 11650 SOS 7279 HAS SOPS 7279 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.279
AT ITER 177 NEW BEST:: SOT 11624 SOS 7253 HAS SOPS 7253 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.253
AT ITER 188 NEW BEST:: SOT 11624 SOS 7185 HAS SOPS 7185 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.185
AT ITER 204 NEW BEST:: SOT 11624 SOS 7182 HAS SOPS 7182 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.182
AT ITER 214 NEW BEST:: SOT 11624 SOS 7076 HAS SOPS 7076 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.076
AT ITER 219 NEW BEST:: SOT 11624 SOS 7075 HAS SOPS 7075 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.075
AT ITER 221 NEW BEST:: SOT 11624 SOS 7075 HAS SOPS 7075 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6519.075
AT ITER 225 NEW BEST:: SOT 11619 SOS 7071 HAS SOPS 7071 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6517.071
AT ITER 227 NEW BEST:: SOT 11619 SOS 7090 HAS SOPS 7090 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6516.09
AT ITER 229 NEW BEST:: SOT 11592 SOS 7063 HAS SOPS 7063 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6489.063
AT ITER 231 NEW BEST:: SOT 11585 SOS 7041 HAS SOPS 7041 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.041
AT ITER 239 NEW BEST:: SOT 11573 SOS 7007 HAS SOPS 7007 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.007
AT ITER 242 NEW BEST:: SOT 11517 SOS 7006 HAS SOPS 7006 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6413.006
AT ITER 245 NEW BEST:: SOT 11517 SOS 6904 HAS SOPS 6904 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6412.904
AT ITER 246 NEW BEST:: SOT 11513 SOS 6917 HAS SOPS 6917 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6400.917
AT ITER 249 NEW BEST:: SOT 11509 SOS 6924 HAS SOPS 6924 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6398.924
AT ITER 254 NEW BEST:: SOT 11506 SOS 6916 HAS SOPS 6916 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6393.916
AT ITER 255 NEW BEST:: SOT 11453 SOS 6956 HAS SOPS 6956 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6389.956
AT ITER 257 NEW BEST:: SOT 11445 SOS 6948 HAS SOPS 6948 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6381.948
AT ITER 261 NEW BEST:: SOT 11445 SOS 6825 HAS SOPS 6825 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.825
AT ITER 263 NEW BEST:: SOT 11445 SOS 6812 HAS SOPS 6812 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.812
AT ITER 270 NEW BEST:: SOT 11445 SOS 6800 HAS SOPS 6800 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.8
AT ITER 309 NEW BEST:: SOT 11445 SOS 6718 HAS SOPS 6718 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6321.718
AT ITER 316 NEW BEST:: SOT 11448 SOS 6714 HAS SOPS 6714 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6320.714
AT ITER 321 NEW BEST:: SOT 11448 SOS 6708 HAS SOPS 6708 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6320.708
AT ITER 323 NEW BEST:: SOT 11448 SOS 6706 HAS SOPS 6706 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6320.706
AT ITER 333 NEW BEST:: SOT 11413 SOS 6727 HAS SOPS 6727 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6308.727
AT ITER 351 NEW BEST:: SOT 11413 SOS 6720 HAS SOPS 6720 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6301.72
AT ITER 355 NEW BEST:: SOT 11412 SOS 6719 HAS SOPS 6719 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6300.719
AT ITER 360 NEW BEST:: SOT 11411 SOS 6717 HAS SOPS 6717 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6296.717
AT ITER 375 NEW BEST:: SOT 11391 SOS 6702 HAS SOPS 6702 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6270.702
AT ITER 384 NEW BEST:: SOT 11391 SOS 6703 HAS SOPS 6703 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6264.703
AT ITER 386 NEW BEST:: SOT 11385 SOS 6697 HAS SOPS 6697 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6258.697
AT ITER 387 NEW BEST:: SOT 11390 SOS 6678 HAS SOPS 6678 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6250.678
AT ITER 394 NEW BEST:: SOT 11380 SOS 6771 HAS SOPS 6771 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.771
AT ITER 397 NEW BEST:: SOT 11378 SOS 6832 HAS SOPS 6832 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6247.832
AT ITER 413 NEW BEST:: SOT 11378 SOS 6814 HAS SOPS 6814 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6247.814
AT ITER 416 NEW BEST:: SOT 11378 SOS 6811 HAS SOPS 6811 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6243.811
AT ITER 428 NEW BEST:: SOT 11378 SOS 6798 HAS SOPS 6798 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6243.798
AT ITER 432 NEW BEST:: SOT 11378 SOS 6796 HAS SOPS 6796 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6237.796
AT ITER 440 NEW BEST:: SOT 11320 SOS 6836 HAS SOPS 6836 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6217.836
AT ITER 442 NEW BEST:: SOT 11319 SOS 6835 HAS SOPS 6835 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6216.835
AT ITER 452 NEW BEST:: SOT 11319 SOS 6827 HAS SOPS 6827 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6216.827
AT ITER 454 NEW BEST:: SOT 11257 SOS 6810 HAS SOPS 6810 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6198.81
AT ITER 459 NEW BEST:: SOT 11251 SOS 6794 HAS SOPS 6794 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6169.794
AT ITER 475 NEW BEST:: SOT 11233 SOS 6785 HAS SOPS 6785 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6166.785
AT ITER 484 NEW BEST:: SOT 11248 SOS 6771 HAS SOPS 6771 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6151.771
AT ITER 487 NEW BEST:: SOT 11248 SOS 6765 HAS SOPS 6765 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6144.765
AT ITER 500 NEW BEST:: SOT 11232 SOS 6749 HAS SOPS 6749 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6128.749
AT ITER 516 NEW BEST:: SOT 11232 SOS 6733 HAS SOPS 6733 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6128.733
AT ITER 517 NEW BEST:: SOT 11242 SOS 6713 HAS SOPS 6713 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6111.713
AT ITER 543 NEW BEST:: SOT 11242 SOS 6695 HAS SOPS 6695 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6104.695
AT ITER 550 NEW BEST:: SOT 11239 SOS 6691 HAS SOPS 6691 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6094.691
AT ITER 559 NEW BEST:: SOT 11180 SOS 6733 HAS SOPS 6733 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6072.733
AT ITER 562 NEW BEST:: SOT 11104 SOS 6657 HAS SOPS 6657 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5996.657
AT ITER 567 NEW BEST:: SOT 11098 SOS 6636 HAS SOPS 6636 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.636
AT ITER 575 NEW BEST:: SOT 11097 SOS 6635 HAS SOPS 6635 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5979.635
AT ITER 583 NEW BEST:: SOT 11077 SOS 6624 HAS SOPS 6624 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.624
AT ITER 591 NEW BEST:: SOT 11074 SOS 6621 HAS SOPS 6621 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5965.621
AT ITER 613 NEW BEST:: SOT 11060 SOS 6631 HAS SOPS 6631 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5945.631
AT ITER 614 NEW BEST:: SOT 11037 SOS 6649 HAS SOPS 6649 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5942.649
AT ITER 648 NEW BEST:: SOT 11037 SOS 6644 HAS SOPS 6644 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5942.644
AT ITER 655 NEW BEST:: SOT 11037 SOS 6604 HAS SOPS 6604 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5939.604
AT ITER 663 NEW BEST:: SOT 11037 SOS 6596 HAS SOPS 6596 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5939.596
AT ITER 669 NEW BEST:: SOT 11036 SOS 6595 HAS SOPS 6595 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.595
AT ITER 689 NEW BEST:: SOT 10993 SOS 6561 HAS SOPS 6561 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5904.561
AT ITER 700 NEW BEST:: SOT 10993 SOS 6558 HAS SOPS 6558 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5904.558
AT ITER 706 NEW BEST:: SOT 10993 SOS 6556 HAS SOPS 6556 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5904.556
AT ITER 736 NEW BEST:: SOT 10993 SOS 6553 HAS SOPS 6553 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5901.553
AT ITER 739 NEW BEST:: SOT 10993 SOS 6587 HAS SOPS 6587 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5888.587
AT ITER 752 NEW BEST:: SOT 10993 SOS 6557 HAS SOPS 6557 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5885.557
AT ITER 764 NEW BEST:: SOT 10899 SOS 6688 HAS SOPS 6688 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5855.688
AT ITER 777 NEW BEST:: SOT 10870 SOS 6669 HAS SOPS 6669 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5847.669
AT ITER 811 NEW BEST:: SOT 10870 SOS 6660 HAS SOPS 6660 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5846.66
AT ITER 815 NEW BEST:: SOT 10858 SOS 6648 HAS SOPS 6648 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.648
AT ITER 835 NEW BEST:: SOT 10858 SOS 6638 HAS SOPS 6638 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.638
AT ITER 844 NEW BEST:: SOT 10839 SOS 6619 HAS SOPS 6619 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5817.619
AT ITER 848 NEW BEST:: SOT 10829 SOS 6610 HAS SOPS 6610 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5808.61
AT ITER 854 NEW BEST:: SOT 10829 SOS 6593 HAS SOPS 6593 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5808.593
AT ITER 856 NEW BEST:: SOT 10825 SOS 6590 HAS SOPS 6590 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.59
AT ITER 857 NEW BEST:: SOT 10807 SOS 6576 HAS SOPS 6576 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.576
AT ITER 858 NEW BEST:: SOT 10801 SOS 6570 HAS SOPS 6570 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5787.57
AT ITER 890 NEW BEST:: SOT 10796 SOS 6565 HAS SOPS 6565 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.565
AT ITER 902 NEW BEST:: SOT 10794 SOS 6693 HAS SOPS 6693 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5780.693
AT ITER 905 NEW BEST:: SOT 10783 SOS 6682 HAS SOPS 6682 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.682
AT ITER 907 NEW BEST:: SOT 10783 SOS 6670 HAS SOPS 6670 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.67
AT ITER 914 NEW BEST:: SOT 10783 SOS 6660 HAS SOPS 6660 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.66
AT ITER 939 NEW BEST:: SOT 10783 SOS 6645 HAS SOPS 6645 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.645
AT ITER 949 NEW BEST:: SOT 10783 SOS 6543 HAS SOPS 6543 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.543
AT ITER 968 NEW BEST:: SOT 10776 SOS 6513 HAS SOPS 6513 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.513
AT ITER 974 NEW BEST:: SOT 10774 SOS 6501 HAS SOPS 6501 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.501
AT ITER 983 NEW BEST:: SOT 10774 SOS 6477 HAS SOPS 6477 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.477
AT ITER 989 NEW BEST:: SOT 10771 SOS 6479 HAS SOPS 6479 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.479
AT ITER 1001 NEW BEST:: SOT 10771 SOS 6475 HAS SOPS 6475 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.475
AT ITER 1010 NEW BEST:: SOT 10765 SOS 6469 HAS SOPS 6469 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5727.469
AT ITER 1025 NEW BEST:: SOT 10769 SOS 6449 HAS SOPS 6449 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.449
AT ITER 1038 NEW BEST:: SOT 10789 SOS 6438 HAS SOPS 6438 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5711.438
AT ITER 1043 NEW BEST:: SOT 10783 SOS 6434 HAS SOPS 6434 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5707.434
AT ITER 1063 NEW BEST:: SOT 10773 SOS 6424 HAS SOPS 6424 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.424
AT ITER 1071 NEW BEST:: SOT 10773 SOS 6410 HAS SOPS 6410 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.41
AT ITER 1110 NEW BEST:: SOT 10765 SOS 6398 HAS SOPS 6398 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.398
AT ITER 1146 NEW BEST:: SOT 10765 SOS 6397 HAS SOPS 6397 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5681.397
AT ITER 1194 NEW BEST:: SOT 10778 SOS 6398 HAS SOPS 6398 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.398
AT ITER 1201 NEW BEST:: SOT 10773 SOS 6395 HAS SOPS 6395 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5666.395
AT ITER 1253 NEW BEST:: SOT 10773 SOS 6385 HAS SOPS 6385 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5664.385
AT ITER 1258 NEW BEST:: SOT 10773 SOS 6372 HAS SOPS 6372 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5664.372
AT ITER 1269 NEW BEST:: SOT 10773 SOS 6346 HAS SOPS 6346 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5652.346
AT ITER 1290 NEW BEST:: SOT 10701 SOS 6345 HAS SOPS 6345 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5636.345
AT ITER 1300 NEW BEST:: SOT 10661 SOS 6443 HAS SOPS 6443 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.443
AT ITER 1320 NEW BEST:: SOT 10661 SOS 6439 HAS SOPS 6439 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.439
AT ITER 1330 NEW BEST:: SOT 10661 SOS 6405 HAS SOPS 6405 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.405
AT ITER 1345 NEW BEST:: SOT 10657 SOS 6401 HAS SOPS 6401 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.401
AT ITER 1350 NEW BEST:: SOT 10638 SOS 6386 HAS SOPS 6386 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5630.386
AT ITER 1358 NEW BEST:: SOT 10616 SOS 6381 HAS SOPS 6381 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5620.381
AT ITER 1369 NEW BEST:: SOT 10599 SOS 6403 HAS SOPS 6403 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.403
AT ITER 1374 NEW BEST:: SOT 10599 SOS 6349 HAS SOPS 6349 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.349
AT ITER 1380 NEW BEST:: SOT 10596 SOS 6370 HAS SOPS 6370 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5588.37
AT ITER 1409 NEW BEST:: SOT 10594 SOS 6368 HAS SOPS 6368 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.368
AT ITER 1425 NEW BEST:: SOT 10594 SOS 6365 HAS SOPS 6365 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.365
AT ITER 1438 NEW BEST:: SOT 10588 SOS 6365 HAS SOPS 6365 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.365
AT ITER 1455 NEW BEST:: SOT 10584 SOS 6361 HAS SOPS 6361 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.361
AT ITER 1471 NEW BEST:: SOT 10580 SOS 6357 HAS SOPS 6357 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5577.357
AT ITER 1474 NEW BEST:: SOT 10580 SOS 6356 HAS SOPS 6356 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.356
AT ITER 1489 NEW BEST:: SOT 10579 SOS 6355 HAS SOPS 6355 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.355
AT ITER 1526 NEW BEST:: SOT 10579 SOS 6353 HAS SOPS 6353 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.353
AT ITER 1546 NEW BEST:: SOT 10579 SOS 6352 HAS SOPS 6352 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.352
AT ITER 1573 NEW BEST:: SOT 10579 SOS 6332 HAS SOPS 6332 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5548.332
AT ITER 1583 NEW BEST:: SOT 10589 SOS 6336 HAS SOPS 6336 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.336
AT ITER 1592 NEW BEST:: SOT 10588 SOS 6334 HAS SOPS 6334 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.334
AT ITER 1597 NEW BEST:: SOT 10587 SOS 6395 HAS SOPS 6395 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5543.395
AT ITER 1628 NEW BEST:: SOT 10513 SOS 6396 HAS SOPS 6396 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5540.396
AT ITER 1642 NEW BEST:: SOT 10511 SOS 6394 HAS SOPS 6394 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5538.394
AT ITER 1650 NEW BEST:: SOT 10511 SOS 6388 HAS SOPS 6388 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5538.388
AT ITER 1663 NEW BEST:: SOT 10510 SOS 6387 HAS SOPS 6387 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.387
AT ITER 1686 NEW BEST:: SOT 10503 SOS 6366 HAS SOPS 6366 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.366
AT ITER 1697 NEW BEST:: SOT 10499 SOS 6438 HAS SOPS 6438 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.438
AT ITER 1698 NEW BEST:: SOT 10473 SOS 6418 HAS SOPS 6418 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.418
AT ITER 1718 NEW BEST:: SOT 10500 SOS 6445 HAS SOPS 6445 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.445
AT ITER 1733 NEW BEST:: SOT 10500 SOS 6440 HAS SOPS 6440 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.44
AT ITER 1792 NEW BEST:: SOT 10500 SOS 6439 HAS SOPS 6439 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.439
AT ITER 1802 NEW BEST:: SOT 10499 SOS 6438 HAS SOPS 6438 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.438
AT ITER 1848 NEW BEST:: SOT 10476 SOS 6415 HAS SOPS 6415 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.415
AT ITER 1853 NEW BEST:: SOT 10476 SOS 6409 HAS SOPS 6409 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.409
AT ITER 1865 NEW BEST:: SOT 10474 SOS 6407 HAS SOPS 6407 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5462.407
AT ITER 1885 NEW BEST:: SOT 10474 SOS 6406 HAS SOPS 6406 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5457.406
AT ITER 1893 NEW BEST:: SOT 10476 SOS 6408 HAS SOPS 6408 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.408
AT ITER 1907 NEW BEST:: SOT 10447 SOS 6588 HAS SOPS 6588 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5444.588
AT ITER 1912 NEW BEST:: SOT 10446 SOS 6587 HAS SOPS 6587 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5443.587
AT ITER 1939 NEW BEST:: SOT 10442 SOS 6583 HAS SOPS 6583 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.583
AT ITER 1954 NEW BEST:: SOT 10434 SOS 6572 HAS SOPS 6572 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5441.572
AT ITER 1960 NEW BEST:: SOT 10432 SOS 6576 HAS SOPS 6576 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.576
AT ITER 1972 NEW BEST:: SOT 10432 SOS 6576 HAS SOPS 6576 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5419.576
AT ITER 2013 NEW BEST:: SOT 10434 SOS 6578 HAS SOPS 6578 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5412.578
AT ITER 2020 NEW BEST:: SOT 10408 SOS 6593 HAS SOPS 6593 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.593
AT ITER 2030 NEW BEST:: SOT 10406 SOS 6572 HAS SOPS 6572 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5406.572
AT ITER 2033 NEW BEST:: SOT 10409 SOS 6575 HAS SOPS 6575 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5403.575
AT ITER 2036 NEW BEST:: SOT 10409 SOS 6570 HAS SOPS 6570 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5403.57
AT ITER 2063 NEW BEST:: SOT 10408 SOS 6569 HAS SOPS 6569 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5402.569
AT ITER 2069 NEW BEST:: SOT 10405 SOS 6589 HAS SOPS 6589 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.589
AT ITER 2103 NEW BEST:: SOT 10399 SOS 6583 HAS SOPS 6583 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5361.583
AT ITER 2111 NEW BEST:: SOT 10393 SOS 6577 HAS SOPS 6577 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5355.577
AT ITER 2116 NEW BEST:: SOT 10390 SOS 6638 HAS SOPS 6638 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.638
AT ITER 2122 NEW BEST:: SOT 10390 SOS 6635 HAS SOPS 6635 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5349.635
AT ITER 2132 NEW BEST:: SOT 10390 SOS 6632 HAS SOPS 6632 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.632
AT ITER 2157 NEW BEST:: SOT 10390 SOS 6605 HAS SOPS 6605 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.605
AT ITER 2180 NEW BEST:: SOT 10388 SOS 6603 HAS SOPS 6603 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5336.603
AT ITER 2189 NEW BEST:: SOT 10388 SOS 6603 HAS SOPS 6603 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.603
AT ITER 2214 NEW BEST:: SOT 10384 SOS 6599 HAS SOPS 6599 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.599
AT ITER 2223 NEW BEST:: SOT 10373 SOS 6588 HAS SOPS 6588 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5306.588
AT ITER 2248 NEW BEST:: SOT 10367 SOS 6582 HAS SOPS 6582 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.582
AT ITER 2258 NEW BEST:: SOT 10369 SOS 6576 HAS SOPS 6576 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5297.576
AT ITER 2278 NEW BEST:: SOT 10363 SOS 6579 HAS SOPS 6579 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5294.579
AT ITER 2279 NEW BEST:: SOT 10366 SOS 6581 HAS SOPS 6581 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5285.581
AT ITER 2353 NEW BEST:: SOT 10364 SOS 6579 HAS SOPS 6579 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.579
AT ITER 2359 NEW BEST:: SOT 10360 SOS 6575 HAS SOPS 6575 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5279.575
AT ITER 2365 NEW BEST:: SOT 10341 SOS 6556 HAS SOPS 6556 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.556
AT ITER 2384 NEW BEST:: SOT 10341 SOS 6555 HAS SOPS 6555 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.555
AT ITER 2388 NEW BEST:: SOT 10322 SOS 6563 HAS SOPS 6563 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.563
AT ITER 2414 NEW BEST:: SOT 10319 SOS 6560 HAS SOPS 6560 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.56
AT ITER 2431 NEW BEST:: SOT 10320 SOS 6534 HAS SOPS 6534 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5261.534
AT ITER 2445 NEW BEST:: SOT 10319 SOS 6533 HAS SOPS 6533 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.533
AT ITER 2459 NEW BEST:: SOT 10307 SOS 6536 HAS SOPS 6536 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.536
AT ITER 2465 NEW BEST:: SOT 10307 SOS 6536 HAS SOPS 6536 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5229.536
AT ITER 2493 NEW BEST:: SOT 10306 SOS 6535 HAS SOPS 6535 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.535
AT ITER 2510 NEW BEST:: SOT 10306 SOS 6518 HAS SOPS 6518 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.518
AT ITER 2515 NEW BEST:: SOT 10292 SOS 6504 HAS SOPS 6504 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.504
AT ITER 2527 NEW BEST:: SOT 10292 SOS 6504 HAS SOPS 6504 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.504
AT ITER 2558 NEW BEST:: SOT 10284 SOS 6605 HAS SOPS 6605 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5213.605
AT ITER 2607 NEW BEST:: SOT 10273 SOS 6594 HAS SOPS 6594 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5208.594
AT ITER 2611 NEW BEST:: SOT 10273 SOS 6594 HAS SOPS 6594 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.594
AT ITER 2634 NEW BEST:: SOT 10273 SOS 6582 HAS SOPS 6582 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.582
AT ITER 2668 NEW BEST:: SOT 10273 SOS 6570 HAS SOPS 6570 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.57
AT ITER 2673 NEW BEST:: SOT 10285 SOS 6563 HAS SOPS 6563 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.563
AT ITER 2726 NEW BEST:: SOT 10285 SOS 6565 HAS SOPS 6565 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5197.565
AT ITER 2738 NEW BEST:: SOT 10283 SOS 6563 HAS SOPS 6563 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.563
AT ITER 2787 NEW BEST:: SOT 10283 SOS 6556 HAS SOPS 6556 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.556
AT ITER 2828 NEW BEST:: SOT 10283 SOS 6556 HAS SOPS 6556 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.556
AT ITER 2834 NEW BEST:: SOT 10283 SOS 6554 HAS SOPS 6554 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.554
AT ITER 2857 NEW BEST:: SOT 10283 SOS 6554 HAS SOPS 6554 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5192.554
AT ITER 2882 NEW BEST:: SOT 10277 SOS 6560 HAS SOPS 6560 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5189.56
AT ITER 2891 NEW BEST:: SOT 10272 SOS 6565 HAS SOPS 6565 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5184.565
AT ITER 2900 NEW BEST:: SOT 10257 SOS 6580 HAS SOPS 6580 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5179.58
AT ITER 2918 NEW BEST:: SOT 10257 SOS 6581 HAS SOPS 6581 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5175.581
AT ITER 2920 NEW BEST:: SOT 10251 SOS 6575 HAS SOPS 6575 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5169.575
AT ITER 3049 NEW BEST:: SOT 10251 SOS 6574 HAS SOPS 6574 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5169.574
AT ITER 3059 NEW BEST:: SOT 10235 SOS 6558 HAS SOPS 6558 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.558
AT ITER 3062 NEW BEST:: SOT 10232 SOS 6582 HAS SOPS 6582 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5160.582
AT ITER 3084 NEW BEST:: SOT 10232 SOS 6582 HAS SOPS 6582 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5159.582
AT ITER 3163 NEW BEST:: SOT 10232 SOS 6581 HAS SOPS 6581 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5144.581
AT ITER 3195 NEW BEST:: SOT 10235 SOS 6584 HAS SOPS 6584 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.584
AT ITER 3198 NEW BEST:: SOT 10235 SOS 6579 HAS SOPS 6579 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.579
AT ITER 3318 NEW BEST:: SOT 10234 SOS 6616 HAS SOPS 6616 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.616
AT ITER 3365 NEW BEST:: SOT 10234 SOS 6612 HAS SOPS 6612 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5140.612
AT ITER 3412 NEW BEST:: SOT 10234 SOS 6608 HAS SOPS 6608 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5140.608
AT ITER 3519 NEW BEST:: SOT 10234 SOS 6606 HAS SOPS 6606 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5140.606
AT ITER 3572 NEW BEST:: SOT 10234 SOS 6606 HAS SOPS 6606 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.606
AT ITER 3593 NEW BEST:: SOT 10234 SOS 6598 HAS SOPS 6598 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.598
AT ITER 3597 NEW BEST:: SOT 10234 SOS 6595 HAS SOPS 6595 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.595
AT ITER 3645 NEW BEST:: SOT 10232 SOS 6593 HAS SOPS 6593 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5119.593
AT ITER 3649 NEW BEST:: SOT 10229 SOS 6590 HAS SOPS 6590 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5116.59
AT ITER 3674 NEW BEST:: SOT 10228 SOS 6628 HAS SOPS 6628 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5115.628
AT ITER 3679 NEW BEST:: SOT 10222 SOS 6741 HAS SOPS 6741 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5114.741
AT ITER 3761 NEW BEST:: SOT 10206 SOS 6741 HAS SOPS 6741 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.741
AT ITER 3796 NEW BEST:: SOT 10201 SOS 6736 HAS SOPS 6736 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5107.736
AT ITER 3808 NEW BEST:: SOT 10198 SOS 6758 HAS SOPS 6758 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5106.758
AT ITER 3847 NEW BEST:: SOT 10198 SOS 6745 HAS SOPS 6745 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5106.745
AT ITER 3863 NEW BEST:: SOT 10196 SOS 6751 HAS SOPS 6751 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.751
AT ITER 3867 NEW BEST:: SOT 10196 SOS 6746 HAS SOPS 6746 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.746
AT ITER 3880 NEW BEST:: SOT 10196 SOS 6745 HAS SOPS 6745 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5096.745
AT ITER 3915 NEW BEST:: SOT 10184 SOS 6733 HAS SOPS 6733 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.733
AT ITER 3947 NEW BEST:: SOT 10184 SOS 6724 HAS SOPS 6724 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.724
AT ITER 4027 NEW BEST:: SOT 10181 SOS 6721 HAS SOPS 6721 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.721
AT ITER 4029 NEW BEST:: SOT 10181 SOS 6721 HAS SOPS 6721 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.721
AT ITER 4089 NEW BEST:: SOT 10180 SOS 6720 HAS SOPS 6720 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.72
AT ITER 4090 NEW BEST:: SOT 10158 SOS 6705 HAS SOPS 6705 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.705
AT ITER 4119 NEW BEST:: SOT 10153 SOS 6712 HAS SOPS 6712 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.712
AT ITER 4124 NEW BEST:: SOT 10153 SOS 6705 HAS SOPS 6705 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.705
AT ITER 4138 NEW BEST:: SOT 10153 SOS 6702 HAS SOPS 6702 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.702
AT ITER 4156 NEW BEST:: SOT 10142 SOS 6691 HAS SOPS 6691 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5075.691
AT ITER 4159 NEW BEST:: SOT 10142 SOS 6684 HAS SOPS 6684 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5075.684
AT ITER 4199 NEW BEST:: SOT 10132 SOS 6674 HAS SOPS 6674 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5065.674
AT ITER 4200 NEW BEST:: SOT 10073 SOS 6631 HAS SOPS 6631 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5052.631
AT ITER 4232 NEW BEST:: SOT 10073 SOS 6627 HAS SOPS 6627 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5048.627
AT ITER 4258 NEW BEST:: SOT 10073 SOS 6639 HAS SOPS 6639 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.639
AT ITER 4286 NEW BEST:: SOT 10074 SOS 6590 HAS SOPS 6590 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5039.59
AT ITER 4335 NEW BEST:: SOT 10073 SOS 6589 HAS SOPS 6589 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5038.589
AT ITER 4375 NEW BEST:: SOT 10073 SOS 6589 HAS SOPS 6589 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5036.589
AT ITER 4384 NEW BEST:: SOT 10067 SOS 6583 HAS SOPS 6583 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5029.583
AT ITER 4416 NEW BEST:: SOT 10066 SOS 6582 HAS SOPS 6582 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5028.582
AT ITER 4456 NEW BEST:: SOT 10059 SOS 6583 HAS SOPS 6583 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.583
AT ITER 4517 NEW BEST:: SOT 10059 SOS 6579 HAS SOPS 6579 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.579
AT ITER 4526 NEW BEST:: SOT 10059 SOS 6579 HAS SOPS 6579 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5015.579
AT ITER 4530 NEW BEST:: SOT 10059 SOS 6575 HAS SOPS 6575 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.575
AT ITER 4646 NEW BEST:: SOT 10059 SOS 6565 HAS SOPS 6565 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.565
AT ITER 4738 NEW BEST:: SOT 10059 SOS 6556 HAS SOPS 6556 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.556
AT ITER 4770 NEW BEST:: SOT 10059 SOS 6551 HAS SOPS 6551 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5000.551
AT ITER 4773 NEW BEST:: SOT 10058 SOS 6550 HAS SOPS 6550 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4999.55
AT ITER 4810 NEW BEST:: SOT 10055 SOS 6547 HAS SOPS 6547 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4996.547
AT ITER 4813 NEW BEST:: SOT 10055 SOS 6525 HAS SOPS 6525 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4996.525
AT ITER 4865 NEW BEST:: SOT 10062 SOS 6526 HAS SOPS 6526 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4994.526
AT ITER 4928 NEW BEST:: SOT 10062 SOS 6525 HAS SOPS 6525 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4993.525
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NQueens-PT-10-CTLCardinality-00 (AU( ( potential( (tk(P58)) <= (tk(P72)) ) | potential( (tk(P119)) <= (tk(P139)) ) ),(! (! potential( ( 3 ) <= (tk(P151)) ))) ))
PROPERTY: NQueens-PT-10-CTLCardinality-01 (AF((AG( (! potential( ( 1 ) <= (tk(P76)) ))))))
PROPERTY: NQueens-PT-10-CTLCardinality-02 ( potential( ( 2 ) <= (tk(P75)) ) | (AF(potential( ( 3 ) <= (tk(P120)) ))) )
PROPERTY: NQueens-PT-10-CTLCardinality-03 ( (EG( (EG( potential( (tk(P24)) <= (tk(P121)) ))))) | (AG( (EX( potential( ( 1 ) <= (tk(P112)) ))))) )
PROPERTY: NQueens-PT-10-CTLCardinality-04 ( (! ( potential( ( 3 ) <= (tk(P27)) ) | (! ( potential( (tk(P106)) <= (tk(P125)) ) | potential( ( 1 ) <= (tk(P25)) ) )) )) & (EG( ( (! potential( ( 1 ) <= (tk(P69)) )) | potential( (tk(P58)) <= (tk(P48)) ) ))) )
PROPERTY: NQueens-PT-10-CTLCardinality-05 (AU( ( (! potential( ( 1 ) <= (tk(P72)) )) | (! potential( ( 1 ) <= (tk(P19)) )) ),(AF(potential( (tk(P148)) <= (tk(P23)) ))) ))
PROPERTY: NQueens-PT-10-CTLCardinality-06 (EX( (EU( potential( (tk(P66)) <= (tk(P67)) ),potential( ( 2 ) <= (tk(P41)) ) ))))
PROPERTY: NQueens-PT-10-CTLCardinality-07 (! (EG( (EF(potential( (tk(P123)) <= (tk(P72)) ))))))
PROPERTY: NQueens-PT-10-CTLCardinality-08 (EU( ( ( potential( (tk(P57)) <= (tk(P117)) ) | potential( ( 3 ) <= (tk(P64)) ) ) | (! potential( ( 2 ) <= (tk(P32)) )) ),(AX( potential( ( 3 ) <= (tk(P46)) ))) ))
PROPERTY: NQueens-PT-10-CTLCardinality-09 (EX( (EX( ( potential( (tk(P84)) <= (tk(P119)) ) & potential( ( 2 ) <= (tk(P40)) ) )))))
PROPERTY: NQueens-PT-10-CTLCardinality-10 (AG( (! (! (! potential( ( 2 ) <= (tk(P159)) ))))))
PROPERTY: NQueens-PT-10-CTLCardinality-11 ( (EG( (! ( potential( ( 3 ) <= (tk(P158)) ) & potential( ( 2 ) <= (tk(P78)) ) )))) & (! ( potential( ( 3 ) <= (tk(P3)) ) & potential( ( 2 ) <= (tk(P42)) ) )) )
PROPERTY: NQueens-PT-10-CTLCardinality-12 (EG( (EF(( potential( (tk(P10)) <= (tk(P134)) ) & potential( (tk(P147)) <= (tk(P144)) ) )))))
PROPERTY: NQueens-PT-10-CTLCardinality-13 (EG( (EG( ( potential( (tk(P9)) <= (tk(P115)) ) | potential( ( 2 ) <= (tk(P38)) ) )))))
PROPERTY: NQueens-PT-10-CTLCardinality-14 (AG( (AF(( potential( ( 3 ) <= (tk(P51)) ) | potential( ( 3 ) <= (tk(P147)) ) )))))
PROPERTY: NQueens-PT-10-CTLCardinality-15 (EG( ( (EG( potential( (tk(P83)) <= (tk(P72)) ))) & ( ( potential( ( 2 ) <= (tk(P140)) ) | potential( (tk(P45)) <= (tk(P49)) ) ) | potential( ( 1 ) <= (tk(P7)) ) ) )))
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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NQueens-PT-10, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250100131"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;