fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814484300504
Last Updated
May 14, 2023

About the Execution of Smart+red for DES-PT-60b

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
14736.096 3600000.00 3672043.00 11110.40 [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 '/data/fkordon/mcc2023-input.r107-tall-167814484300504.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DES-PT-60b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 8.6K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 15:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 139K Mar 5 18:22 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 1678381280613

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-60b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 17:01:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 17:01:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 17:01:22] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-09 17:01:22] [INFO ] Transformed 519 places.
[2023-03-09 17:01:22] [INFO ] Transformed 470 transitions.
[2023-03-09 17:01:22] [INFO ] Found NUPN structural information;
[2023-03-09 17:01:22] [INFO ] Parsed PT model containing 519 places and 470 transitions and 1623 arcs in 158 ms.
[2023-03-09 17:01:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 519 places, 470 transitions and 1623 arcs took 7 ms.
Total runtime 192 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 60b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/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 20 NEW BEST:: SOT 162855 SOS 45194 HAS SOPS 45194 HAS SOUS 40687 HAS SOUPS 40687 WITH SCORE 40732.194
AT ITER 25 NEW BEST:: SOT 162849 SOS 45188 HAS SOPS 45188 HAS SOUS 40681 HAS SOUPS 40681 WITH SCORE 40726.188
AT ITER 62 NEW BEST:: SOT 162700 SOS 45123 HAS SOPS 45123 HAS SOUS 40616 HAS SOUPS 40616 WITH SCORE 40661.123
AT ITER 138 NEW BEST:: SOT 162452 SOS 47701 HAS SOPS 47701 HAS SOUS 40491 HAS SOUPS 40491 WITH SCORE 40538.701
AT ITER 170 NEW BEST:: SOT 162445 SOS 47700 HAS SOPS 47700 HAS SOUS 40490 HAS SOUPS 40490 WITH SCORE 40537.7
AT ITER 205 NEW BEST:: SOT 162392 SOS 47652 HAS SOPS 47652 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40489.652
AT ITER 252 NEW BEST:: SOT 162379 SOS 47650 HAS SOPS 47650 HAS SOUS 40433 HAS SOUPS 40433 WITH SCORE 40480.65
AT ITER 263 NEW BEST:: SOT 162093 SOS 48428 HAS SOPS 48428 HAS SOUS 40288 HAS SOUPS 40288 WITH SCORE 40336.428
AT ITER 299 NEW BEST:: SOT 162092 SOS 48419 HAS SOPS 48419 HAS SOUS 40279 HAS SOUPS 40279 WITH SCORE 40327.419
AT ITER 304 NEW BEST:: SOT 162091 SOS 48387 HAS SOPS 48387 HAS SOUS 40263 HAS SOUPS 40263 WITH SCORE 40311.387
AT ITER 306 NEW BEST:: SOT 158104 SOS 50858 HAS SOPS 50858 HAS SOUS 36435 HAS SOUPS 36435 WITH SCORE 36485.858
AT ITER 315 NEW BEST:: SOT 158064 SOS 50817 HAS SOPS 50817 HAS SOUS 36394 HAS SOUPS 36394 WITH SCORE 36444.817
AT ITER 339 NEW BEST:: SOT 158007 SOS 50816 HAS SOPS 50816 HAS SOUS 36391 HAS SOUPS 36391 WITH SCORE 36441.816
AT ITER 358 NEW BEST:: SOT 157997 SOS 50806 HAS SOPS 50806 HAS SOUS 36381 HAS SOUPS 36381 WITH SCORE 36431.806
AT ITER 372 NEW BEST:: SOT 153727 SOS 47367 HAS SOPS 47367 HAS SOUS 32142 HAS SOUPS 32142 WITH SCORE 32189.367
AT ITER 423 NEW BEST:: SOT 153718 SOS 47358 HAS SOPS 47358 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32180.358
AT ITER 433 NEW BEST:: SOT 153699 SOS 47355 HAS SOPS 47355 HAS SOUS 32124 HAS SOUPS 32124 WITH SCORE 32171.355
AT ITER 472 NEW BEST:: SOT 153682 SOS 47322 HAS SOPS 47322 HAS SOUS 32091 HAS SOUPS 32091 WITH SCORE 32138.322
AT ITER 474 NEW BEST:: SOT 153432 SOS 46851 HAS SOPS 46851 HAS SOUS 31620 HAS SOUPS 31620 WITH SCORE 31666.851
AT ITER 489 NEW BEST:: SOT 153431 SOS 46808 HAS SOPS 46808 HAS SOUS 31618 HAS SOUPS 31618 WITH SCORE 31664.808
AT ITER 500 NEW BEST:: SOT 146768 SOS 45413 HAS SOPS 45413 HAS SOUS 25046 HAS SOUPS 25046 WITH SCORE 25091.413
AT ITER 505 NEW BEST:: SOT 146700 SOS 45406 HAS SOPS 45406 HAS SOUS 25039 HAS SOUPS 25039 WITH SCORE 25084.406
AT ITER 527 NEW BEST:: SOT 146699 SOS 45133 HAS SOPS 45133 HAS SOUS 25037 HAS SOUPS 25037 WITH SCORE 25082.133
AT ITER 562 NEW BEST:: SOT 146688 SOS 45121 HAS SOPS 45121 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25070.121
AT ITER 572 NEW BEST:: SOT 146688 SOS 45118 HAS SOPS 45118 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25067.118
AT ITER 579 NEW BEST:: SOT 146647 SOS 45076 HAS SOPS 45076 HAS SOUS 24980 HAS SOUPS 24980 WITH SCORE 25025.076
AT ITER 594 NEW BEST:: SOT 146389 SOS 44807 HAS SOPS 44807 HAS SOUS 24711 HAS SOUPS 24711 WITH SCORE 24755.807
AT ITER 601 NEW BEST:: SOT 146388 SOS 44806 HAS SOPS 44806 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24753.806
AT ITER 606 NEW BEST:: SOT 146372 SOS 44763 HAS SOPS 44763 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24726.763
AT ITER 614 NEW BEST:: SOT 146365 SOS 44718 HAS SOPS 44718 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24719.718
AT ITER 624 NEW BEST:: SOT 146334 SOS 44676 HAS SOPS 44676 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24676.676
AT ITER 649 NEW BEST:: SOT 146334 SOS 44706 HAS SOPS 44706 HAS SOUS 24631 HAS SOUPS 24631 WITH SCORE 24675.706
AT ITER 667 NEW BEST:: SOT 146333 SOS 44705 HAS SOPS 44705 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24673.705
AT ITER 766 NEW BEST:: SOT 146333 SOS 44703 HAS SOPS 44703 HAS SOUS 24627 HAS SOUPS 24627 WITH SCORE 24671.703
AT ITER 809 NEW BEST:: SOT 146333 SOS 44714 HAS SOPS 44714 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24662.714
AT ITER 824 NEW BEST:: SOT 146323 SOS 44704 HAS SOPS 44704 HAS SOUS 24602 HAS SOUPS 24602 WITH SCORE 24646.704
AT ITER 851 NEW BEST:: SOT 146339 SOS 44621 HAS SOPS 44621 HAS SOUS 24564 HAS SOUPS 24564 WITH SCORE 24608.621
AT ITER 935 NEW BEST:: SOT 146337 SOS 44619 HAS SOPS 44619 HAS SOUS 24562 HAS SOUPS 24562 WITH SCORE 24606.619
AT ITER 971 NEW BEST:: SOT 146337 SOS 44611 HAS SOPS 44611 HAS SOUS 24562 HAS SOUPS 24562 WITH SCORE 24606.611
AT ITER 973 NEW BEST:: SOT 146336 SOS 44610 HAS SOPS 44610 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24604.61
AT ITER 988 NEW BEST:: SOT 146285 SOS 44608 HAS SOPS 44608 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24602.608
AT ITER 997 NEW BEST:: SOT 146249 SOS 44612 HAS SOPS 44612 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24566.612
AT ITER 1010 NEW BEST:: SOT 146248 SOS 44593 HAS SOPS 44593 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24564.593
AT ITER 1054 NEW BEST:: SOT 146247 SOS 44518 HAS SOPS 44518 HAS SOUS 24518 HAS SOUPS 24518 WITH SCORE 24562.518
AT ITER 1083 NEW BEST:: SOT 146228 SOS 44499 HAS SOPS 44499 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24543.499
AT ITER 1115 NEW BEST:: SOT 145320 SOS 43954 HAS SOPS 43954 HAS SOUS 23604 HAS SOUPS 23604 WITH SCORE 23647.954
AT ITER 1278 NEW BEST:: SOT 145284 SOS 43918 HAS SOPS 43918 HAS SOUS 23532 HAS SOUPS 23532 WITH SCORE 23575.918
AT ITER 1308 NEW BEST:: SOT 145248 SOS 43873 HAS SOPS 43873 HAS SOUS 23487 HAS SOUPS 23487 WITH SCORE 23530.873
AT ITER 1317 NEW BEST:: SOT 145221 SOS 43872 HAS SOPS 43872 HAS SOUS 23486 HAS SOUPS 23486 WITH SCORE 23529.872
AT ITER 1409 NEW BEST:: SOT 145217 SOS 43871 HAS SOPS 43871 HAS SOUS 23485 HAS SOUPS 23485 WITH SCORE 23528.871
AT ITER 1485 NEW BEST:: SOT 145240 SOS 43901 HAS SOPS 43901 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23524.901
AT ITER 1504 NEW BEST:: SOT 145238 SOS 43897 HAS SOPS 43897 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23524.897
AT ITER 1510 NEW BEST:: SOT 145200 SOS 43896 HAS SOPS 43896 HAS SOUS 23480 HAS SOUPS 23480 WITH SCORE 23523.896
AT ITER 1517 NEW BEST:: SOT 144912 SOS 43607 HAS SOPS 43607 HAS SOUS 23223 HAS SOUPS 23223 WITH SCORE 23266.607
AT ITER 1586 NEW BEST:: SOT 144915 SOS 43642 HAS SOPS 43642 HAS SOUS 23219 HAS SOUPS 23219 WITH SCORE 23262.642
AT ITER 1602 NEW BEST:: SOT 144903 SOS 43635 HAS SOPS 43635 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23258.635
AT ITER 1610 NEW BEST:: SOT 144890 SOS 43633 HAS SOPS 43633 HAS SOUS 23213 HAS SOUPS 23213 WITH SCORE 23256.633
AT ITER 1648 NEW BEST:: SOT 144890 SOS 43654 HAS SOPS 43654 HAS SOUS 23212 HAS SOUPS 23212 WITH SCORE 23255.654
AT ITER 1682 NEW BEST:: SOT 144856 SOS 43353 HAS SOPS 43353 HAS SOUS 23105 HAS SOUPS 23105 WITH SCORE 23148.353
AT ITER 1685 NEW BEST:: SOT 144719 SOS 43215 HAS SOPS 43215 HAS SOUS 23076 HAS SOUPS 23076 WITH SCORE 23119.215
AT ITER 1747 NEW BEST:: SOT 144704 SOS 43203 HAS SOPS 43203 HAS SOUS 23061 HAS SOUPS 23061 WITH SCORE 23104.203
AT ITER 1794 NEW BEST:: SOT 144705 SOS 40174 HAS SOPS 40174 HAS SOUS 23011 HAS SOUPS 23011 WITH SCORE 23051.174
AT ITER 1847 NEW BEST:: SOT 144686 SOS 40174 HAS SOPS 40174 HAS SOUS 22992 HAS SOUPS 22992 WITH SCORE 23032.174
AT ITER 1893 NEW BEST:: SOT 144650 SOS 40120 HAS SOPS 40120 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22992.12
AT ITER 1954 NEW BEST:: SOT 144657 SOS 39982 HAS SOPS 39982 HAS SOUS 22950 HAS SOUPS 22950 WITH SCORE 22989.982
AT ITER 1979 NEW BEST:: SOT 144620 SOS 40029 HAS SOPS 40029 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22982.029
AT ITER 2047 NEW BEST:: SOT 144588 SOS 39997 HAS SOPS 39997 HAS SOUS 22910 HAS SOUPS 22910 WITH SCORE 22949.997
AT ITER 2073 NEW BEST:: SOT 144588 SOS 39997 HAS SOPS 39997 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22946.997
AT ITER 2098 NEW BEST:: SOT 144534 SOS 39984 HAS SOPS 39984 HAS SOUS 22894 HAS SOUPS 22894 WITH SCORE 22933.984
AT ITER 2136 NEW BEST:: SOT 144526 SOS 39961 HAS SOPS 39961 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22910.961
AT ITER 2166 NEW BEST:: SOT 144404 SOS 39839 HAS SOPS 39839 HAS SOUS 22749 HAS SOUPS 22749 WITH SCORE 22788.839
AT ITER 2179 NEW BEST:: SOT 144374 SOS 39779 HAS SOPS 39779 HAS SOUS 22689 HAS SOUPS 22689 WITH SCORE 22728.779
AT ITER 2213 NEW BEST:: SOT 144364 SOS 39779 HAS SOPS 39779 HAS SOUS 22669 HAS SOUPS 22669 WITH SCORE 22708.779
AT ITER 2243 NEW BEST:: SOT 144340 SOS 39744 HAS SOPS 39744 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22673.744
AT ITER 2256 NEW BEST:: SOT 144306 SOS 39705 HAS SOPS 39705 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22617.705
AT ITER 2269 NEW BEST:: SOT 144284 SOS 39683 HAS SOPS 39683 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22573.683
AT ITER 2318 NEW BEST:: SOT 144240 SOS 39667 HAS SOPS 39667 HAS SOUS 22498 HAS SOUPS 22498 WITH SCORE 22537.667
AT ITER 2365 NEW BEST:: SOT 144247 SOS 39676 HAS SOPS 39676 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22536.676
AT ITER 2370 NEW BEST:: SOT 144244 SOS 39675 HAS SOPS 39675 HAS SOUS 22496 HAS SOUPS 22496 WITH SCORE 22535.675
AT ITER 2477 NEW BEST:: SOT 144244 SOS 39655 HAS SOPS 39655 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22513.655
AT ITER 2548 NEW BEST:: SOT 144236 SOS 39649 HAS SOPS 39649 HAS SOUS 22468 HAS SOUPS 22468 WITH SCORE 22507.649
AT ITER 2554 NEW BEST:: SOT 144226 SOS 39648 HAS SOPS 39648 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22506.648
AT ITER 2555 NEW BEST:: SOT 144209 SOS 39614 HAS SOPS 39614 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22472.614
AT ITER 2582 NEW BEST:: SOT 144194 SOS 39590 HAS SOPS 39590 HAS SOUS 22409 HAS SOUPS 22409 WITH SCORE 22448.59
AT ITER 2646 NEW BEST:: SOT 143891 SOS 40828 HAS SOPS 40828 HAS SOUS 22238 HAS SOUPS 22238 WITH SCORE 22278.828
AT ITER 2725 NEW BEST:: SOT 143881 SOS 40818 HAS SOPS 40818 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22268.818
AT ITER 2743 NEW BEST:: SOT 143881 SOS 40793 HAS SOPS 40793 HAS SOUS 22203 HAS SOUPS 22203 WITH SCORE 22243.793
AT ITER 2774 NEW BEST:: SOT 143729 SOS 40607 HAS SOPS 40607 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22184.607
AT ITER 2777 NEW BEST:: SOT 143729 SOS 40600 HAS SOPS 40600 HAS SOUS 22137 HAS SOUPS 22137 WITH SCORE 22177.6
AT ITER 2810 NEW BEST:: SOT 143729 SOS 40622 HAS SOPS 40622 HAS SOUS 22136 HAS SOUPS 22136 WITH SCORE 22176.622
AT ITER 2857 NEW BEST:: SOT 143548 SOS 40441 HAS SOPS 40441 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21902.441
AT ITER 2859 NEW BEST:: SOT 143560 SOS 40153 HAS SOPS 40153 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21902.153
AT ITER 2904 NEW BEST:: SOT 143545 SOS 40158 HAS SOPS 40158 HAS SOUS 21846 HAS SOUPS 21846 WITH SCORE 21886.158
AT ITER 3118 NEW BEST:: SOT 143544 SOS 40157 HAS SOPS 40157 HAS SOUS 21844 HAS SOUPS 21844 WITH SCORE 21884.157
AT ITER 3147 NEW BEST:: SOT 143546 SOS 40124 HAS SOPS 40124 HAS SOUS 21795 HAS SOUPS 21795 WITH SCORE 21835.124
AT ITER 3151 NEW BEST:: SOT 143555 SOS 40133 HAS SOPS 40133 HAS SOUS 21794 HAS SOUPS 21794 WITH SCORE 21834.133
AT ITER 3172 NEW BEST:: SOT 143555 SOS 40132 HAS SOPS 40132 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21833.132
AT ITER 3236 NEW BEST:: SOT 143555 SOS 40129 HAS SOPS 40129 HAS SOUS 21790 HAS SOUPS 21790 WITH SCORE 21830.129
AT ITER 3351 NEW BEST:: SOT 143555 SOS 40125 HAS SOPS 40125 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21826.125
AT ITER 3357 NEW BEST:: SOT 138372 SOS 35740 HAS SOPS 35740 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16505.74
AT ITER 3377 NEW BEST:: SOT 138362 SOS 35714 HAS SOPS 35714 HAS SOUS 16444 HAS SOUPS 16444 WITH SCORE 16479.714
AT ITER 3391 NEW BEST:: SOT 138360 SOS 35660 HAS SOPS 35660 HAS SOUS 16442 HAS SOUPS 16442 WITH SCORE 16477.66
AT ITER 3396 NEW BEST:: SOT 138358 SOS 35656 HAS SOPS 35656 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16473.656
AT ITER 3426 NEW BEST:: SOT 138326 SOS 35624 HAS SOPS 35624 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16441.624
AT ITER 3523 NEW BEST:: SOT 138300 SOS 35660 HAS SOPS 35660 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16415.66
AT ITER 3527 NEW BEST:: SOT 138299 SOS 35659 HAS SOPS 35659 HAS SOUS 16379 HAS SOUPS 16379 WITH SCORE 16414.659
AT ITER 3540 NEW BEST:: SOT 137718 SOS 52570 HAS SOPS 52570 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16371.57
AT ITER 3589 NEW BEST:: SOT 137639 SOS 52491 HAS SOPS 52491 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16292.491
AT ITER 3664 NEW BEST:: SOT 137600 SOS 52453 HAS SOPS 52453 HAS SOUS 16235 HAS SOUPS 16235 WITH SCORE 16287.453
AT ITER 3686 NEW BEST:: SOT 137598 SOS 52427 HAS SOPS 52427 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16285.427
AT ITER 3688 NEW BEST:: SOT 137541 SOS 52370 HAS SOPS 52370 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16171.37
AT ITER 3721 NEW BEST:: SOT 137440 SOS 52233 HAS SOPS 52233 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16034.233
AT ITER 3780 NEW BEST:: SOT 137440 SOS 52220 HAS SOPS 52220 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 16021.22
AT ITER 3840 NEW BEST:: SOT 137440 SOS 52224 HAS SOPS 52224 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 16009.224
AT ITER 3885 NEW BEST:: SOT 137433 SOS 52218 HAS SOPS 52218 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15998.218
AT ITER 3952 NEW BEST:: SOT 137428 SOS 52213 HAS SOPS 52213 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15988.213
AT ITER 3958 NEW BEST:: SOT 137355 SOS 52138 HAS SOPS 52138 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15913.138
AT ITER 3978 NEW BEST:: SOT 137350 SOS 52118 HAS SOPS 52118 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15898.118
AT ITER 3983 NEW BEST:: SOT 137349 SOS 41449 HAS SOPS 41449 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15885.449
AT ITER 4016 NEW BEST:: SOT 137348 SOS 41448 HAS SOPS 41448 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15883.448
AT ITER 4169 NEW BEST:: SOT 137347 SOS 41447 HAS SOPS 41447 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15882.447
AT ITER 4171 NEW BEST:: SOT 137339 SOS 41439 HAS SOPS 41439 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15874.439
AT ITER 4208 NEW BEST:: SOT 137141 SOS 41802 HAS SOPS 41802 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15687.802
AT ITER 4218 NEW BEST:: SOT 137140 SOS 41801 HAS SOPS 41801 HAS SOUS 15644 HAS SOUPS 15644 WITH SCORE 15685.801
AT ITER 4266 NEW BEST:: SOT 137140 SOS 41768 HAS SOPS 41768 HAS SOUS 15633 HAS SOUPS 15633 WITH SCORE 15674.768
AT ITER 4289 NEW BEST:: SOT 137015 SOS 41585 HAS SOPS 41585 HAS SOUS 15428 HAS SOUPS 15428 WITH SCORE 15469.585
AT ITER 4292 NEW BEST:: SOT 136974 SOS 41493 HAS SOPS 41493 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15387.493
AT ITER 4316 NEW BEST:: SOT 136924 SOS 41394 HAS SOPS 41394 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15288.394
AT ITER 4319 NEW BEST:: SOT 136891 SOS 41356 HAS SOPS 41356 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15250.356
AT ITER 4368 NEW BEST:: SOT 136872 SOS 41357 HAS SOPS 41357 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15237.357
AT ITER 4397 NEW BEST:: SOT 136853 SOS 41353 HAS SOPS 41353 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15174.353
AT ITER 4462 NEW BEST:: SOT 136852 SOS 41352 HAS SOPS 41352 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15172.352
AT ITER 4472 NEW BEST:: SOT 136855 SOS 41430 HAS SOPS 41430 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15165.43
AT ITER 4496 NEW BEST:: SOT 136855 SOS 41423 HAS SOPS 41423 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15158.423
AT ITER 4581 NEW BEST:: SOT 136803 SOS 41319 HAS SOPS 41319 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15057.319
AT ITER 4593 NEW BEST:: SOT 136790 SOS 41305 HAS SOPS 41305 HAS SOUS 15002 HAS SOUPS 15002 WITH SCORE 15043.305
AT ITER 4711 NEW BEST:: SOT 136790 SOS 41282 HAS SOPS 41282 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 15020.282
AT ITER 4727 NEW BEST:: SOT 136790 SOS 41281 HAS SOPS 41281 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 15019.281
AT ITER 4728 NEW BEST:: SOT 136790 SOS 41273 HAS SOPS 41273 HAS SOUS 14970 HAS SOUPS 14970 WITH SCORE 15011.273
AT ITER 4743 NEW BEST:: SOT 136786 SOS 41269 HAS SOPS 41269 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 15007.269
AT ITER 4746 NEW BEST:: SOT 136771 SOS 41273 HAS SOPS 41273 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14994.273
AT ITER 4827 NEW BEST:: SOT 136763 SOS 41268 HAS SOPS 41268 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14994.268
AT ITER 4858 NEW BEST:: SOT 136757 SOS 41256 HAS SOPS 41256 HAS SOUS 14941 HAS SOUPS 14941 WITH SCORE 14982.256
AT ITER 4863 NEW BEST:: SOT 136681 SOS 41180 HAS SOPS 41180 HAS SOUS 14864 HAS SOUPS 14864 WITH SCORE 14905.18
AT ITER 4880 NEW BEST:: SOT 136681 SOS 41215 HAS SOPS 41215 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14904.215
AT ITER 4885 NEW BEST:: SOT 136681 SOS 41186 HAS SOPS 41186 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14875.186
AT ITER 4945 NEW BEST:: SOT 136667 SOS 41172 HAS SOPS 41172 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14861.172
AT ITER 5006 NEW BEST:: SOT 136666 SOS 41171 HAS SOPS 41171 HAS SOUS 14818 HAS SOUPS 14818 WITH SCORE 14859.171
AT ITER 5035 NEW BEST:: SOT 136645 SOS 41150 HAS SOPS 41150 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14838.15
AT ITER 5083 NEW BEST:: SOT 136632 SOS 41141 HAS SOPS 41141 HAS SOUS 14789 HAS SOUPS 14789 WITH SCORE 14830.141
AT ITER 5103 NEW BEST:: SOT 136615 SOS 41105 HAS SOPS 41105 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14794.105
AT ITER 5104 NEW BEST:: SOT 136503 SOS 40952 HAS SOPS 40952 HAS SOUS 14600 HAS SOUPS 14600 WITH SCORE 14640.952
AT ITER 5172 NEW BEST:: SOT 136501 SOS 40949 HAS SOPS 40949 HAS SOUS 14597 HAS SOUPS 14597 WITH SCORE 14637.949
AT ITER 5220 NEW BEST:: SOT 136492 SOS 40923 HAS SOPS 40923 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14611.923
AT ITER 5226 NEW BEST:: SOT 136491 SOS 40920 HAS SOPS 40920 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14611.92
AT ITER 5444 NEW BEST:: SOT 136471 SOS 40902 HAS SOPS 40902 HAS SOUS 14551 HAS SOUPS 14551 WITH SCORE 14591.902
AT ITER 5466 NEW BEST:: SOT 136416 SOS 40792 HAS SOPS 40792 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14538.792
AT ITER 5558 NEW BEST:: SOT 136415 SOS 40791 HAS SOPS 40791 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14536.791
AT ITER 5574 NEW BEST:: SOT 136415 SOS 40795 HAS SOPS 40795 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14533.795
AT ITER 5599 NEW BEST:: SOT 136396 SOS 40776 HAS SOPS 40776 HAS SOUS 14474 HAS SOUPS 14474 WITH SCORE 14514.776
AT ITER 5673 NEW BEST:: SOT 136393 SOS 40800 HAS SOPS 40800 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14513.8
AT ITER 5696 NEW BEST:: SOT 136390 SOS 40796 HAS SOPS 40796 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14509.796
AT ITER 5702 NEW BEST:: SOT 136387 SOS 40793 HAS SOPS 40793 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14502.793
AT ITER 5740 NEW BEST:: SOT 136387 SOS 40789 HAS SOPS 40789 HAS SOUS 14458 HAS SOUPS 14458 WITH SCORE 14498.789
AT ITER 5973 NEW BEST:: SOT 136386 SOS 40788 HAS SOPS 40788 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14496.788
AT ITER 5977 NEW BEST:: SOT 136373 SOS 40775 HAS SOPS 40775 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14470.775
AT ITER 6072 NEW BEST:: SOT 136376 SOS 40737 HAS SOPS 40737 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14432.737
AT ITER 6084 NEW BEST:: SOT 136375 SOS 40736 HAS SOPS 40736 HAS SOUS 14389 HAS SOUPS 14389 WITH SCORE 14429.736
AT ITER 6122 NEW BEST:: SOT 136375 SOS 40674 HAS SOPS 40674 HAS SOUS 14389 HAS SOUPS 14389 WITH SCORE 14429.674
AT ITER 6228 NEW BEST:: SOT 136369 SOS 40667 HAS SOPS 40667 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14422.667
AT ITER 6232 NEW BEST:: SOT 136368 SOS 40666 HAS SOPS 40666 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14420.666
AT ITER 6239 NEW BEST:: SOT 136367 SOS 40665 HAS SOPS 40665 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14420.665
AT ITER 6327 NEW BEST:: SOT 136366 SOS 40664 HAS SOPS 40664 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14418.664
AT ITER 6364 NEW BEST:: SOT 136366 SOS 40662 HAS SOPS 40662 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14416.662
AT ITER 6406 NEW BEST:: SOT 136361 SOS 40617 HAS SOPS 40617 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14371.617
AT ITER 6423 NEW BEST:: SOT 136352 SOS 40608 HAS SOPS 40608 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14353.608
AT ITER 6469 NEW BEST:: SOT 136356 SOS 40582 HAS SOPS 40582 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14340.582
AT ITER 6493 NEW BEST:: SOT 136355 SOS 40581 HAS SOPS 40581 HAS SOUS 14299 HAS SOUPS 14299 WITH SCORE 14339.581
AT ITER 6512 NEW BEST:: SOT 136354 SOS 40580 HAS SOPS 40580 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14337.58
AT ITER 6687 NEW BEST:: SOT 136330 SOS 40513 HAS SOPS 40513 HAS SOUS 14286 HAS SOUPS 14286 WITH SCORE 14326.513
AT ITER 6728 NEW BEST:: SOT 136296 SOS 40479 HAS SOPS 40479 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14288.479
AT ITER 6748 NEW BEST:: SOT 136295 SOS 40415 HAS SOPS 40415 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14286.415
AT ITER 6749 NEW BEST:: SOT 136190 SOS 40258 HAS SOPS 40258 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14192.258
AT ITER 6752 NEW BEST:: SOT 136161 SOS 40204 HAS SOPS 40204 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14093.204
AT ITER 6789 NEW BEST:: SOT 136160 SOS 40203 HAS SOPS 40203 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14091.203
AT ITER 6796 NEW BEST:: SOT 136158 SOS 40200 HAS SOPS 40200 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14055.2
AT ITER 6859 NEW BEST:: SOT 136147 SOS 40201 HAS SOPS 40201 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14044.201
AT ITER 6901 NEW BEST:: SOT 136147 SOS 40201 HAS SOPS 40201 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14030.201
AT ITER 6967 NEW BEST:: SOT 136129 SOS 40183 HAS SOPS 40183 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13994.183
AT ITER 7038 NEW BEST:: SOT 136105 SOS 40198 HAS SOPS 40198 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13946.198
AT ITER 7093 NEW BEST:: SOT 136098 SOS 40191 HAS SOPS 40191 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13939.191
AT ITER 7124 NEW BEST:: SOT 136076 SOS 40169 HAS SOPS 40169 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13885.169
AT ITER 7144 NEW BEST:: SOT 136073 SOS 40163 HAS SOPS 40163 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13882.163
AT ITER 7150 NEW BEST:: SOT 136036 SOS 40078 HAS SOPS 40078 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13882.078
AT ITER 7158 NEW BEST:: SOT 136034 SOS 40069 HAS SOPS 40069 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13857.069
AT ITER 7172 NEW BEST:: SOT 136035 SOS 40066 HAS SOPS 40066 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13854.066
AT ITER 7214 NEW BEST:: SOT 136021 SOS 40051 HAS SOPS 40051 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13853.051
AT ITER 7224 NEW BEST:: SOT 135906 SOS 39851 HAS SOPS 39851 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13746.851
AT ITER 7228 NEW BEST:: SOT 135906 SOS 39850 HAS SOPS 39850 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13745.85
AT ITER 7237 NEW BEST:: SOT 135896 SOS 39840 HAS SOPS 39840 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13726.84
AT ITER 7240 NEW BEST:: SOT 135896 SOS 39840 HAS SOPS 39840 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13709.84
AT ITER 7244 NEW BEST:: SOT 135831 SOS 39775 HAS SOPS 39775 HAS SOUS 13540 HAS SOUPS 13540 WITH SCORE 13579.775
AT ITER 7247 NEW BEST:: SOT 135771 SOS 39538 HAS SOPS 39538 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13516.538
AT ITER 7249 NEW BEST:: SOT 135748 SOS 39514 HAS SOPS 39514 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13492.514
AT ITER 7291 NEW BEST:: SOT 135748 SOS 39517 HAS SOPS 39517 HAS SOUS 13450 HAS SOUPS 13450 WITH SCORE 13489.517
AT ITER 7304 NEW BEST:: SOT 135739 SOS 39517 HAS SOPS 39517 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13471.517
AT ITER 7481 NEW BEST:: SOT 135737 SOS 39515 HAS SOPS 39515 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13469.515
AT ITER 7493 NEW BEST:: SOT 135729 SOS 39469 HAS SOPS 39469 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13443.469
AT ITER 7497 NEW BEST:: SOT 135728 SOS 39468 HAS SOPS 39468 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13441.468
AT ITER 7498 NEW BEST:: SOT 135706 SOS 39424 HAS SOPS 39424 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13363.424
AT ITER 7568 NEW BEST:: SOT 135699 SOS 39417 HAS SOPS 39417 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13362.417
AT ITER 7570 NEW BEST:: SOT 135672 SOS 39243 HAS SOPS 39243 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13351.243
AT ITER 7610 NEW BEST:: SOT 135671 SOS 39242 HAS SOPS 39242 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13349.242
AT ITER 7620 NEW BEST:: SOT 135652 SOS 39223 HAS SOPS 39223 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13311.223
AT ITER 7632 NEW BEST:: SOT 135661 SOS 39222 HAS SOPS 39222 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13310.222
AT ITER 7647 NEW BEST:: SOT 135622 SOS 39155 HAS SOPS 39155 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13258.155
AT ITER 7778 NEW BEST:: SOT 135620 SOS 39154 HAS SOPS 39154 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13257.154
AT ITER 7790 NEW BEST:: SOT 135556 SOS 39074 HAS SOPS 39074 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13233.074
AT ITER 7801 NEW BEST:: SOT 135536 SOS 39059 HAS SOPS 39059 HAS SOUS 13179 HAS SOUPS 13179 WITH SCORE 13218.059
AT ITER 7827 NEW BEST:: SOT 135516 SOS 39039 HAS SOPS 39039 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13178.039
AT ITER 7880 NEW BEST:: SOT 135515 SOS 39038 HAS SOPS 39038 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13176.038
AT ITER 7911 NEW BEST:: SOT 135522 SOS 39036 HAS SOPS 39036 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13167.036
AT ITER 8068 NEW BEST:: SOT 135514 SOS 38998 HAS SOPS 38998 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13136.998
AT ITER 8103 NEW BEST:: SOT 135514 SOS 38992 HAS SOPS 38992 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13136.992
AT ITER 8192 NEW BEST:: SOT 135513 SOS 38991 HAS SOPS 38991 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13134.991
AT ITER 8228 NEW BEST:: SOT 135511 SOS 38987 HAS SOPS 38987 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13130.987
AT ITER 8232 NEW BEST:: SOT 135496 SOS 38940 HAS SOPS 38940 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13100.94
AT ITER 8283 NEW BEST:: SOT 135495 SOS 38939 HAS SOPS 38939 HAS SOUS 13060 HAS SOUPS 13060 WITH SCORE 13098.939
AT ITER 8308 NEW BEST:: SOT 135494 SOS 38936 HAS SOPS 38936 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13095.936
AT ITER 8328 NEW BEST:: SOT 135493 SOS 38935 HAS SOPS 38935 HAS SOUS 13055 HAS SOUPS 13055 WITH SCORE 13093.935
AT ITER 8346 NEW BEST:: SOT 135474 SOS 40615 HAS SOPS 40615 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13028.615
AT ITER 8411 NEW BEST:: SOT 135503 SOS 40657 HAS SOPS 40657 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13024.657
AT ITER 8472 NEW BEST:: SOT 135491 SOS 40643 HAS SOPS 40643 HAS SOUS 12982 HAS SOUPS 12982 WITH SCORE 13022.643
AT ITER 8508 NEW BEST:: SOT 135479 SOS 40620 HAS SOPS 40620 HAS SOUS 12959 HAS SOUPS 12959 WITH SCORE 12999.62
AT ITER 8633 NEW BEST:: SOT 135474 SOS 40610 HAS SOPS 40610 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12991.61
AT ITER 8656 NEW BEST:: SOT 135419 SOS 40555 HAS SOPS 40555 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12906.555
AT ITER 8700 NEW BEST:: SOT 135419 SOS 40528 HAS SOPS 40528 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12879.528
AT ITER 8720 NEW BEST:: SOT 135418 SOS 40527 HAS SOPS 40527 HAS SOUS 12837 HAS SOUPS 12837 WITH SCORE 12877.527
AT ITER 8749 NEW BEST:: SOT 135339 SOS 41258 HAS SOPS 41258 HAS SOUS 12759 HAS SOUPS 12759 WITH SCORE 12800.258
AT ITER 8757 NEW BEST:: SOT 135339 SOS 41254 HAS SOPS 41254 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12796.254
AT ITER 8770 NEW BEST:: SOT 135339 SOS 41251 HAS SOPS 41251 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12796.251
AT ITER 8832 NEW BEST:: SOT 135329 SOS 41234 HAS SOPS 41234 HAS SOUS 12745 HAS SOUPS 12745 WITH SCORE 12786.234
AT ITER 8848 NEW BEST:: SOT 135328 SOS 41233 HAS SOPS 41233 HAS SOUS 12743 HAS SOUPS 12743 WITH SCORE 12784.233
AT ITER 8853 NEW BEST:: SOT 135327 SOS 41232 HAS SOPS 41232 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12782.232
AT ITER 8856 NEW BEST:: SOT 135327 SOS 41230 HAS SOPS 41230 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12781.23
AT ITER 8987 NEW BEST:: SOT 135302 SOS 41196 HAS SOPS 41196 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12745.196
AT ITER 9064 NEW BEST:: SOT 135297 SOS 41190 HAS SOPS 41190 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12739.19
AT ITER 9067 NEW BEST:: SOT 135297 SOS 41183 HAS SOPS 41183 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12732.183
AT ITER 9163 NEW BEST:: SOT 135289 SOS 41175 HAS SOPS 41175 HAS SOUS 12675 HAS SOUPS 12675 WITH SCORE 12716.175
AT ITER 9184 NEW BEST:: SOT 135289 SOS 41172 HAS SOPS 41172 HAS SOUS 12675 HAS SOUPS 12675 WITH SCORE 12716.172
AT ITER 9201 NEW BEST:: SOT 135284 SOS 41173 HAS SOPS 41173 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12712.173
AT ITER 9206 NEW BEST:: SOT 134913 SOS 40797 HAS SOPS 40797 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12335.797
AT ITER 9228 NEW BEST:: SOT 134885 SOS 40776 HAS SOPS 40776 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12312.776
AT ITER 9246 NEW BEST:: SOT 134884 SOS 40772 HAS SOPS 40772 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12311.772
AT ITER 9261 NEW BEST:: SOT 134887 SOS 40768 HAS SOPS 40768 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12307.768
AT ITER 9268 NEW BEST:: SOT 134887 SOS 40358 HAS SOPS 40358 HAS SOUS 12263 HAS SOUPS 12263 WITH SCORE 12303.358
AT ITER 9304 NEW BEST:: SOT 134886 SOS 40357 HAS SOPS 40357 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12301.357
AT ITER 9416 NEW BEST:: SOT 134844 SOS 40297 HAS SOPS 40297 HAS SOUS 12201 HAS SOUPS 12201 WITH SCORE 12241.297
AT ITER 9450 NEW BEST:: SOT 134839 SOS 40296 HAS SOPS 40296 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12240.296
AT ITER 9526 NEW BEST:: SOT 134837 SOS 40290 HAS SOPS 40290 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12234.29
AT ITER 9551 NEW BEST:: SOT 134839 SOS 39734 HAS SOPS 39734 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12195.734
AT ITER 9592 NEW BEST:: SOT 134836 SOS 39726 HAS SOPS 39726 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12194.726
AT ITER 9610 NEW BEST:: SOT 134834 SOS 39716 HAS SOPS 39716 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12193.716
AT ITER 9629 NEW BEST:: SOT 134832 SOS 39714 HAS SOPS 39714 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12193.714
AT ITER 9662 NEW BEST:: SOT 134835 SOS 39712 HAS SOPS 39712 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12191.712
AT ITER 9711 NEW BEST:: SOT 134833 SOS 39710 HAS SOPS 39710 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12189.71
AT ITER 9804 NEW BEST:: SOT 134830 SOS 39704 HAS SOPS 39704 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12184.704
AT ITER 9910 NEW BEST:: SOT 134818 SOS 39699 HAS SOPS 39699 HAS SOUS 12132 HAS SOUPS 12132 WITH SCORE 12171.699
AT ITER 9940 NEW BEST:: SOT 134813 SOS 39694 HAS SOPS 39694 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12161.694
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1434740 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125512 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="DES-PT-60b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r107-tall-167814484300504"
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 ;