fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542000336
Last Updated
Jun 28, 2020

About the Execution of smart for DES-PT-60b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.220 3600000.00 3600081.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000336.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-60b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 139K Mar 24 05:37 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 1589111198328

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

Filename model.pnml
Petri model created: 519 places, 470 transitions, 1623 arcs.
AT ITER 0 NEW BEST:: SOT 163151 SOS 42157 HAS SOPS 42157 HAS SOUS 40875 HAS SOUPS 40875 WITH SCORE 40917.157
AT ITER 18 NEW BEST:: SOT 163039 SOS 42092 HAS SOPS 42092 HAS SOUS 40810 HAS SOUPS 40810 WITH SCORE 40852.092
AT ITER 75 NEW BEST:: SOT 162838 SOS 41904 HAS SOPS 41904 HAS SOUS 40622 HAS SOUPS 40622 WITH SCORE 40663.904
AT ITER 76 NEW BEST:: SOT 162652 SOS 43738 HAS SOPS 43738 HAS SOUS 40528 HAS SOUPS 40528 WITH SCORE 40571.738
AT ITER 78 NEW BEST:: SOT 159858 SOS 57385 HAS SOPS 57385 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38381.385
AT ITER 79 NEW BEST:: SOT 159849 SOS 57374 HAS SOPS 57374 HAS SOUS 38313 HAS SOUPS 38313 WITH SCORE 38370.374
AT ITER 119 NEW BEST:: SOT 159819 SOS 57397 HAS SOPS 57397 HAS SOUS 38311 HAS SOUPS 38311 WITH SCORE 38368.397
AT ITER 120 NEW BEST:: SOT 159679 SOS 57327 HAS SOPS 57327 HAS SOUS 38241 HAS SOUPS 38241 WITH SCORE 38298.327
AT ITER 122 NEW BEST:: SOT 159669 SOS 57337 HAS SOPS 57337 HAS SOUS 38231 HAS SOUPS 38231 WITH SCORE 38288.337
AT ITER 129 NEW BEST:: SOT 155826 SOS 53572 HAS SOPS 53572 HAS SOUS 34381 HAS SOUPS 34381 WITH SCORE 34434.572
AT ITER 131 NEW BEST:: SOT 155782 SOS 53487 HAS SOPS 53487 HAS SOUS 34296 HAS SOUPS 34296 WITH SCORE 34349.487
AT ITER 138 NEW BEST:: SOT 155781 SOS 53478 HAS SOPS 53478 HAS SOUS 34294 HAS SOUPS 34294 WITH SCORE 34347.478
AT ITER 203 NEW BEST:: SOT 155781 SOS 53477 HAS SOPS 53477 HAS SOUS 34293 HAS SOUPS 34293 WITH SCORE 34346.477
AT ITER 213 NEW BEST:: SOT 155774 SOS 53476 HAS SOPS 53476 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34345.476
AT ITER 221 NEW BEST:: SOT 155744 SOS 53471 HAS SOPS 53471 HAS SOUS 34273 HAS SOUPS 34273 WITH SCORE 34326.471
AT ITER 227 NEW BEST:: SOT 155553 SOS 53279 HAS SOPS 53279 HAS SOUS 34264 HAS SOUPS 34264 WITH SCORE 34317.279
AT ITER 238 NEW BEST:: SOT 155499 SOS 53279 HAS SOPS 53279 HAS SOUS 34210 HAS SOUPS 34210 WITH SCORE 34263.279
AT ITER 273 NEW BEST:: SOT 155481 SOS 53272 HAS SOPS 53272 HAS SOUS 34203 HAS SOUPS 34203 WITH SCORE 34256.272
AT ITER 277 NEW BEST:: SOT 151445 SOS 56893 HAS SOPS 56893 HAS SOUS 30356 HAS SOUPS 30356 WITH SCORE 30412.893
AT ITER 346 NEW BEST:: SOT 151432 SOS 56880 HAS SOPS 56880 HAS SOUS 30343 HAS SOUPS 30343 WITH SCORE 30399.88
AT ITER 353 NEW BEST:: SOT 151424 SOS 56865 HAS SOPS 56865 HAS SOUS 30328 HAS SOUPS 30328 WITH SCORE 30384.865
AT ITER 357 NEW BEST:: SOT 151424 SOS 56864 HAS SOPS 56864 HAS SOUS 30327 HAS SOUPS 30327 WITH SCORE 30383.864
AT ITER 359 NEW BEST:: SOT 150356 SOS 70160 HAS SOPS 70160 HAS SOUS 29645 HAS SOUPS 29645 WITH SCORE 29715.16
AT ITER 363 NEW BEST:: SOT 150237 SOS 70041 HAS SOPS 70041 HAS SOUS 29454 HAS SOUPS 29454 WITH SCORE 29524.041
AT ITER 390 NEW BEST:: SOT 150195 SOS 70074 HAS SOPS 70074 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29499.074
AT ITER 409 NEW BEST:: SOT 150067 SOS 69946 HAS SOPS 69946 HAS SOUS 29300 HAS SOUPS 29300 WITH SCORE 29369.946
AT ITER 420 NEW BEST:: SOT 150045 SOS 69923 HAS SOPS 69923 HAS SOUS 29277 HAS SOUPS 29277 WITH SCORE 29346.923
AT ITER 429 NEW BEST:: SOT 149910 SOS 70640 HAS SOPS 70640 HAS SOUS 29266 HAS SOUPS 29266 WITH SCORE 29336.64
AT ITER 435 NEW BEST:: SOT 149910 SOS 70640 HAS SOPS 70640 HAS SOUS 29265 HAS SOUPS 29265 WITH SCORE 29335.64
AT ITER 438 NEW BEST:: SOT 149907 SOS 70639 HAS SOPS 70639 HAS SOUS 29264 HAS SOUPS 29264 WITH SCORE 29334.639
AT ITER 441 NEW BEST:: SOT 149907 SOS 70625 HAS SOPS 70625 HAS SOUS 29250 HAS SOUPS 29250 WITH SCORE 29320.625
AT ITER 455 NEW BEST:: SOT 149905 SOS 70623 HAS SOPS 70623 HAS SOUS 29248 HAS SOUPS 29248 WITH SCORE 29318.623
AT ITER 487 NEW BEST:: SOT 149378 SOS 57701 HAS SOPS 57701 HAS SOUS 28511 HAS SOUPS 28511 WITH SCORE 28568.701
AT ITER 493 NEW BEST:: SOT 149328 SOS 57682 HAS SOPS 57682 HAS SOUS 28492 HAS SOUPS 28492 WITH SCORE 28549.682
AT ITER 517 NEW BEST:: SOT 147528 SOS 55882 HAS SOPS 55882 HAS SOUS 26692 HAS SOUPS 26692 WITH SCORE 26747.882
AT ITER 538 NEW BEST:: SOT 144296 SOS 52672 HAS SOPS 52672 HAS SOUS 23471 HAS SOUPS 23471 WITH SCORE 23523.672
AT ITER 551 NEW BEST:: SOT 144284 SOS 52648 HAS SOPS 52648 HAS SOUS 23467 HAS SOUPS 23467 WITH SCORE 23519.648
AT ITER 559 NEW BEST:: SOT 144266 SOS 52661 HAS SOPS 52661 HAS SOUS 23448 HAS SOUPS 23448 WITH SCORE 23500.661
AT ITER 561 NEW BEST:: SOT 144264 SOS 52657 HAS SOPS 52657 HAS SOUS 23435 HAS SOUPS 23435 WITH SCORE 23487.657
AT ITER 619 NEW BEST:: SOT 140090 SOS 49921 HAS SOPS 49921 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19378.921
AT ITER 632 NEW BEST:: SOT 140089 SOS 49920 HAS SOPS 49920 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19376.92
AT ITER 650 NEW BEST:: SOT 140068 SOS 49897 HAS SOPS 49897 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19355.897
AT ITER 653 NEW BEST:: SOT 140014 SOS 49849 HAS SOPS 49849 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19284.849
AT ITER 762 NEW BEST:: SOT 140003 SOS 49848 HAS SOPS 49848 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19283.848
AT ITER 812 NEW BEST:: SOT 140002 SOS 49804 HAS SOPS 49804 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19272.804
AT ITER 827 NEW BEST:: SOT 138539 SOS 66958 HAS SOPS 66958 HAS SOUS 18209 HAS SOUPS 18209 WITH SCORE 18275.958
AT ITER 833 NEW BEST:: SOT 138538 SOS 66957 HAS SOPS 66957 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18273.957
AT ITER 835 NEW BEST:: SOT 136916 SOS 73776 HAS SOPS 73776 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16928.776
AT ITER 840 NEW BEST:: SOT 136902 SOS 73761 HAS SOPS 73761 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16913.761
AT ITER 907 NEW BEST:: SOT 136901 SOS 73760 HAS SOPS 73760 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16911.76
AT ITER 924 NEW BEST:: SOT 136901 SOS 73781 HAS SOPS 73781 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16910.781
AT ITER 938 NEW BEST:: SOT 136900 SOS 73780 HAS SOPS 73780 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16909.78
AT ITER 1005 NEW BEST:: SOT 136897 SOS 73783 HAS SOPS 73783 HAS SOUS 16833 HAS SOUPS 16833 WITH SCORE 16906.783
AT ITER 1014 NEW BEST:: SOT 136879 SOS 73765 HAS SOPS 73765 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16887.765
AT ITER 1050 NEW BEST:: SOT 136879 SOS 71641 HAS SOPS 71641 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16877.641
AT ITER 1100 NEW BEST:: SOT 136857 SOS 71563 HAS SOPS 71563 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16809.563
AT ITER 1204 NEW BEST:: SOT 136819 SOS 71525 HAS SOPS 71525 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16733.525
AT ITER 1216 NEW BEST:: SOT 136818 SOS 71524 HAS SOPS 71524 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16731.524
AT ITER 1265 NEW BEST:: SOT 136816 SOS 71522 HAS SOPS 71522 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16728.522
AT ITER 1293 NEW BEST:: SOT 136792 SOS 69381 HAS SOPS 69381 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16650.381
AT ITER 1307 NEW BEST:: SOT 136783 SOS 69371 HAS SOPS 69371 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16649.371
AT ITER 1308 NEW BEST:: SOT 136757 SOS 69345 HAS SOPS 69345 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16623.345
AT ITER 1313 NEW BEST:: SOT 136756 SOS 69344 HAS SOPS 69344 HAS SOUS 16552 HAS SOUPS 16552 WITH SCORE 16621.344
AT ITER 1316 NEW BEST:: SOT 136717 SOS 69308 HAS SOPS 69308 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16582.308
AT ITER 1353 NEW BEST:: SOT 136674 SOS 69205 HAS SOPS 69205 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16496.205
AT ITER 1470 NEW BEST:: SOT 136633 SOS 69196 HAS SOPS 69196 HAS SOUS 16373 HAS SOUPS 16373 WITH SCORE 16442.196
AT ITER 1486 NEW BEST:: SOT 136601 SOS 69163 HAS SOPS 69163 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16409.163
AT ITER 1506 NEW BEST:: SOT 136583 SOS 69145 HAS SOPS 69145 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16375.145
AT ITER 1518 NEW BEST:: SOT 136582 SOS 69144 HAS SOPS 69144 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16373.144
AT ITER 1610 NEW BEST:: SOT 136418 SOS 68980 HAS SOPS 68980 HAS SOUS 16121 HAS SOUPS 16121 WITH SCORE 16189.98
AT ITER 1657 NEW BEST:: SOT 136418 SOS 68979 HAS SOPS 68979 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16188.979
AT ITER 1666 NEW BEST:: SOT 136418 SOS 68963 HAS SOPS 68963 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16181.963
AT ITER 1679 NEW BEST:: SOT 136417 SOS 68962 HAS SOPS 68962 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16179.962
AT ITER 1681 NEW BEST:: SOT 136395 SOS 68940 HAS SOPS 68940 HAS SOUS 16072 HAS SOUPS 16072 WITH SCORE 16140.94
AT ITER 1710 NEW BEST:: SOT 136395 SOS 68937 HAS SOPS 68937 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16137.937
AT ITER 1714 NEW BEST:: SOT 136374 SOS 59621 HAS SOPS 59621 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16067.621
AT ITER 1719 NEW BEST:: SOT 136373 SOS 59620 HAS SOPS 59620 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16065.62
AT ITER 1794 NEW BEST:: SOT 136328 SOS 59575 HAS SOPS 59575 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 16020.575
AT ITER 1830 NEW BEST:: SOT 136328 SOS 59518 HAS SOPS 59518 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 16019.518
AT ITER 1833 NEW BEST:: SOT 136327 SOS 59517 HAS SOPS 59517 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16017.517
AT ITER 1904 NEW BEST:: SOT 136300 SOS 59496 HAS SOPS 59496 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15996.496
AT ITER 1930 NEW BEST:: SOT 136327 SOS 59494 HAS SOPS 59494 HAS SOUS 15860 HAS SOUPS 15860 WITH SCORE 15919.494
AT ITER 2000 NEW BEST:: SOT 136302 SOS 59469 HAS SOPS 59469 HAS SOUS 15824 HAS SOUPS 15824 WITH SCORE 15883.469
AT ITER 2028 NEW BEST:: SOT 136298 SOS 59461 HAS SOPS 59461 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15875.461
AT ITER 2046 NEW BEST:: SOT 136297 SOS 50913 HAS SOPS 50913 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15864.913
AT ITER 2062 NEW BEST:: SOT 136262 SOS 50737 HAS SOPS 50737 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15829.737
AT ITER 2063 NEW BEST:: SOT 136246 SOS 50715 HAS SOPS 50715 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15815.715
AT ITER 2066 NEW BEST:: SOT 136228 SOS 50697 HAS SOPS 50697 HAS SOUS 15729 HAS SOUPS 15729 WITH SCORE 15779.697
AT ITER 2088 NEW BEST:: SOT 136227 SOS 50696 HAS SOPS 50696 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15777.696
AT ITER 2095 NEW BEST:: SOT 136218 SOS 50679 HAS SOPS 50679 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15763.679
AT ITER 2105 NEW BEST:: SOT 136173 SOS 50573 HAS SOPS 50573 HAS SOUS 15700 HAS SOUPS 15700 WITH SCORE 15750.573
AT ITER 2108 NEW BEST:: SOT 136171 SOS 50571 HAS SOPS 50571 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15746.571
AT ITER 2130 NEW BEST:: SOT 136171 SOS 46821 HAS SOPS 46821 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15742.821
AT ITER 2136 NEW BEST:: SOT 136170 SOS 46820 HAS SOPS 46820 HAS SOUS 15694 HAS SOUPS 15694 WITH SCORE 15740.82
AT ITER 2193 NEW BEST:: SOT 136166 SOS 46816 HAS SOPS 46816 HAS SOUS 15686 HAS SOUPS 15686 WITH SCORE 15732.816
AT ITER 2200 NEW BEST:: SOT 136138 SOS 46792 HAS SOPS 46792 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15705.792
AT ITER 2252 NEW BEST:: SOT 136075 SOS 46729 HAS SOPS 46729 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15579.729
AT ITER 2254 NEW BEST:: SOT 136060 SOS 46693 HAS SOPS 46693 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15571.693
AT ITER 2279 NEW BEST:: SOT 136059 SOS 46692 HAS SOPS 46692 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15569.692
AT ITER 2286 NEW BEST:: SOT 136055 SOS 46688 HAS SOPS 46688 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15564.688
AT ITER 2288 NEW BEST:: SOT 136054 SOS 46664 HAS SOPS 46664 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15540.664
AT ITER 2384 NEW BEST:: SOT 136035 SOS 46626 HAS SOPS 46626 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15521.626
AT ITER 2391 NEW BEST:: SOT 136027 SOS 46618 HAS SOPS 46618 HAS SOUS 15459 HAS SOUPS 15459 WITH SCORE 15505.618
AT ITER 2498 NEW BEST:: SOT 136026 SOS 46617 HAS SOPS 46617 HAS SOUS 15457 HAS SOUPS 15457 WITH SCORE 15503.617
AT ITER 2598 NEW BEST:: SOT 136043 SOS 46769 HAS SOPS 46769 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15497.769
AT ITER 2604 NEW BEST:: SOT 136040 SOS 46766 HAS SOPS 46766 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15491.766
AT ITER 2661 NEW BEST:: SOT 136071 SOS 47001 HAS SOPS 47001 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15457.001
AT ITER 2711 NEW BEST:: SOT 136049 SOS 46977 HAS SOPS 46977 HAS SOUS 15386 HAS SOUPS 15386 WITH SCORE 15432.977
AT ITER 2755 NEW BEST:: SOT 136047 SOS 46975 HAS SOPS 46975 HAS SOUS 15382 HAS SOUPS 15382 WITH SCORE 15428.975
AT ITER 2761 NEW BEST:: SOT 136148 SOS 46812 HAS SOPS 46812 HAS SOUS 15382 HAS SOUPS 15382 WITH SCORE 15428.812
AT ITER 2766 NEW BEST:: SOT 136137 SOS 46779 HAS SOPS 46779 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15418.779
AT ITER 2779 NEW BEST:: SOT 136114 SOS 46756 HAS SOPS 46756 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15379.756
AT ITER 2789 NEW BEST:: SOT 136113 SOS 46755 HAS SOPS 46755 HAS SOUS 15331 HAS SOUPS 15331 WITH SCORE 15377.755
AT ITER 2822 NEW BEST:: SOT 136047 SOS 46541 HAS SOPS 46541 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15310.541
AT ITER 2840 NEW BEST:: SOT 136001 SOS 42980 HAS SOPS 42980 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15236.98
AT ITER 2859 NEW BEST:: SOT 135990 SOS 42969 HAS SOPS 42969 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15214.969
AT ITER 2918 NEW BEST:: SOT 135982 SOS 42961 HAS SOPS 42961 HAS SOUS 15020 HAS SOUPS 15020 WITH SCORE 15062.961
AT ITER 2962 NEW BEST:: SOT 135952 SOS 42913 HAS SOPS 42913 HAS SOUS 14972 HAS SOUPS 14972 WITH SCORE 15014.913
AT ITER 2973 NEW BEST:: SOT 135880 SOS 42777 HAS SOPS 42777 HAS SOUS 14798 HAS SOUPS 14798 WITH SCORE 14840.777
AT ITER 3002 NEW BEST:: SOT 135880 SOS 42775 HAS SOPS 42775 HAS SOUS 14798 HAS SOUPS 14798 WITH SCORE 14840.775
AT ITER 3023 NEW BEST:: SOT 135860 SOS 42755 HAS SOPS 42755 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14830.755
AT ITER 3083 NEW BEST:: SOT 135843 SOS 42801 HAS SOPS 42801 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14829.801
AT ITER 3156 NEW BEST:: SOT 135842 SOS 42800 HAS SOPS 42800 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14827.8
AT ITER 3214 NEW BEST:: SOT 135838 SOS 42797 HAS SOPS 42797 HAS SOUS 14781 HAS SOUPS 14781 WITH SCORE 14823.797
AT ITER 3223 NEW BEST:: SOT 135814 SOS 42796 HAS SOPS 42796 HAS SOUS 14780 HAS SOUPS 14780 WITH SCORE 14822.796
AT ITER 3267 NEW BEST:: SOT 135805 SOS 42778 HAS SOPS 42778 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14818.778
AT ITER 3448 NEW BEST:: SOT 135784 SOS 42757 HAS SOPS 42757 HAS SOUS 14734 HAS SOUPS 14734 WITH SCORE 14776.757
AT ITER 3450 NEW BEST:: SOT 135783 SOS 42756 HAS SOPS 42756 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14774.756
AT ITER 3468 NEW BEST:: SOT 135705 SOS 42678 HAS SOPS 42678 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14618.678
AT ITER 3487 NEW BEST:: SOT 135651 SOS 42597 HAS SOPS 42597 HAS SOUS 14495 HAS SOUPS 14495 WITH SCORE 14537.597
AT ITER 3499 NEW BEST:: SOT 135640 SOS 42586 HAS SOPS 42586 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14515.586
AT ITER 3503 NEW BEST:: SOT 135639 SOS 42585 HAS SOPS 42585 HAS SOUS 14471 HAS SOUPS 14471 WITH SCORE 14513.585
AT ITER 3511 NEW BEST:: SOT 135558 SOS 42504 HAS SOPS 42504 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14271.504
AT ITER 3564 NEW BEST:: SOT 135504 SOS 42432 HAS SOPS 42432 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14199.432
AT ITER 3587 NEW BEST:: SOT 135497 SOS 42425 HAS SOPS 42425 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14185.425
AT ITER 3593 NEW BEST:: SOT 135492 SOS 42421 HAS SOPS 42421 HAS SOUS 14138 HAS SOUPS 14138 WITH SCORE 14180.421
AT ITER 3606 NEW BEST:: SOT 135491 SOS 42420 HAS SOPS 42420 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14178.42
AT ITER 3694 NEW BEST:: SOT 135451 SOS 42380 HAS SOPS 42380 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14158.38
AT ITER 3705 NEW BEST:: SOT 135450 SOS 42379 HAS SOPS 42379 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14156.379
AT ITER 3723 NEW BEST:: SOT 135442 SOS 42370 HAS SOPS 42370 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14147.37
AT ITER 3764 NEW BEST:: SOT 135441 SOS 42369 HAS SOPS 42369 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14145.369
AT ITER 3836 NEW BEST:: SOT 135440 SOS 42368 HAS SOPS 42368 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14143.368
AT ITER 3868 NEW BEST:: SOT 135439 SOS 42367 HAS SOPS 42367 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14141.367
AT ITER 3879 NEW BEST:: SOT 135418 SOS 42374 HAS SOPS 42374 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14119.374
AT ITER 3999 NEW BEST:: SOT 135402 SOS 42358 HAS SOPS 42358 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14087.358
AT ITER 4136 NEW BEST:: SOT 135401 SOS 42357 HAS SOPS 42357 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14085.357
AT ITER 4159 NEW BEST:: SOT 135399 SOS 42355 HAS SOPS 42355 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14081.355
AT ITER 4204 NEW BEST:: SOT 135397 SOS 42353 HAS SOPS 42353 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14077.353
AT ITER 4228 NEW BEST:: SOT 135397 SOS 42358 HAS SOPS 42358 HAS SOUS 14032 HAS SOUPS 14032 WITH SCORE 14074.358
AT ITER 4233 NEW BEST:: SOT 135389 SOS 42350 HAS SOPS 42350 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14065.35
AT ITER 4312 NEW BEST:: SOT 135388 SOS 42349 HAS SOPS 42349 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14063.349
AT ITER 4347 NEW BEST:: SOT 135388 SOS 42348 HAS SOPS 42348 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14062.348
AT ITER 4356 NEW BEST:: SOT 135388 SOS 42340 HAS SOPS 42340 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14054.34
AT ITER 4424 NEW BEST:: SOT 135339 SOS 42291 HAS SOPS 42291 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13975.291
AT ITER 4443 NEW BEST:: SOT 135339 SOS 42323 HAS SOPS 42323 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13953.323
AT ITER 4471 NEW BEST:: SOT 135330 SOS 42311 HAS SOPS 42311 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13941.311
AT ITER 4632 NEW BEST:: SOT 135329 SOS 43030 HAS SOPS 43030 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13940.03
AT ITER 4639 NEW BEST:: SOT 135305 SOS 43006 HAS SOPS 43006 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13892.006
AT ITER 4695 NEW BEST:: SOT 135305 SOS 42993 HAS SOPS 42993 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13891.993
AT ITER 4702 NEW BEST:: SOT 135301 SOS 42989 HAS SOPS 42989 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13883.989
AT ITER 4735 NEW BEST:: SOT 135300 SOS 42988 HAS SOPS 42988 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13881.988
AT ITER 4740 NEW BEST:: SOT 135294 SOS 42981 HAS SOPS 42981 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13878.981
AT ITER 4759 NEW BEST:: SOT 135287 SOS 42974 HAS SOPS 42974 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13851.974
AT ITER 4762 NEW BEST:: SOT 135223 SOS 42935 HAS SOPS 42935 HAS SOUS 13770 HAS SOUPS 13770 WITH SCORE 13812.935
AT ITER 4794 NEW BEST:: SOT 135222 SOS 42934 HAS SOPS 42934 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13810.934
AT ITER 4795 NEW BEST:: SOT 135156 SOS 42869 HAS SOPS 42869 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13678.869
AT ITER 4871 NEW BEST:: SOT 135154 SOS 42867 HAS SOPS 42867 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13678.867
AT ITER 4929 NEW BEST:: SOT 135151 SOS 42864 HAS SOPS 42864 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13672.864
AT ITER 4930 NEW BEST:: SOT 135150 SOS 42863 HAS SOPS 42863 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13670.863
AT ITER 4931 NEW BEST:: SOT 135135 SOS 42848 HAS SOPS 42848 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13655.848
AT ITER 5005 NEW BEST:: SOT 135135 SOS 42842 HAS SOPS 42842 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13652.842
AT ITER 5011 NEW BEST:: SOT 135134 SOS 42832 HAS SOPS 42832 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13645.832
AT ITER 5103 NEW BEST:: SOT 135134 SOS 42822 HAS SOPS 42822 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13635.822
AT ITER 5161 NEW BEST:: SOT 135102 SOS 42878 HAS SOPS 42878 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13634.878
AT ITER 5168 NEW BEST:: SOT 135092 SOS 42868 HAS SOPS 42868 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13614.868
AT ITER 5223 NEW BEST:: SOT 135091 SOS 42867 HAS SOPS 42867 HAS SOUS 13570 HAS SOUPS 13570 WITH SCORE 13612.867
AT ITER 5291 NEW BEST:: SOT 135090 SOS 42866 HAS SOPS 42866 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13610.866
AT ITER 5323 NEW BEST:: SOT 135065 SOS 42807 HAS SOPS 42807 HAS SOUS 13530 HAS SOUPS 13530 WITH SCORE 13572.807
AT ITER 5358 NEW BEST:: SOT 135079 SOS 42830 HAS SOPS 42830 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13567.83
AT ITER 5370 NEW BEST:: SOT 135055 SOS 42806 HAS SOPS 42806 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13455.806
AT ITER 5373 NEW BEST:: SOT 135054 SOS 42805 HAS SOPS 42805 HAS SOUS 13411 HAS SOUPS 13411 WITH SCORE 13453.805
AT ITER 5383 NEW BEST:: SOT 135032 SOS 40916 HAS SOPS 40916 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13443.916
AT ITER 5448 NEW BEST:: SOT 135031 SOS 40915 HAS SOPS 40915 HAS SOUS 13401 HAS SOUPS 13401 WITH SCORE 13441.915
AT ITER 5524 NEW BEST:: SOT 135015 SOS 40910 HAS SOPS 40910 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13436.91
AT ITER 5561 NEW BEST:: SOT 135015 SOS 40905 HAS SOPS 40905 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13431.905
AT ITER 5578 NEW BEST:: SOT 135015 SOS 40942 HAS SOPS 40942 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13430.942
AT ITER 5598 NEW BEST:: SOT 134953 SOS 40880 HAS SOPS 40880 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13363.88
AT ITER 5599 NEW BEST:: SOT 134967 SOS 40845 HAS SOPS 40845 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13339.845
AT ITER 5636 NEW BEST:: SOT 134959 SOS 40837 HAS SOPS 40837 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13323.837
AT ITER 5657 NEW BEST:: SOT 134958 SOS 40836 HAS SOPS 40836 HAS SOUS 13281 HAS SOUPS 13281 WITH SCORE 13321.836
AT ITER 5696 NEW BEST:: SOT 134968 SOS 40845 HAS SOPS 40845 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13320.845
AT ITER 5922 NEW BEST:: SOT 134957 SOS 40834 HAS SOPS 40834 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13298.834
AT ITER 5931 NEW BEST:: SOT 134927 SOS 40849 HAS SOPS 40849 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13243.849
AT ITER 5949 NEW BEST:: SOT 134927 SOS 40857 HAS SOPS 40857 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13238.857
AT ITER 6029 NEW BEST:: SOT 134927 SOS 40854 HAS SOPS 40854 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13234.854
AT ITER 6148 NEW BEST:: SOT 134929 SOS 40738 HAS SOPS 40738 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13232.738
AT ITER 6250 NEW BEST:: SOT 134926 SOS 40732 HAS SOPS 40732 HAS SOUS 13189 HAS SOUPS 13189 WITH SCORE 13229.732
AT ITER 6263 NEW BEST:: SOT 134923 SOS 40729 HAS SOPS 40729 HAS SOUS 13183 HAS SOUPS 13183 WITH SCORE 13223.729
AT ITER 6283 NEW BEST:: SOT 134923 SOS 40729 HAS SOPS 40729 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13222.729
AT ITER 6293 NEW BEST:: SOT 134916 SOS 40715 HAS SOPS 40715 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13215.715
AT ITER 6299 NEW BEST:: SOT 134916 SOS 40707 HAS SOPS 40707 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13207.707
AT ITER 6342 NEW BEST:: SOT 134915 SOS 40706 HAS SOPS 40706 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13205.706
AT ITER 6358 NEW BEST:: SOT 134906 SOS 40697 HAS SOPS 40697 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13183.697
AT ITER 6434 NEW BEST:: SOT 134905 SOS 40696 HAS SOPS 40696 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13181.696
AT ITER 6496 NEW BEST:: SOT 134893 SOS 40672 HAS SOPS 40672 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13157.672
AT ITER 6571 NEW BEST:: SOT 134884 SOS 41244 HAS SOPS 41244 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13157.244
AT ITER 6598 NEW BEST:: SOT 134882 SOS 41242 HAS SOPS 41242 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13153.242
AT ITER 6676 NEW BEST:: SOT 134876 SOS 41236 HAS SOPS 41236 HAS SOUS 13100 HAS SOUPS 13100 WITH SCORE 13141.236
AT ITER 6687 NEW BEST:: SOT 134875 SOS 41235 HAS SOPS 41235 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13139.235
AT ITER 6720 NEW BEST:: SOT 134837 SOS 41197 HAS SOPS 41197 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13103.197
AT ITER 6748 NEW BEST:: SOT 134809 SOS 41139 HAS SOPS 41139 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13062.139
AT ITER 6786 NEW BEST:: SOT 134800 SOS 41109 HAS SOPS 41109 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13032.109
AT ITER 6790 NEW BEST:: SOT 134800 SOS 41101 HAS SOPS 41101 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13024.101
AT ITER 6804 NEW BEST:: SOT 134768 SOS 41069 HAS SOPS 41069 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12992.069
AT ITER 6805 NEW BEST:: SOT 134707 SOS 41008 HAS SOPS 41008 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12870.008
AT ITER 6834 NEW BEST:: SOT 134704 SOS 41004 HAS SOPS 41004 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12870.004
AT ITER 6896 NEW BEST:: SOT 134712 SOS 41012 HAS SOPS 41012 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12838.012
AT ITER 6902 NEW BEST:: SOT 134699 SOS 40986 HAS SOPS 40986 HAS SOUS 12784 HAS SOUPS 12784 WITH SCORE 12824.986
AT ITER 6924 NEW BEST:: SOT 134669 SOS 40957 HAS SOPS 40957 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12798.957
AT ITER 6963 NEW BEST:: SOT 134668 SOS 40956 HAS SOPS 40956 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12796.956
AT ITER 6964 NEW BEST:: SOT 134660 SOS 40932 HAS SOPS 40932 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12772.932
AT ITER 6979 NEW BEST:: SOT 134636 SOS 40907 HAS SOPS 40907 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12747.907
AT ITER 7030 NEW BEST:: SOT 134641 SOS 40922 HAS SOPS 40922 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12746.922
AT ITER 7068 NEW BEST:: SOT 134640 SOS 40921 HAS SOPS 40921 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12744.921
AT ITER 7100 NEW BEST:: SOT 134637 SOS 40915 HAS SOPS 40915 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12738.915
AT ITER 7131 NEW BEST:: SOT 134623 SOS 40901 HAS SOPS 40901 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12712.901
AT ITER 7162 NEW BEST:: SOT 134589 SOS 40847 HAS SOPS 40847 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12663.847
AT ITER 7174 NEW BEST:: SOT 134571 SOS 40829 HAS SOPS 40829 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12620.829
AT ITER 7188 NEW BEST:: SOT 134574 SOS 40810 HAS SOPS 40810 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12601.81
AT ITER 7213 NEW BEST:: SOT 134582 SOS 40800 HAS SOPS 40800 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12591.8
AT ITER 7216 NEW BEST:: SOT 134581 SOS 40798 HAS SOPS 40798 HAS SOUS 12549 HAS SOUPS 12549 WITH SCORE 12589.798
AT ITER 7229 NEW BEST:: SOT 134580 SOS 40797 HAS SOPS 40797 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12587.797
AT ITER 7245 NEW BEST:: SOT 134580 SOS 40791 HAS SOPS 40791 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12581.791
AT ITER 7253 NEW BEST:: SOT 134577 SOS 40788 HAS SOPS 40788 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12575.788
AT ITER 7259 NEW BEST:: SOT 134576 SOS 40787 HAS SOPS 40787 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12573.787
AT ITER 7296 NEW BEST:: SOT 134558 SOS 40738 HAS SOPS 40738 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12555.738
AT ITER 7449 NEW BEST:: SOT 134544 SOS 40724 HAS SOPS 40724 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12541.724
AT ITER 7525 NEW BEST:: SOT 134543 SOS 40735 HAS SOPS 40735 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12539.735
AT ITER 7547 NEW BEST:: SOT 134540 SOS 40732 HAS SOPS 40732 HAS SOUS 12493 HAS SOUPS 12493 WITH SCORE 12533.732
AT ITER 7694 NEW BEST:: SOT 134539 SOS 40751 HAS SOPS 40751 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12532.751
AT ITER 7706 NEW BEST:: SOT 134534 SOS 40750 HAS SOPS 40750 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12531.75
AT ITER 7764 NEW BEST:: SOT 134538 SOS 40754 HAS SOPS 40754 HAS SOUS 12447 HAS SOUPS 12447 WITH SCORE 12487.754
AT ITER 7777 NEW BEST:: SOT 134537 SOS 40753 HAS SOPS 40753 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12485.753
AT ITER 7781 NEW BEST:: SOT 134525 SOS 40752 HAS SOPS 40752 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12484.752
AT ITER 7822 NEW BEST:: SOT 134531 SOS 40748 HAS SOPS 40748 HAS SOUS 12440 HAS SOUPS 12440 WITH SCORE 12480.748
AT ITER 7865 NEW BEST:: SOT 134531 SOS 40748 HAS SOPS 40748 HAS SOUS 12434 HAS SOUPS 12434 WITH SCORE 12474.748
AT ITER 7932 NEW BEST:: SOT 134531 SOS 40726 HAS SOPS 40726 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12452.726
AT ITER 7986 NEW BEST:: SOT 134529 SOS 40724 HAS SOPS 40724 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12450.724
AT ITER 8005 NEW BEST:: SOT 134516 SOS 40711 HAS SOPS 40711 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12437.711
AT ITER 8238 NEW BEST:: SOT 134516 SOS 40710 HAS SOPS 40710 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12436.71
AT ITER 8259 NEW BEST:: SOT 134516 SOS 40708 HAS SOPS 40708 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12435.708
AT ITER 8298 NEW BEST:: SOT 134510 SOS 40692 HAS SOPS 40692 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12419.692
AT ITER 8366 NEW BEST:: SOT 134509 SOS 40691 HAS SOPS 40691 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12417.691
AT ITER 8387 NEW BEST:: SOT 134509 SOS 40685 HAS SOPS 40685 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12411.685
AT ITER 8420 NEW BEST:: SOT 134483 SOS 40602 HAS SOPS 40602 HAS SOUS 12326 HAS SOUPS 12326 WITH SCORE 12366.602
AT ITER 8454 NEW BEST:: SOT 134477 SOS 40596 HAS SOPS 40596 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12360.596
AT ITER 8480 NEW BEST:: SOT 134476 SOS 40592 HAS SOPS 40592 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12356.592
AT ITER 8567 NEW BEST:: SOT 134419 SOS 40535 HAS SOPS 40535 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12242.535
AT ITER 8624 NEW BEST:: SOT 134417 SOS 40493 HAS SOPS 40493 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12234.493
AT ITER 8737 NEW BEST:: SOT 134415 SOS 40482 HAS SOPS 40482 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12234.482
AT ITER 8952 NEW BEST:: SOT 134421 SOS 40468 HAS SOPS 40468 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12220.468
AT ITER 9048 NEW BEST:: SOT 134392 SOS 40431 HAS SOPS 40431 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12183.431
AT ITER 9110 NEW BEST:: SOT 134367 SOS 40403 HAS SOPS 40403 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12178.403
AT ITER 9217 NEW BEST:: SOT 134359 SOS 40413 HAS SOPS 40413 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12162.413
AT ITER 9349 NEW BEST:: SOT 134358 SOS 40412 HAS SOPS 40412 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12161.412
AT ITER 9355 NEW BEST:: SOT 134357 SOS 40411 HAS SOPS 40411 HAS SOUS 12120 HAS SOUPS 12120 WITH SCORE 12160.411
AT ITER 9361 NEW BEST:: SOT 134344 SOS 40398 HAS SOPS 40398 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12134.398
AT ITER 9373 NEW BEST:: SOT 134334 SOS 40388 HAS SOPS 40388 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12117.388
AT ITER 9397 NEW BEST:: SOT 134302 SOS 40346 HAS SOPS 40346 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12074.346
AT ITER 9522 NEW BEST:: SOT 134302 SOS 40341 HAS SOPS 40341 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12069.341
AT ITER 9559 NEW BEST:: SOT 134301 SOS 40340 HAS SOPS 40340 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12067.34
AT ITER 9568 NEW BEST:: SOT 134300 SOS 40339 HAS SOPS 40339 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12065.339
AT ITER 9696 NEW BEST:: SOT 134293 SOS 40327 HAS SOPS 40327 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12053.327
AT ITER 9756 NEW BEST:: SOT 134292 SOS 40321 HAS SOPS 40321 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12051.321
AT ITER 9834 NEW BEST:: SOT 134292 SOS 40320 HAS SOPS 40320 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12050.32
AT ITER 9913 NEW BEST:: SOT 134292 SOS 40320 HAS SOPS 40320 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12047.32

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="DES-PT-60b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DES-PT-60b, 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 r048-ebro-158902542000336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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