Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 5.7K Feb 26 18:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 18:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 18:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 18:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 18:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 122K Mar 5 18:23 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 1679088526221

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVs-PT-010B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 403 places, 453 transitions, 1440 arcs.
AT ITER 0 NEW BEST:: SOT 95521 SOS 18093 HAS SOPS 18093 HAS SOUS 14765 HAS SOUPS 14765 WITH SCORE 14783.093
AT ITER 14 NEW BEST:: SOT 95503 SOS 18097 HAS SOPS 18097 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14740.097
AT ITER 40 NEW BEST:: SOT 95510 SOS 18104 HAS SOPS 18104 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14733.104
AT ITER 95 NEW BEST:: SOT 95481 SOS 18092 HAS SOPS 18092 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14721.092
AT ITER 105 NEW BEST:: SOT 95481 SOS 18060 HAS SOPS 18060 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14721.06
AT ITER 121 NEW BEST:: SOT 95479 SOS 18056 HAS SOPS 18056 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14719.056
AT ITER 168 NEW BEST:: SOT 95479 SOS 18055 HAS SOPS 18055 HAS SOUS 14682 HAS SOUPS 14682 WITH SCORE 14700.055
AT ITER 175 NEW BEST:: SOT 95435 SOS 18011 HAS SOPS 18011 HAS SOUS 14638 HAS SOUPS 14638 WITH SCORE 14656.011
AT ITER 199 NEW BEST:: SOT 95434 SOS 18010 HAS SOPS 18010 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14655.01
AT ITER 205 NEW BEST:: SOT 95419 SOS 17976 HAS SOPS 17976 HAS SOUS 14620 HAS SOUPS 14620 WITH SCORE 14637.976
AT ITER 215 NEW BEST:: SOT 95409 SOS 17976 HAS SOPS 17976 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14610.976
AT ITER 285 NEW BEST:: SOT 95409 SOS 17975 HAS SOPS 17975 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14609.975
AT ITER 296 NEW BEST:: SOT 95378 SOS 17865 HAS SOPS 17865 HAS SOUS 14537 HAS SOUPS 14537 WITH SCORE 14554.865
AT ITER 353 NEW BEST:: SOT 95369 SOS 17847 HAS SOPS 17847 HAS SOUS 14519 HAS SOUPS 14519 WITH SCORE 14536.847
AT ITER 360 NEW BEST:: SOT 95324 SOS 17817 HAS SOPS 17817 HAS SOUS 14474 HAS SOUPS 14474 WITH SCORE 14491.817
AT ITER 377 NEW BEST:: SOT 95346 SOS 17864 HAS SOPS 17864 HAS SOUS 14467 HAS SOUPS 14467 WITH SCORE 14484.864
AT ITER 392 NEW BEST:: SOT 95346 SOS 17863 HAS SOPS 17863 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14483.863
AT ITER 428 NEW BEST:: SOT 95346 SOS 17841 HAS SOPS 17841 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14461.841
AT ITER 439 NEW BEST:: SOT 95346 SOS 17829 HAS SOPS 17829 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14449.829
AT ITER 467 NEW BEST:: SOT 95336 SOS 17800 HAS SOPS 17800 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14446.8
AT ITER 489 NEW BEST:: SOT 95295 SOS 17802 HAS SOPS 17802 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14428.802
AT ITER 491 NEW BEST:: SOT 95272 SOS 17806 HAS SOPS 17806 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14423.806
AT ITER 492 NEW BEST:: SOT 95271 SOS 17802 HAS SOPS 17802 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14422.802
AT ITER 512 NEW BEST:: SOT 95286 SOS 17863 HAS SOPS 17863 HAS SOUS 14370 HAS SOUPS 14370 WITH SCORE 14387.863
AT ITER 551 NEW BEST:: SOT 95257 SOS 17668 HAS SOPS 17668 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14353.668
AT ITER 595 NEW BEST:: SOT 95274 SOS 17606 HAS SOPS 17606 HAS SOUS 14312 HAS SOUPS 14312 WITH SCORE 14329.606
AT ITER 605 NEW BEST:: SOT 95203 SOS 17531 HAS SOPS 17531 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14239.531
AT ITER 683 NEW BEST:: SOT 95200 SOS 17525 HAS SOPS 17525 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14236.525
AT ITER 712 NEW BEST:: SOT 95202 SOS 17527 HAS SOPS 17527 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14224.527
AT ITER 723 NEW BEST:: SOT 95157 SOS 17526 HAS SOPS 17526 HAS SOUS 14206 HAS SOUPS 14206 WITH SCORE 14223.526
AT ITER 735 NEW BEST:: SOT 95154 SOS 17523 HAS SOPS 17523 HAS SOUS 14206 HAS SOUPS 14206 WITH SCORE 14223.523
AT ITER 749 NEW BEST:: SOT 95135 SOS 17447 HAS SOPS 17447 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14204.447
AT ITER 770 NEW BEST:: SOT 95150 SOS 17476 HAS SOPS 17476 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14186.476
AT ITER 813 NEW BEST:: SOT 95138 SOS 17352 HAS SOPS 17352 HAS SOUS 14156 HAS SOUPS 14156 WITH SCORE 14173.352
AT ITER 846 NEW BEST:: SOT 95135 SOS 17349 HAS SOPS 17349 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14170.349
AT ITER 848 NEW BEST:: SOT 95086 SOS 17335 HAS SOPS 17335 HAS SOUS 14125 HAS SOUPS 14125 WITH SCORE 14142.335
AT ITER 873 NEW BEST:: SOT 95086 SOS 17342 HAS SOPS 17342 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14140.342
AT ITER 935 NEW BEST:: SOT 95084 SOS 17336 HAS SOPS 17336 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14136.336
AT ITER 989 NEW BEST:: SOT 95088 SOS 17332 HAS SOPS 17332 HAS SOUS 14115 HAS SOUPS 14115 WITH SCORE 14132.332
AT ITER 990 NEW BEST:: SOT 95077 SOS 17364 HAS SOPS 17364 HAS SOUS 14097 HAS SOUPS 14097 WITH SCORE 14114.364
AT ITER 992 NEW BEST:: SOT 95066 SOS 17522 HAS SOPS 17522 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14077.522
AT ITER 1054 NEW BEST:: SOT 95045 SOS 17522 HAS SOPS 17522 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14056.522
AT ITER 1056 NEW BEST:: SOT 95045 SOS 17504 HAS SOPS 17504 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14056.504
AT ITER 1073 NEW BEST:: SOT 95045 SOS 17503 HAS SOPS 17503 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14055.503
AT ITER 1119 NEW BEST:: SOT 95044 SOS 17537 HAS SOPS 17537 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14035.537
AT ITER 1123 NEW BEST:: SOT 95040 SOS 17529 HAS SOPS 17529 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14029.529
AT ITER 1140 NEW BEST:: SOT 95031 SOS 17528 HAS SOPS 17528 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14028.528
AT ITER 1152 NEW BEST:: SOT 94998 SOS 17495 HAS SOPS 17495 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13995.495
AT ITER 1168 NEW BEST:: SOT 94987 SOS 17516 HAS SOPS 17516 HAS SOUS 13937 HAS SOUPS 13937 WITH SCORE 13954.516
AT ITER 1183 NEW BEST:: SOT 94989 SOS 17463 HAS SOPS 17463 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13927.463
AT ITER 1201 NEW BEST:: SOT 94989 SOS 17456 HAS SOPS 17456 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13920.456
AT ITER 1220 NEW BEST:: SOT 94989 SOS 17438 HAS SOPS 17438 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13902.438
AT ITER 1226 NEW BEST:: SOT 94950 SOS 17399 HAS SOPS 17399 HAS SOUS 13846 HAS SOUPS 13846 WITH SCORE 13863.399
AT ITER 1251 NEW BEST:: SOT 94993 SOS 17396 HAS SOPS 17396 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13842.396
AT ITER 1260 NEW BEST:: SOT 95005 SOS 17430 HAS SOPS 17430 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13818.43
AT ITER 1307 NEW BEST:: SOT 95005 SOS 17419 HAS SOPS 17419 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13814.419
AT ITER 1324 NEW BEST:: SOT 95005 SOS 17417 HAS SOPS 17417 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13814.417
AT ITER 1337 NEW BEST:: SOT 95005 SOS 17379 HAS SOPS 17379 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13795.379
AT ITER 1396 NEW BEST:: SOT 95001 SOS 17371 HAS SOPS 17371 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13793.371
AT ITER 1408 NEW BEST:: SOT 95001 SOS 17362 HAS SOPS 17362 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13793.362
AT ITER 1416 NEW BEST:: SOT 95000 SOS 17361 HAS SOPS 17361 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13792.361
AT ITER 1458 NEW BEST:: SOT 94994 SOS 17355 HAS SOPS 17355 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13786.355
AT ITER 1502 NEW BEST:: SOT 94987 SOS 17350 HAS SOPS 17350 HAS SOUS 13762 HAS SOUPS 13762 WITH SCORE 13779.35
AT ITER 1566 NEW BEST:: SOT 94976 SOS 17348 HAS SOPS 17348 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13777.348
AT ITER 1587 NEW BEST:: SOT 94922 SOS 17374 HAS SOPS 17374 HAS SOUS 13746 HAS SOUPS 13746 WITH SCORE 13763.374
AT ITER 1594 NEW BEST:: SOT 94895 SOS 17347 HAS SOPS 17347 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13736.347
AT ITER 1599 NEW BEST:: SOT 94902 SOS 17332 HAS SOPS 17332 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13732.332
AT ITER 1621 NEW BEST:: SOT 94904 SOS 17334 HAS SOPS 17334 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13731.334
AT ITER 1624 NEW BEST:: SOT 94895 SOS 17163 HAS SOPS 17163 HAS SOUS 13705 HAS SOUPS 13705 WITH SCORE 13722.163
AT ITER 1630 NEW BEST:: SOT 94891 SOS 17172 HAS SOPS 17172 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13708.172
AT ITER 1718 NEW BEST:: SOT 94849 SOS 17149 HAS SOPS 17149 HAS SOUS 13668 HAS SOUPS 13668 WITH SCORE 13685.149
AT ITER 1752 NEW BEST:: SOT 94850 SOS 17150 HAS SOPS 17150 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13684.15
AT ITER 1809 NEW BEST:: SOT 94874 SOS 17157 HAS SOPS 17157 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13681.157
AT ITER 1821 NEW BEST:: SOT 94860 SOS 17054 HAS SOPS 17054 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13642.054
AT ITER 1883 NEW BEST:: SOT 94868 SOS 17054 HAS SOPS 17054 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13638.054
AT ITER 1884 NEW BEST:: SOT 94868 SOS 17046 HAS SOPS 17046 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13634.046
AT ITER 1900 NEW BEST:: SOT 94856 SOS 17047 HAS SOPS 17047 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13606.047
AT ITER 1993 NEW BEST:: SOT 94861 SOS 17042 HAS SOPS 17042 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13597.042
AT ITER 2031 NEW BEST:: SOT 94861 SOS 17041 HAS SOPS 17041 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13595.041
AT ITER 2032 NEW BEST:: SOT 94863 SOS 17059 HAS SOPS 17059 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13569.059
AT ITER 2057 NEW BEST:: SOT 94856 SOS 17051 HAS SOPS 17051 HAS SOUS 13530 HAS SOUPS 13530 WITH SCORE 13547.051
AT ITER 2087 NEW BEST:: SOT 94853 SOS 16954 HAS SOPS 16954 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13518.954
AT ITER 2118 NEW BEST:: SOT 94839 SOS 16940 HAS SOPS 16940 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13504.94
AT ITER 2199 NEW BEST:: SOT 94839 SOS 16929 HAS SOPS 16929 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13493.929
AT ITER 2230 NEW BEST:: SOT 94816 SOS 16929 HAS SOPS 16929 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13449.929
AT ITER 2255 NEW BEST:: SOT 94819 SOS 16932 HAS SOPS 16932 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13443.932
AT ITER 2273 NEW BEST:: SOT 94797 SOS 16932 HAS SOPS 16932 HAS SOUS 13418 HAS SOUPS 13418 WITH SCORE 13434.932
AT ITER 2296 NEW BEST:: SOT 94791 SOS 16931 HAS SOPS 16931 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13429.931
AT ITER 2318 NEW BEST:: SOT 94791 SOS 16927 HAS SOPS 16927 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13429.927
AT ITER 2323 NEW BEST:: SOT 94763 SOS 16815 HAS SOPS 16815 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13345.815
AT ITER 2340 NEW BEST:: SOT 94759 SOS 16813 HAS SOPS 16813 HAS SOUS 13325 HAS SOUPS 13325 WITH SCORE 13341.813
AT ITER 2403 NEW BEST:: SOT 94741 SOS 16775 HAS SOPS 16775 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13314.775
AT ITER 2418 NEW BEST:: SOT 94733 SOS 16765 HAS SOPS 16765 HAS SOUS 13285 HAS SOUPS 13285 WITH SCORE 13301.765
AT ITER 2437 NEW BEST:: SOT 94718 SOS 16735 HAS SOPS 16735 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13271.735
AT ITER 2459 NEW BEST:: SOT 94700 SOS 16741 HAS SOPS 16741 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13259.741
AT ITER 2541 NEW BEST:: SOT 94696 SOS 16723 HAS SOPS 16723 HAS SOUS 13237 HAS SOUPS 13237 WITH SCORE 13253.723
AT ITER 2546 NEW BEST:: SOT 94689 SOS 16712 HAS SOPS 16712 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13243.712
AT ITER 2629 NEW BEST:: SOT 94689 SOS 16646 HAS SOPS 16646 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13221.646
AT ITER 2639 NEW BEST:: SOT 94689 SOS 16637 HAS SOPS 16637 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13221.637
AT ITER 2644 NEW BEST:: SOT 94677 SOS 16622 HAS SOPS 16622 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13206.622
AT ITER 2671 NEW BEST:: SOT 94672 SOS 16614 HAS SOPS 16614 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13198.614
AT ITER 2789 NEW BEST:: SOT 94666 SOS 16602 HAS SOPS 16602 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13192.602
AT ITER 2799 NEW BEST:: SOT 94649 SOS 16566 HAS SOPS 16566 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13152.566
AT ITER 2840 NEW BEST:: SOT 94639 SOS 16481 HAS SOPS 16481 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13141.481
AT ITER 2916 NEW BEST:: SOT 94639 SOS 16472 HAS SOPS 16472 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13132.472
AT ITER 2954 NEW BEST:: SOT 94611 SOS 16645 HAS SOPS 16645 HAS SOUS 13105 HAS SOUPS 13105 WITH SCORE 13121.645
AT ITER 2987 NEW BEST:: SOT 94607 SOS 16646 HAS SOPS 16646 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13117.646
AT ITER 3029 NEW BEST:: SOT 94539 SOS 16553 HAS SOPS 16553 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13024.553
AT ITER 3030 NEW BEST:: SOT 94459 SOS 16563 HAS SOPS 16563 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12989.563
AT ITER 3066 NEW BEST:: SOT 94459 SOS 16513 HAS SOPS 16513 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12989.513
AT ITER 3116 NEW BEST:: SOT 94442 SOS 16390 HAS SOPS 16390 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12967.39
AT ITER 3129 NEW BEST:: SOT 94437 SOS 16385 HAS SOPS 16385 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12962.385
AT ITER 3188 NEW BEST:: SOT 94382 SOS 16177 HAS SOPS 16177 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12908.177
AT ITER 3203 NEW BEST:: SOT 94380 SOS 16189 HAS SOPS 16189 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12906.189
AT ITER 3255 NEW BEST:: SOT 94393 SOS 16202 HAS SOPS 16202 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12904.202
AT ITER 3271 NEW BEST:: SOT 94393 SOS 16201 HAS SOPS 16201 HAS SOUS 12887 HAS SOUPS 12887 WITH SCORE 12903.201
AT ITER 3305 NEW BEST:: SOT 94387 SOS 16187 HAS SOPS 16187 HAS SOUS 12881 HAS SOUPS 12881 WITH SCORE 12897.187
AT ITER 3377 NEW BEST:: SOT 94372 SOS 16185 HAS SOPS 16185 HAS SOUS 12879 HAS SOUPS 12879 WITH SCORE 12895.185
AT ITER 3395 NEW BEST:: SOT 94345 SOS 16158 HAS SOPS 16158 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12859.158
AT ITER 3396 NEW BEST:: SOT 94305 SOS 16044 HAS SOPS 16044 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12790.044
AT ITER 3459 NEW BEST:: SOT 94264 SOS 15997 HAS SOPS 15997 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12728.997
AT ITER 3466 NEW BEST:: SOT 94252 SOS 15847 HAS SOPS 15847 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12701.847
AT ITER 3543 NEW BEST:: SOT 94232 SOS 15782 HAS SOPS 15782 HAS SOUS 12641 HAS SOUPS 12641 WITH SCORE 12656.782
AT ITER 3596 NEW BEST:: SOT 94193 SOS 15769 HAS SOPS 15769 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12643.769
AT ITER 3628 NEW BEST:: SOT 94188 SOS 15780 HAS SOPS 15780 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12638.78
AT ITER 3636 NEW BEST:: SOT 94175 SOS 15767 HAS SOPS 15767 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12637.767
AT ITER 3654 NEW BEST:: SOT 94176 SOS 15763 HAS SOPS 15763 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12636.763
AT ITER 3663 NEW BEST:: SOT 94169 SOS 15762 HAS SOPS 15762 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12635.762
AT ITER 3708 NEW BEST:: SOT 94169 SOS 15761 HAS SOPS 15761 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12634.761
AT ITER 3727 NEW BEST:: SOT 94169 SOS 15752 HAS SOPS 15752 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12625.752
AT ITER 3738 NEW BEST:: SOT 94151 SOS 15716 HAS SOPS 15716 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12597.716
AT ITER 3744 NEW BEST:: SOT 94142 SOS 15715 HAS SOPS 15715 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12596.715
AT ITER 3797 NEW BEST:: SOT 94120 SOS 15714 HAS SOPS 15714 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12595.714
AT ITER 3816 NEW BEST:: SOT 94119 SOS 15719 HAS SOPS 15719 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12594.719
AT ITER 3825 NEW BEST:: SOT 94114 SOS 15707 HAS SOPS 15707 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12580.707
AT ITER 3924 NEW BEST:: SOT 94094 SOS 15671 HAS SOPS 15671 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12562.671
AT ITER 3982 NEW BEST:: SOT 94098 SOS 15646 HAS SOPS 15646 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12559.646
AT ITER 3988 NEW BEST:: SOT 94094 SOS 15643 HAS SOPS 15643 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12555.643
AT ITER 4002 NEW BEST:: SOT 94088 SOS 15682 HAS SOPS 15682 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12539.682
AT ITER 4020 NEW BEST:: SOT 94088 SOS 15698 HAS SOPS 15698 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12536.698
AT ITER 4041 NEW BEST:: SOT 94088 SOS 15692 HAS SOPS 15692 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12530.692
AT ITER 4068 NEW BEST:: SOT 94081 SOS 15684 HAS SOPS 15684 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12523.684
AT ITER 4075 NEW BEST:: SOT 94073 SOS 15668 HAS SOPS 15668 HAS SOUS 12500 HAS SOUPS 12500 WITH SCORE 12515.668
AT ITER 4077 NEW BEST:: SOT 94055 SOS 15650 HAS SOPS 15650 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12497.65
AT ITER 4174 NEW BEST:: SOT 94062 SOS 15571 HAS SOPS 15571 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12486.571
AT ITER 4188 NEW BEST:: SOT 94058 SOS 15569 HAS SOPS 15569 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12484.569
AT ITER 4211 NEW BEST:: SOT 94047 SOS 15508 HAS SOPS 15508 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12465.508
AT ITER 4251 NEW BEST:: SOT 94044 SOS 15520 HAS SOPS 15520 HAS SOUS 12447 HAS SOUPS 12447 WITH SCORE 12462.52
AT ITER 4307 NEW BEST:: SOT 94057 SOS 15544 HAS SOPS 15544 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12458.544
AT ITER 4341 NEW BEST:: SOT 94044 SOS 15517 HAS SOPS 15517 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12456.517
AT ITER 4360 NEW BEST:: SOT 94044 SOS 15516 HAS SOPS 15516 HAS SOUS 12440 HAS SOUPS 12440 WITH SCORE 12455.516
AT ITER 4424 NEW BEST:: SOT 94051 SOS 15518 HAS SOPS 15518 HAS SOUS 12437 HAS SOUPS 12437 WITH SCORE 12452.518
AT ITER 4425 NEW BEST:: SOT 94043 SOS 15470 HAS SOPS 15470 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12428.47
AT ITER 4538 NEW BEST:: SOT 94043 SOS 15470 HAS SOPS 15470 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12425.47
AT ITER 4596 NEW BEST:: SOT 94036 SOS 15436 HAS SOPS 15436 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12405.436
AT ITER 4654 NEW BEST:: SOT 93989 SOS 15385 HAS SOPS 15385 HAS SOUS 12339 HAS SOUPS 12339 WITH SCORE 12354.385
AT ITER 4758 NEW BEST:: SOT 93989 SOS 15384 HAS SOPS 15384 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12353.384
AT ITER 4767 NEW BEST:: SOT 93977 SOS 15334 HAS SOPS 15334 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12316.334
AT ITER 4901 NEW BEST:: SOT 93974 SOS 15331 HAS SOPS 15331 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12313.331
AT ITER 4921 NEW BEST:: SOT 93961 SOS 15242 HAS SOPS 15242 HAS SOUS 12269 HAS SOUPS 12269 WITH SCORE 12284.242
AT ITER 4938 NEW BEST:: SOT 93961 SOS 15230 HAS SOPS 15230 HAS SOUS 12269 HAS SOUPS 12269 WITH SCORE 12284.23
AT ITER 4984 NEW BEST:: SOT 93961 SOS 15228 HAS SOPS 15228 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12268.228
AT ITER 4989 NEW BEST:: SOT 93959 SOS 15224 HAS SOPS 15224 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12265.224
AT ITER 5028 NEW BEST:: SOT 93956 SOS 15241 HAS SOPS 15241 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12260.241
AT ITER 5034 NEW BEST:: SOT 93945 SOS 15214 HAS SOPS 15214 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12234.214
AT ITER 5050 NEW BEST:: SOT 93923 SOS 15197 HAS SOPS 15197 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12217.197
AT ITER 5145 NEW BEST:: SOT 93907 SOS 15110 HAS SOPS 15110 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12217.11
AT ITER 5197 NEW BEST:: SOT 93896 SOS 15099 HAS SOPS 15099 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12206.099
AT ITER 5203 NEW BEST:: SOT 93891 SOS 15089 HAS SOPS 15089 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12201.089
AT ITER 5204 NEW BEST:: SOT 93900 SOS 15104 HAS SOPS 15104 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12197.104
AT ITER 5227 NEW BEST:: SOT 93900 SOS 15097 HAS SOPS 15097 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12190.097
AT ITER 5260 NEW BEST:: SOT 93874 SOS 15071 HAS SOPS 15071 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12181.071
AT ITER 5334 NEW BEST:: SOT 93879 SOS 15060 HAS SOPS 15060 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12176.06
AT ITER 5554 NEW BEST:: SOT 93869 SOS 15033 HAS SOPS 15033 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12163.033
AT ITER 5555 NEW BEST:: SOT 93869 SOS 15027 HAS SOPS 15027 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12160.027
AT ITER 5573 NEW BEST:: SOT 93871 SOS 15025 HAS SOPS 15025 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12158.025
AT ITER 5588 NEW BEST:: SOT 93875 SOS 15020 HAS SOPS 15020 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12153.02
AT ITER 5651 NEW BEST:: SOT 93864 SOS 15032 HAS SOPS 15032 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12150.032
AT ITER 5662 NEW BEST:: SOT 93852 SOS 14990 HAS SOPS 14990 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12119.99
AT ITER 5669 NEW BEST:: SOT 93852 SOS 14988 HAS SOPS 14988 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12117.988
AT ITER 5694 NEW BEST:: SOT 93841 SOS 14984 HAS SOPS 14984 HAS SOUS 12091 HAS SOUPS 12091 WITH SCORE 12105.984
AT ITER 5718 NEW BEST:: SOT 93832 SOS 14984 HAS SOPS 14984 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12088.984
AT ITER 5743 NEW BEST:: SOT 93790 SOS 14912 HAS SOPS 14912 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12016.912
AT ITER 5762 NEW BEST:: SOT 93780 SOS 14877 HAS SOPS 14877 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 11999.877
AT ITER 5765 NEW BEST:: SOT 93774 SOS 14869 HAS SOPS 14869 HAS SOUS 11979 HAS SOUPS 11979 WITH SCORE 11993.869
AT ITER 5780 NEW BEST:: SOT 93779 SOS 14789 HAS SOPS 14789 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11960.789
AT ITER 5807 NEW BEST:: SOT 93778 SOS 14786 HAS SOPS 14786 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11958.786
AT ITER 5861 NEW BEST:: SOT 93775 SOS 14778 HAS SOPS 14778 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11953.778
AT ITER 5874 NEW BEST:: SOT 93739 SOS 14616 HAS SOPS 14616 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11912.616
AT ITER 5945 NEW BEST:: SOT 93715 SOS 14658 HAS SOPS 14658 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11900.658
AT ITER 6065 NEW BEST:: SOT 93707 SOS 14646 HAS SOPS 14646 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11884.646
AT ITER 6089 NEW BEST:: SOT 93699 SOS 14630 HAS SOPS 14630 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11868.63
AT ITER 6116 NEW BEST:: SOT 93695 SOS 14618 HAS SOPS 14618 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11860.618
AT ITER 6128 NEW BEST:: SOT 93689 SOS 14597 HAS SOPS 14597 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11847.597
AT ITER 6131 NEW BEST:: SOT 93651 SOS 14558 HAS SOPS 14558 HAS SOUS 11832 HAS SOUPS 11832 WITH SCORE 11846.558
AT ITER 6217 NEW BEST:: SOT 93637 SOS 14552 HAS SOPS 14552 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11840.552
AT ITER 6277 NEW BEST:: SOT 93619 SOS 14556 HAS SOPS 14556 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11825.556
AT ITER 6304 NEW BEST:: SOT 93619 SOS 14550 HAS SOPS 14550 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11819.55
AT ITER 6314 NEW BEST:: SOT 93619 SOS 14538 HAS SOPS 14538 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11807.538
AT ITER 6320 NEW BEST:: SOT 93619 SOS 14529 HAS SOPS 14529 HAS SOUS 11784 HAS SOUPS 11784 WITH SCORE 11798.529
AT ITER 6392 NEW BEST:: SOT 93620 SOS 14515 HAS SOPS 14515 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11784.515
AT ITER 6393 NEW BEST:: SOT 93610 SOS 14425 HAS SOPS 14425 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11784.425
AT ITER 6490 NEW BEST:: SOT 93600 SOS 14437 HAS SOPS 14437 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11774.437
AT ITER 6539 NEW BEST:: SOT 93597 SOS 14433 HAS SOPS 14433 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11766.433
AT ITER 6649 NEW BEST:: SOT 93518 SOS 14586 HAS SOPS 14586 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11752.586
AT ITER 6692 NEW BEST:: SOT 93519 SOS 14588 HAS SOPS 14588 HAS SOUS 11737 HAS SOUPS 11737 WITH SCORE 11751.588
AT ITER 6798 NEW BEST:: SOT 93497 SOS 14566 HAS SOPS 14566 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11706.566
AT ITER 6819 NEW BEST:: SOT 93499 SOS 14592 HAS SOPS 14592 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11641.592
AT ITER 6828 NEW BEST:: SOT 93498 SOS 14591 HAS SOPS 14591 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11640.591
AT ITER 6868 NEW BEST:: SOT 93496 SOS 14587 HAS SOPS 14587 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11607.587
AT ITER 6882 NEW BEST:: SOT 93495 SOS 14586 HAS SOPS 14586 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11606.586
AT ITER 6885 NEW BEST:: SOT 93487 SOS 14574 HAS SOPS 14574 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11596.574
AT ITER 6940 NEW BEST:: SOT 93466 SOS 14574 HAS SOPS 14574 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11568.574
AT ITER 6959 NEW BEST:: SOT 93483 SOS 14570 HAS SOPS 14570 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11564.57
AT ITER 7029 NEW BEST:: SOT 93459 SOS 14586 HAS SOPS 14586 HAS SOUS 11528 HAS SOUPS 11528 WITH SCORE 11542.586
AT ITER 7030 NEW BEST:: SOT 93454 SOS 14580 HAS SOPS 14580 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11535.58
AT ITER 7063 NEW BEST:: SOT 93452 SOS 14578 HAS SOPS 14578 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11531.578
AT ITER 7073 NEW BEST:: SOT 93454 SOS 14577 HAS SOPS 14577 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11530.577
AT ITER 7081 NEW BEST:: SOT 93456 SOS 14573 HAS SOPS 14573 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11526.573
AT ITER 7083 NEW BEST:: SOT 93450 SOS 14602 HAS SOPS 14602 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11507.602
AT ITER 7089 NEW BEST:: SOT 93450 SOS 14601 HAS SOPS 14601 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11506.601
AT ITER 7134 NEW BEST:: SOT 93448 SOS 14599 HAS SOPS 14599 HAS SOUS 11490 HAS SOUPS 11490 WITH SCORE 11504.599
AT ITER 7187 NEW BEST:: SOT 93445 SOS 14577 HAS SOPS 14577 HAS SOUS 11475 HAS SOUPS 11475 WITH SCORE 11489.577
AT ITER 7195 NEW BEST:: SOT 93441 SOS 14567 HAS SOPS 14567 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11487.567
AT ITER 7235 NEW BEST:: SOT 93448 SOS 14581 HAS SOPS 14581 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11484.581
AT ITER 7248 NEW BEST:: SOT 93434 SOS 14551 HAS SOPS 14551 HAS SOUS 11449 HAS SOUPS 11449 WITH SCORE 11463.551
AT ITER 7257 NEW BEST:: SOT 93436 SOS 14541 HAS SOPS 14541 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11453.541
AT ITER 7262 NEW BEST:: SOT 93450 SOS 14569 HAS SOPS 14569 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11441.569
AT ITER 7313 NEW BEST:: SOT 93447 SOS 14566 HAS SOPS 14566 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11438.566
AT ITER 7337 NEW BEST:: SOT 93447 SOS 14559 HAS SOPS 14559 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11431.559
AT ITER 7393 NEW BEST:: SOT 93423 SOS 14533 HAS SOPS 14533 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11405.533
AT ITER 7410 NEW BEST:: SOT 93416 SOS 14519 HAS SOPS 14519 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11391.519
AT ITER 7455 NEW BEST:: SOT 93386 SOS 14501 HAS SOPS 14501 HAS SOUS 11359 HAS SOUPS 11359 WITH SCORE 11373.501
AT ITER 7527 NEW BEST:: SOT 93386 SOS 14489 HAS SOPS 14489 HAS SOUS 11359 HAS SOUPS 11359 WITH SCORE 11373.489
AT ITER 7538 NEW BEST:: SOT 93392 SOS 14486 HAS SOPS 14486 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11370.486
AT ITER 7596 NEW BEST:: SOT 93392 SOS 14487 HAS SOPS 14487 HAS SOUS 11355 HAS SOUPS 11355 WITH SCORE 11369.487
AT ITER 7730 NEW BEST:: SOT 93385 SOS 14459 HAS SOPS 14459 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11347.459
AT ITER 7744 NEW BEST:: SOT 93379 SOS 14453 HAS SOPS 14453 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11330.453
AT ITER 7762 NEW BEST:: SOT 93369 SOS 14433 HAS SOPS 14433 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11300.433
AT ITER 7861 NEW BEST:: SOT 93368 SOS 14431 HAS SOPS 14431 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11292.431
AT ITER 7895 NEW BEST:: SOT 93368 SOS 14429 HAS SOPS 14429 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11292.429
AT ITER 7957 NEW BEST:: SOT 93358 SOS 14349 HAS SOPS 14349 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11272.349
AT ITER 8132 NEW BEST:: SOT 93358 SOS 14337 HAS SOPS 14337 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11260.337
AT ITER 8178 NEW BEST:: SOT 93358 SOS 14330 HAS SOPS 14330 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11260.33
AT ITER 8181 NEW BEST:: SOT 93338 SOS 14310 HAS SOPS 14310 HAS SOUS 11220 HAS SOUPS 11220 WITH SCORE 11234.31
AT ITER 8237 NEW BEST:: SOT 93338 SOS 14304 HAS SOPS 14304 HAS SOUS 11220 HAS SOUPS 11220 WITH SCORE 11234.304
AT ITER 8371 NEW BEST:: SOT 93354 SOS 14294 HAS SOPS 14294 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11224.294
AT ITER 8391 NEW BEST:: SOT 93342 SOS 14288 HAS SOPS 14288 HAS SOUS 11204 HAS SOUPS 11204 WITH SCORE 11218.288
AT ITER 8406 NEW BEST:: SOT 93343 SOS 14246 HAS SOPS 14246 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11208.246
AT ITER 8429 NEW BEST:: SOT 93340 SOS 14219 HAS SOPS 14219 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11202.219
AT ITER 8542 NEW BEST:: SOT 93338 SOS 14202 HAS SOPS 14202 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11198.202
AT ITER 8571 NEW BEST:: SOT 93337 SOS 14197 HAS SOPS 14197 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11193.197
AT ITER 8573 NEW BEST:: SOT 93331 SOS 14191 HAS SOPS 14191 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11187.191
AT ITER 8649 NEW BEST:: SOT 93330 SOS 14189 HAS SOPS 14189 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11186.189
AT ITER 8769 NEW BEST:: SOT 93330 SOS 14187 HAS SOPS 14187 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11184.187
AT ITER 8813 NEW BEST:: SOT 93326 SOS 14183 HAS SOPS 14183 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11180.183
AT ITER 8815 NEW BEST:: SOT 93301 SOS 14164 HAS SOPS 14164 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11150.164
AT ITER 8844 NEW BEST:: SOT 93301 SOS 14164 HAS SOPS 14164 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11149.164
AT ITER 8937 NEW BEST:: SOT 93301 SOS 14139 HAS SOPS 14139 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11130.139
AT ITER 8970 NEW BEST:: SOT 93299 SOS 14137 HAS SOPS 14137 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11124.137
AT ITER 8998 NEW BEST:: SOT 93295 SOS 14133 HAS SOPS 14133 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11112.133
AT ITER 9008 NEW BEST:: SOT 93271 SOS 14129 HAS SOPS 14129 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11108.129
AT ITER 9103 NEW BEST:: SOT 93269 SOS 14125 HAS SOPS 14125 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11104.125
AT ITER 9244 NEW BEST:: SOT 93269 SOS 14113 HAS SOPS 14113 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11092.113
AT ITER 9324 NEW BEST:: SOT 93261 SOS 14099 HAS SOPS 14099 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11088.099
AT ITER 9337 NEW BEST:: SOT 93261 SOS 14100 HAS SOPS 14100 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11087.1
AT ITER 9378 NEW BEST:: SOT 93261 SOS 14099 HAS SOPS 14099 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11086.099
AT ITER 9419 NEW BEST:: SOT 93260 SOS 14086 HAS SOPS 14086 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11073.086
AT ITER 9507 NEW BEST:: SOT 93258 SOS 14082 HAS SOPS 14082 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11061.082
AT ITER 9515 NEW BEST:: SOT 93272 SOS 14077 HAS SOPS 14077 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11059.077
AT ITER 9622 NEW BEST:: SOT 93271 SOS 14036 HAS SOPS 14036 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11045.036
AT ITER 9645 NEW BEST:: SOT 93266 SOS 14031 HAS SOPS 14031 HAS SOUS 11026 HAS SOUPS 11026 WITH SCORE 11040.031
AT ITER 9711 NEW BEST:: SOT 93258 SOS 14023 HAS SOPS 14023 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11032.023
AT ITER 9791 NEW BEST:: SOT 93255 SOS 13934 HAS SOPS 13934 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10988.934
AT ITER 9793 NEW BEST:: SOT 93255 SOS 13937 HAS SOPS 13937 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10985.937
AT ITER 9835 NEW BEST:: SOT 93236 SOS 13911 HAS SOPS 13911 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10956.911
AT ITER 9924 NEW BEST:: SOT 93233 SOS 13899 HAS SOPS 13899 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10947.899
AT ITER 9974 NEW BEST:: SOT 93233 SOS 13881 HAS SOPS 13881 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10947.881
AT ITER 9983 NEW BEST:: SOT 93227 SOS 13865 HAS SOPS 13865 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10931.865
AT ITER 9997 NEW BEST:: SOT 93225 SOS 13865 HAS SOPS 13865 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10929.865
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 2073468 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16155472 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldRVs-PT-010B"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-010B, 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 r419-tajo-167905973300096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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