fond

jQuery Multi Level CSS Menu Css3Menu.com

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

About the Execution of Smart+red for TokenRing-PT-020

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
0.000 1339176.00 0.00 0.00 2.4466E+0010 2.4466E+0011 1 21 normal

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912710800680.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 TokenRing-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710800680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 130M
-rw-r--r-- 1 mcc users 700K Feb 25 15:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.5M Feb 25 15:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4M Feb 25 15:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 20M Feb 25 15:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 246K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 823K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 725K Feb 25 16:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.6M Feb 25 16:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17M Feb 25 16:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62M Feb 25 16:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.0M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679280749013

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=TokenRing-PT-020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 02:52:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 02:52:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 02:52:36] [INFO ] Load time of PNML (sax parser for PT used): 258 ms
[2023-03-20 02:52:36] [INFO ] Transformed 441 places.
[2023-03-20 02:52:36] [INFO ] Transformed 8421 transitions.
[2023-03-20 02:52:36] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 392 ms.
[2023-03-20 02:52:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 441 places, 8421 transitions and 33684 arcs took 71 ms.
Total runtime 495 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 020
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: 441 places, 8421 transitions, 33684 arcs.
AT ITER 0 NEW BEST:: SOT 1993446 SOS 415522 HAS SOPS 272570 HAS SOUS 204988 HAS SOUPS 196320 WITH SCORE 196735.522
AT ITER 23 NEW BEST:: SOT 1992569 SOS 414573 HAS SOPS 273201 HAS SOUS 204561 HAS SOUPS 195957 WITH SCORE 196371.573
AT ITER 59 NEW BEST:: SOT 1992433 SOS 414567 HAS SOPS 273059 HAS SOUS 204274 HAS SOUPS 195672 WITH SCORE 196086.567
AT ITER 60 NEW BEST:: SOT 1992675 SOS 415737 HAS SOPS 274229 HAS SOUS 204218 HAS SOUPS 195616 WITH SCORE 196031.737
AT ITER 65 NEW BEST:: SOT 1992599 SOS 415753 HAS SOPS 274169 HAS SOUS 204057 HAS SOUPS 195455 WITH SCORE 195870.753
AT ITER 74 NEW BEST:: SOT 1992423 SOS 415673 HAS SOPS 273913 HAS SOUS 203801 HAS SOUPS 195199 WITH SCORE 195614.673
AT ITER 108 NEW BEST:: SOT 1992438 SOS 416576 HAS SOPS 274854 HAS SOUS 203012 HAS SOUPS 194412 WITH SCORE 194828.576
AT ITER 128 NEW BEST:: SOT 1992898 SOS 418643 HAS SOPS 276826 HAS SOUS 202789 HAS SOUPS 194183 WITH SCORE 194601.643
AT ITER 165 NEW BEST:: SOT 1993179 SOS 419304 HAS SOPS 277687 HAS SOUS 202770 HAS SOUPS 194166 WITH SCORE 194585.304
AT ITER 205 NEW BEST:: SOT 1993147 SOS 419270 HAS SOPS 277621 HAS SOUS 202746 HAS SOUPS 194142 WITH SCORE 194561.27
AT ITER 221 NEW BEST:: SOT 1993147 SOS 418928 HAS SOPS 277621 HAS SOUS 202710 HAS SOUPS 194124 WITH SCORE 194542.928
AT ITER 297 NEW BEST:: SOT 1993147 SOS 418909 HAS SOPS 277621 HAS SOUS 202708 HAS SOUPS 194123 WITH SCORE 194541.909
AT ITER 330 NEW BEST:: SOT 1993140 SOS 418902 HAS SOPS 277614 HAS SOUS 202701 HAS SOUPS 194116 WITH SCORE 194534.902
AT ITER 346 NEW BEST:: SOT 1993122 SOS 418866 HAS SOPS 277560 HAS SOUS 202686 HAS SOUPS 194101 WITH SCORE 194519.866
AT ITER 351 NEW BEST:: SOT 1992713 SOS 418277 HAS SOPS 277723 HAS SOUS 202478 HAS SOUPS 193924 WITH SCORE 194342.277
AT ITER 365 NEW BEST:: SOT 1992810 SOS 418544 HAS SOPS 278366 HAS SOUS 202428 HAS SOUPS 193874 WITH SCORE 194292.544
AT ITER 390 NEW BEST:: SOT 1992335 SOS 418376 HAS SOPS 278721 HAS SOUS 202132 HAS SOUPS 193598 WITH SCORE 194016.376
AT ITER 393 NEW BEST:: SOT 1992269 SOS 418516 HAS SOPS 278795 HAS SOUS 201877 HAS SOUPS 193343 WITH SCORE 193761.516
AT ITER 395 NEW BEST:: SOT 1992021 SOS 418352 HAS SOPS 278371 HAS SOUS 201568 HAS SOUPS 193034 WITH SCORE 193452.352
AT ITER 442 NEW BEST:: SOT 1992180 SOS 419495 HAS SOPS 279514 HAS SOUS 201415 HAS SOUPS 192881 WITH SCORE 193300.495
AT ITER 443 NEW BEST:: SOT 1992114 SOS 419464 HAS SOPS 279584 HAS SOUS 201325 HAS SOUPS 192791 WITH SCORE 193210.464
AT ITER 448 NEW BEST:: SOT 1992050 SOS 419574 HAS SOPS 279630 HAS SOUS 201121 HAS SOUPS 192587 WITH SCORE 193006.574
AT ITER 455 NEW BEST:: SOT 1991944 SOS 419578 HAS SOPS 279528 HAS SOUS 200896 HAS SOUPS 192363 WITH SCORE 192782.578
AT ITER 494 NEW BEST:: SOT 1991913 SOS 419591 HAS SOPS 279507 HAS SOUS 200818 HAS SOUPS 192285 WITH SCORE 192704.591
AT ITER 567 NEW BEST:: SOT 1991788 SOS 419480 HAS SOPS 279266 HAS SOUS 200690 HAS SOUPS 192157 WITH SCORE 192576.48
AT ITER 570 NEW BEST:: SOT 1991786 SOS 419476 HAS SOPS 279260 HAS SOUS 200689 HAS SOUPS 192156 WITH SCORE 192575.476
AT ITER 590 NEW BEST:: SOT 1991762 SOS 419468 HAS SOPS 279228 HAS SOUS 200654 HAS SOUPS 192121 WITH SCORE 192540.468
AT ITER 601 NEW BEST:: SOT 1991762 SOS 419467 HAS SOPS 279228 HAS SOUS 200653 HAS SOUPS 192121 WITH SCORE 192540.467
AT ITER 612 NEW BEST:: SOT 1991033 SOS 418866 HAS SOPS 279147 HAS SOUS 200384 HAS SOUPS 191880 WITH SCORE 192298.866
AT ITER 725 NEW BEST:: SOT 1991266 SOS 419993 HAS SOPS 280206 HAS SOUS 200290 HAS SOUPS 191777 WITH SCORE 192196.993
AT ITER 736 NEW BEST:: SOT 1991315 SOS 420685 HAS SOPS 280913 HAS SOUS 200032 HAS SOUPS 191519 WITH SCORE 191939.685
AT ITER 740 NEW BEST:: SOT 1991550 SOS 422088 HAS SOPS 282316 HAS SOUS 199855 HAS SOUPS 191342 WITH SCORE 191764.088
AT ITER 764 NEW BEST:: SOT 1991414 SOS 422075 HAS SOPS 282132 HAS SOUS 199550 HAS SOUPS 191036 WITH SCORE 191458.075
AT ITER 791 NEW BEST:: SOT 1991971 SOS 423513 HAS SOPS 283577 HAS SOUS 199537 HAS SOUPS 191019 WITH SCORE 191442.513
AT ITER 836 NEW BEST:: SOT 1991905 SOS 423477 HAS SOPS 283471 HAS SOUS 199445 HAS SOUPS 190927 WITH SCORE 191350.477
AT ITER 844 NEW BEST:: SOT 1992261 SOS 424852 HAS SOPS 284841 HAS SOUS 198971 HAS SOUPS 190448 WITH SCORE 190872.852
AT ITER 864 NEW BEST:: SOT 1992891 SOS 426639 HAS SOPS 286327 HAS SOUS 198948 HAS SOUPS 190401 WITH SCORE 190827.639
AT ITER 903 NEW BEST:: SOT 1993007 SOS 427460 HAS SOPS 287109 HAS SOUS 198422 HAS SOUPS 189872 WITH SCORE 190299.46
AT ITER 926 NEW BEST:: SOT 1992463 SOS 426217 HAS SOPS 286167 HAS SOUS 198073 HAS SOUPS 189547 WITH SCORE 189973.217
AT ITER 938 NEW BEST:: SOT 1992421 SOS 426217 HAS SOPS 286125 HAS SOUS 197993 HAS SOUPS 189467 WITH SCORE 189893.217
AT ITER 977 NEW BEST:: SOT 1992399 SOS 426225 HAS SOPS 286103 HAS SOUS 197937 HAS SOUPS 189411 WITH SCORE 189837.225
AT ITER 991 NEW BEST:: SOT 1992286 SOS 426156 HAS SOPS 285928 HAS SOUS 197787 HAS SOUPS 189261 WITH SCORE 189687.156
AT ITER 1000 NEW BEST:: SOT 1992236 SOS 425985 HAS SOPS 285878 HAS SOUS 197669 HAS SOUPS 189152 WITH SCORE 189577.985
AT ITER 1040 NEW BEST:: SOT 1992840 SOS 427373 HAS SOPS 287560 HAS SOUS 197621 HAS SOUPS 189119 WITH SCORE 189546.373
AT ITER 1052 NEW BEST:: SOT 1993151 SOS 427871 HAS SOPS 287769 HAS SOUS 197490 HAS SOUPS 188973 WITH SCORE 189400.871
AT ITER 1113 NEW BEST:: SOT 1993140 SOS 427879 HAS SOPS 287758 HAS SOUS 197460 HAS SOUPS 188943 WITH SCORE 189370.879
AT ITER 1184 NEW BEST:: SOT 1992926 SOS 427777 HAS SOPS 287428 HAS SOUS 197010 HAS SOUPS 188489 WITH SCORE 188916.777
AT ITER 1185 NEW BEST:: SOT 1993334 SOS 429132 HAS SOPS 288782 HAS SOUS 196492 HAS SOUPS 187970 WITH SCORE 188399.132
AT ITER 1190 NEW BEST:: SOT 1993272 SOS 429120 HAS SOPS 288700 HAS SOUS 196372 HAS SOUPS 187850 WITH SCORE 188279.12
AT ITER 1192 NEW BEST:: SOT 1993522 SOS 430088 HAS SOPS 289668 HAS SOUS 195904 HAS SOUPS 187382 WITH SCORE 187812.088
AT ITER 1205 NEW BEST:: SOT 1993516 SOS 430225 HAS SOPS 290054 HAS SOUS 195776 HAS SOUPS 187254 WITH SCORE 187684.225
AT ITER 1216 NEW BEST:: SOT 1993295 SOS 429951 HAS SOPS 290183 HAS SOUS 195588 HAS SOUPS 187086 WITH SCORE 187515.951
AT ITER 1226 NEW BEST:: SOT 1993251 SOS 429894 HAS SOPS 290139 HAS SOUS 195494 HAS SOUPS 186995 WITH SCORE 187424.894
AT ITER 1253 NEW BEST:: SOT 1993459 SOS 430664 HAS SOPS 290903 HAS SOUS 195266 HAS SOUPS 186761 WITH SCORE 187191.664
AT ITER 1269 NEW BEST:: SOT 1993307 SOS 430676 HAS SOPS 290731 HAS SOUS 194933 HAS SOUPS 186429 WITH SCORE 186859.676
AT ITER 1320 NEW BEST:: SOT 1993216 SOS 430665 HAS SOPS 290626 HAS SOUS 194767 HAS SOUPS 186263 WITH SCORE 186693.665
AT ITER 1337 NEW BEST:: SOT 1993043 SOS 430634 HAS SOPS 290401 HAS SOUS 194416 HAS SOUPS 185913 WITH SCORE 186343.634
AT ITER 1374 NEW BEST:: SOT 1993084 SOS 430797 HAS SOPS 290562 HAS SOUS 194356 HAS SOUPS 185852 WITH SCORE 186282.797
AT ITER 1426 NEW BEST:: SOT 1992928 SOS 430749 HAS SOPS 290370 HAS SOUS 194104 HAS SOUPS 185600 WITH SCORE 186030.749
AT ITER 1442 NEW BEST:: SOT 1992844 SOS 430618 HAS SOPS 290319 HAS SOUS 194060 HAS SOUPS 185561 WITH SCORE 185991.618
AT ITER 1452 NEW BEST:: SOT 1992676 SOS 430584 HAS SOPS 290127 HAS SOUS 193775 HAS SOUPS 185276 WITH SCORE 185706.584
AT ITER 1501 NEW BEST:: SOT 1992546 SOS 430701 HAS SOPS 290275 HAS SOUS 193483 HAS SOUPS 184981 WITH SCORE 185411.701
AT ITER 1503 NEW BEST:: SOT 1992475 SOS 430687 HAS SOPS 290364 HAS SOUS 193368 HAS SOUPS 184866 WITH SCORE 185296.687
AT ITER 1556 NEW BEST:: SOT 1992437 SOS 430649 HAS SOPS 290326 HAS SOUS 193330 HAS SOUPS 184828 WITH SCORE 185258.649
AT ITER 1578 NEW BEST:: SOT 1992704 SOS 431830 HAS SOPS 291441 HAS SOUS 193313 HAS SOUPS 184805 WITH SCORE 185236.83
AT ITER 1605 NEW BEST:: SOT 1992644 SOS 431703 HAS SOPS 291367 HAS SOUS 193257 HAS SOUPS 184752 WITH SCORE 185183.703
AT ITER 1640 NEW BEST:: SOT 1993080 SOS 432922 HAS SOPS 292505 HAS SOUS 193099 HAS SOUPS 184585 WITH SCORE 185017.922
AT ITER 1647 NEW BEST:: SOT 1992317 SOS 432411 HAS SOPS 292598 HAS SOUS 192756 HAS SOUPS 184274 WITH SCORE 184706.411
AT ITER 1677 NEW BEST:: SOT 1992186 SOS 432416 HAS SOPS 292455 HAS SOUS 192517 HAS SOUPS 184035 WITH SCORE 184467.416
AT ITER 1720 NEW BEST:: SOT 1992200 SOS 432531 HAS SOPS 292293 HAS SOUS 192453 HAS SOUPS 183962 WITH SCORE 184394.531
AT ITER 1786 NEW BEST:: SOT 1992086 SOS 432303 HAS SOPS 292179 HAS SOUS 192201 HAS SOUPS 183722 WITH SCORE 184154.303
AT ITER 1807 NEW BEST:: SOT 1992166 SOS 432637 HAS SOPS 292431 HAS SOUS 192042 HAS SOUPS 183563 WITH SCORE 183995.637
AT ITER 1895 NEW BEST:: SOT 1992277 SOS 433491 HAS SOPS 293286 HAS SOUS 191788 HAS SOUPS 183309 WITH SCORE 183742.491
AT ITER 1905 NEW BEST:: SOT 1992106 SOS 433057 HAS SOPS 292857 HAS SOUS 191775 HAS SOUPS 183301 WITH SCORE 183734.057
AT ITER 1968 NEW BEST:: SOT 1991987 SOS 432970 HAS SOPS 292652 HAS SOUS 191606 HAS SOUPS 183132 WITH SCORE 183564.97
AT ITER 1977 NEW BEST:: SOT 1991980 SOS 432965 HAS SOPS 292639 HAS SOUS 191596 HAS SOUPS 183122 WITH SCORE 183554.965
AT ITER 1995 NEW BEST:: SOT 1991959 SOS 432953 HAS SOPS 292600 HAS SOUS 191563 HAS SOUPS 183089 WITH SCORE 183521.953
AT ITER 2007 NEW BEST:: SOT 1991948 SOS 432948 HAS SOPS 292583 HAS SOUS 191547 HAS SOUPS 183073 WITH SCORE 183505.948
AT ITER 2010 NEW BEST:: SOT 1992018 SOS 433138 HAS SOPS 292839 HAS SOUS 191466 HAS SOUPS 182992 WITH SCORE 183425.138
AT ITER 2014 NEW BEST:: SOT 1991927 SOS 432967 HAS SOPS 292748 HAS SOUS 191266 HAS SOUPS 182801 WITH SCORE 183233.967
AT ITER 2018 NEW BEST:: SOT 1991907 SOS 432902 HAS SOPS 292768 HAS SOUS 191181 HAS SOUPS 182721 WITH SCORE 183153.902
AT ITER 2045 NEW BEST:: SOT 1991907 SOS 432898 HAS SOPS 292768 HAS SOUS 191177 HAS SOUPS 182721 WITH SCORE 183153.898
AT ITER 2071 NEW BEST:: SOT 1992706 SOS 434723 HAS SOPS 294593 HAS SOUS 190950 HAS SOUPS 182494 WITH SCORE 182928.723
AT ITER 2108 NEW BEST:: SOT 1992523 SOS 434527 HAS SOPS 294364 HAS SOUS 190653 HAS SOUPS 182204 WITH SCORE 182638.527
AT ITER 2144 NEW BEST:: SOT 1992798 SOS 435402 HAS SOPS 295333 HAS SOUS 190401 HAS SOUPS 181951 WITH SCORE 182386.402
AT ITER 2167 NEW BEST:: SOT 1992713 SOS 435670 HAS SOPS 295430 HAS SOUS 190299 HAS SOUPS 181834 WITH SCORE 182269.67
AT ITER 2264 NEW BEST:: SOT 1992707 SOS 435571 HAS SOPS 295424 HAS SOUS 190273 HAS SOUPS 181817 WITH SCORE 182252.571
AT ITER 2312 NEW BEST:: SOT 1992686 SOS 435482 HAS SOPS 295391 HAS SOUS 190215 HAS SOUPS 181764 WITH SCORE 182199.482
AT ITER 2327 NEW BEST:: SOT 1992407 SOS 434963 HAS SOPS 294872 HAS SOUS 190176 HAS SOUPS 181725 WITH SCORE 182159.963
AT ITER 2341 NEW BEST:: SOT 1992392 SOS 434998 HAS SOPS 294887 HAS SOUS 190106 HAS SOUPS 181655 WITH SCORE 182089.998
AT ITER 2344 NEW BEST:: SOT 1992508 SOS 435722 HAS SOPS 295611 HAS SOUS 189740 HAS SOUPS 181289 WITH SCORE 181724.722
AT ITER 2409 NEW BEST:: SOT 1992500 SOS 435710 HAS SOPS 295588 HAS SOUS 189728 HAS SOUPS 181266 WITH SCORE 181701.71
AT ITER 2413 NEW BEST:: SOT 1992797 SOS 436925 HAS SOPS 296803 HAS SOUS 189359 HAS SOUPS 180897 WITH SCORE 181333.925
AT ITER 2443 NEW BEST:: SOT 1992760 SOS 436932 HAS SOPS 296746 HAS SOUS 189269 HAS SOUPS 180807 WITH SCORE 181243.932
AT ITER 2481 NEW BEST:: SOT 1992618 SOS 436840 HAS SOPS 296848 HAS SOUS 189139 HAS SOUPS 180684 WITH SCORE 181120.84
AT ITER 2552 NEW BEST:: SOT 1992487 SOS 436789 HAS SOPS 296663 HAS SOUS 188939 HAS SOUPS 180484 WITH SCORE 180920.789
AT ITER 2576 NEW BEST:: SOT 1992383 SOS 436719 HAS SOPS 296535 HAS SOUS 188897 HAS SOUPS 180444 WITH SCORE 180880.719
AT ITER 2578 NEW BEST:: SOT 1993297 SOS 439590 HAS SOPS 298583 HAS SOUS 188778 HAS SOUPS 180281 WITH SCORE 180720.59
AT ITER 2618 NEW BEST:: SOT 1992921 SOS 439603 HAS SOPS 298317 HAS SOUS 188212 HAS SOUPS 179707 WITH SCORE 180146.603
AT ITER 2692 NEW BEST:: SOT 1992696 SOS 439554 HAS SOPS 298012 HAS SOUS 187691 HAS SOUPS 179182 WITH SCORE 179621.554
AT ITER 2747 NEW BEST:: SOT 1992711 SOS 439623 HAS SOPS 298081 HAS SOUS 187652 HAS SOUPS 179143 WITH SCORE 179582.623
AT ITER 2761 NEW BEST:: SOT 1992472 SOS 439149 HAS SOPS 297482 HAS SOUS 187521 HAS SOUPS 179018 WITH SCORE 179457.149
AT ITER 2777 NEW BEST:: SOT 1992492 SOS 439249 HAS SOPS 297582 HAS SOUS 187461 HAS SOUPS 178958 WITH SCORE 179397.249
AT ITER 2852 NEW BEST:: SOT 1992358 SOS 439119 HAS SOPS 297342 HAS SOUS 187356 HAS SOUPS 178853 WITH SCORE 179292.119
AT ITER 2868 NEW BEST:: SOT 1992887 SOS 440677 HAS SOPS 298833 HAS SOUS 187213 HAS SOUPS 178705 WITH SCORE 179145.677
AT ITER 2888 NEW BEST:: SOT 1992528 SOS 440402 HAS SOPS 298240 HAS SOUS 186785 HAS SOUPS 178277 WITH SCORE 178717.402
AT ITER 2913 NEW BEST:: SOT 1992714 SOS 441096 HAS SOPS 298934 HAS SOUS 186463 HAS SOUPS 177955 WITH SCORE 178396.096
AT ITER 2939 NEW BEST:: SOT 1992941 SOS 442236 HAS SOPS 300429 HAS SOUS 186008 HAS SOUPS 177519 WITH SCORE 177961.236
AT ITER 3016 NEW BEST:: SOT 1993753 SOS 444346 HAS SOPS 302219 HAS SOUS 185858 HAS SOUPS 177353 WITH SCORE 177797.346
AT ITER 3106 NEW BEST:: SOT 1993745 SOS 444342 HAS SOPS 302205 HAS SOUS 185845 HAS SOUPS 177340 WITH SCORE 177784.342
AT ITER 3133 NEW BEST:: SOT 1993442 SOS 444023 HAS SOPS 301946 HAS SOUS 185691 HAS SOUPS 177197 WITH SCORE 177641.023
AT ITER 3143 NEW BEST:: SOT 1993202 SOS 444410 HAS SOPS 301728 HAS SOUS 185727 HAS SOUPS 177191 WITH SCORE 177635.41
AT ITER 3166 NEW BEST:: SOT 1993208 SOS 444428 HAS SOPS 301726 HAS SOUS 185693 HAS SOUPS 177157 WITH SCORE 177601.428
AT ITER 3187 NEW BEST:: SOT 1993148 SOS 444386 HAS SOPS 301612 HAS SOUS 185609 HAS SOUPS 177073 WITH SCORE 177517.386
AT ITER 3192 NEW BEST:: SOT 1993273 SOS 445103 HAS SOPS 302355 HAS SOUS 185142 HAS SOUPS 176606 WITH SCORE 177051.103
AT ITER 3208 NEW BEST:: SOT 1993186 SOS 445058 HAS SOPS 302236 HAS SOUS 185031 HAS SOUPS 176495 WITH SCORE 176940.058
AT ITER 3217 NEW BEST:: SOT 1993287 SOS 445531 HAS SOPS 302723 HAS SOUS 184760 HAS SOUPS 176224 WITH SCORE 176669.531
AT ITER 3236 NEW BEST:: SOT 1993153 SOS 445139 HAS SOPS 302275 HAS SOUS 184393 HAS SOUPS 175857 WITH SCORE 176302.139
AT ITER 3243 NEW BEST:: SOT 1993067 SOS 445053 HAS SOPS 302191 HAS SOUS 184326 HAS SOUPS 175792 WITH SCORE 176237.053
AT ITER 3249 NEW BEST:: SOT 1993009 SOS 444953 HAS SOPS 302231 HAS SOUS 184306 HAS SOUPS 175780 WITH SCORE 176224.953
AT ITER 3274 NEW BEST:: SOT 1992998 SOS 444972 HAS SOPS 302220 HAS SOUS 184286 HAS SOUPS 175759 WITH SCORE 176203.972
AT ITER 3315 NEW BEST:: SOT 1992684 SOS 444760 HAS SOPS 301874 HAS SOUS 183887 HAS SOUPS 175360 WITH SCORE 175804.76
AT ITER 3343 NEW BEST:: SOT 1992624 SOS 444640 HAS SOPS 301718 HAS SOUS 183764 HAS SOUPS 175237 WITH SCORE 175681.64
AT ITER 3368 NEW BEST:: SOT 1992608 SOS 444621 HAS SOPS 301702 HAS SOUS 183730 HAS SOUPS 175204 WITH SCORE 175648.621
AT ITER 3468 NEW BEST:: SOT 1992532 SOS 444707 HAS SOPS 301712 HAS SOUS 183518 HAS SOUPS 174992 WITH SCORE 175436.707
AT ITER 3527 NEW BEST:: SOT 1992538 SOS 444679 HAS SOPS 301774 HAS SOUS 183483 HAS SOUPS 174960 WITH SCORE 175404.679
AT ITER 3582 NEW BEST:: SOT 1992409 SOS 444652 HAS SOPS 301619 HAS SOUS 183271 HAS SOUPS 174748 WITH SCORE 175192.652
AT ITER 3602 NEW BEST:: SOT 1992404 SOS 444865 HAS SOPS 302378 HAS SOUS 182876 HAS SOUPS 174381 WITH SCORE 174825.865
AT ITER 3616 NEW BEST:: SOT 1992391 SOS 444836 HAS SOPS 302325 HAS SOUS 182873 HAS SOUPS 174378 WITH SCORE 174822.836
AT ITER 3624 NEW BEST:: SOT 1992357 SOS 444816 HAS SOPS 302265 HAS SOUS 182783 HAS SOUPS 174286 WITH SCORE 174730.816
AT ITER 3789 NEW BEST:: SOT 1992326 SOS 444793 HAS SOPS 302212 HAS SOUS 182748 HAS SOUPS 174251 WITH SCORE 174695.793
AT ITER 3870 NEW BEST:: SOT 1991779 SOS 444071 HAS SOPS 302150 HAS SOUS 182620 HAS SOUPS 174147 WITH SCORE 174591.071
AT ITER 3919 NEW BEST:: SOT 1991770 SOS 444062 HAS SOPS 302129 HAS SOUS 182608 HAS SOUPS 174135 WITH SCORE 174579.062
AT ITER 4003 NEW BEST:: SOT 1991337 SOS 443349 HAS SOPS 302355 HAS SOUS 182519 HAS SOUPS 174080 WITH SCORE 174523.349
AT ITER 4038 NEW BEST:: SOT 1991326 SOS 443340 HAS SOPS 302348 HAS SOUS 182507 HAS SOUPS 174068 WITH SCORE 174511.34
AT ITER 4043 NEW BEST:: SOT 1991850 SOS 444772 HAS SOPS 303754 HAS SOUS 182165 HAS SOUPS 173724 WITH SCORE 174168.772
AT ITER 4065 NEW BEST:: SOT 1991846 SOS 444737 HAS SOPS 303731 HAS SOUS 182130 HAS SOUPS 173701 WITH SCORE 174145.737
AT ITER 4130 NEW BEST:: SOT 1991837 SOS 444736 HAS SOPS 303722 HAS SOUS 182114 HAS SOUPS 173685 WITH SCORE 174129.736
AT ITER 4174 NEW BEST:: SOT 1991895 SOS 444900 HAS SOPS 303726 HAS SOUS 181898 HAS SOUPS 173461 WITH SCORE 173905.9
AT ITER 4204 NEW BEST:: SOT 1991626 SOS 444990 HAS SOPS 304113 HAS SOUS 181681 HAS SOUPS 173257 WITH SCORE 173701.99
AT ITER 4209 NEW BEST:: SOT 1991622 SOS 445006 HAS SOPS 304131 HAS SOUS 181662 HAS SOUPS 173238 WITH SCORE 173683.006
AT ITER 4222 NEW BEST:: SOT 1991899 SOS 445799 HAS SOPS 304872 HAS SOUS 181549 HAS SOUPS 173119 WITH SCORE 173564.799
AT ITER 4246 NEW BEST:: SOT 1992011 SOS 446275 HAS SOPS 305348 HAS SOUS 181465 HAS SOUPS 173035 WITH SCORE 173481.275
AT ITER 4260 NEW BEST:: SOT 1992340 SOS 447028 HAS SOPS 306101 HAS SOUS 181370 HAS SOUPS 172940 WITH SCORE 173387.028
AT ITER 4310 NEW BEST:: SOT 1992377 SOS 447159 HAS SOPS 306232 HAS SOUS 181313 HAS SOUPS 172883 WITH SCORE 173330.159
AT ITER 4361 NEW BEST:: SOT 1992329 SOS 447075 HAS SOPS 306112 HAS SOUS 181303 HAS SOUPS 172873 WITH SCORE 173320.075
AT ITER 4371 NEW BEST:: SOT 1992323 SOS 447078 HAS SOPS 306100 HAS SOUS 181306 HAS SOUPS 172861 WITH SCORE 173308.078
AT ITER 4382 NEW BEST:: SOT 1992404 SOS 447284 HAS SOPS 306313 HAS SOUS 181262 HAS SOUPS 172817 WITH SCORE 173264.284
AT ITER 4383 NEW BEST:: SOT 1992391 SOS 447287 HAS SOPS 306308 HAS SOUS 181240 HAS SOUPS 172795 WITH SCORE 173242.287
AT ITER 4482 NEW BEST:: SOT 1991768 SOS 445936 HAS SOPS 305277 HAS SOUS 181009 HAS SOUPS 172580 WITH SCORE 173025.936
AT ITER 4538 NEW BEST:: SOT 1991730 SOS 445906 HAS SOPS 305217 HAS SOUS 180974 HAS SOUPS 172545 WITH SCORE 172990.906
AT ITER 4600 NEW BEST:: SOT 1991548 SOS 445818 HAS SOPS 304903 HAS SOUS 180620 HAS SOUPS 172189 WITH SCORE 172634.818
AT ITER 4618 NEW BEST:: SOT 1991518 SOS 445806 HAS SOPS 304877 HAS SOUS 180599 HAS SOUPS 172168 WITH SCORE 172613.806
AT ITER 4700 NEW BEST:: SOT 1991494 SOS 445768 HAS SOPS 304853 HAS SOUS 180547 HAS SOUPS 172118 WITH SCORE 172563.768
AT ITER 4768 NEW BEST:: SOT 1990926 SOS 445758 HAS SOPS 304171 HAS SOUS 179872 HAS SOUPS 171447 WITH SCORE 171892.758
AT ITER 4779 NEW BEST:: SOT 1990964 SOS 445799 HAS SOPS 304134 HAS SOUS 179833 HAS SOUPS 171404 WITH SCORE 171849.799
AT ITER 4849 NEW BEST:: SOT 1990179 SOS 445241 HAS SOPS 303163 HAS SOUS 178860 HAS SOUPS 170430 WITH SCORE 170875.241
AT ITER 4882 NEW BEST:: SOT 1989881 SOS 445048 HAS SOPS 302719 HAS SOUS 178456 HAS SOUPS 170032 WITH SCORE 170477.048
AT ITER 4899 NEW BEST:: SOT 1989833 SOS 444934 HAS SOPS 302671 HAS SOUS 178348 HAS SOUPS 169930 WITH SCORE 170374.934
AT ITER 5010 NEW BEST:: SOT 1989823 SOS 444921 HAS SOPS 302661 HAS SOUS 178335 HAS SOUPS 169920 WITH SCORE 170364.921
AT ITER 5016 NEW BEST:: SOT 1990020 SOS 445544 HAS SOPS 303288 HAS SOUS 178106 HAS SOUPS 169691 WITH SCORE 170136.544
AT ITER 5030 NEW BEST:: SOT 1990214 SOS 445897 HAS SOPS 304202 HAS SOUS 177997 HAS SOUPS 169611 WITH SCORE 170056.897
AT ITER 5047 NEW BEST:: SOT 1990767 SOS 447300 HAS SOPS 305605 HAS SOUS 177952 HAS SOUPS 169566 WITH SCORE 170013.3
AT ITER 5275 NEW BEST:: SOT 1990778 SOS 447317 HAS SOPS 305440 HAS SOUS 177829 HAS SOUPS 169442 WITH SCORE 169889.317
AT ITER 5307 NEW BEST:: SOT 1990468 SOS 447051 HAS SOPS 304892 HAS SOUS 177505 HAS SOUPS 169118 WITH SCORE 169565.051
AT ITER 5314 NEW BEST:: SOT 1990127 SOS 446395 HAS SOPS 304043 HAS SOUS 177437 HAS SOUPS 169052 WITH SCORE 169498.395
AT ITER 5391 NEW BEST:: SOT 1990025 SOS 446311 HAS SOPS 303827 HAS SOUS 177286 HAS SOUPS 168901 WITH SCORE 169347.311
AT ITER 5396 NEW BEST:: SOT 1989784 SOS 446261 HAS SOPS 303466 HAS SOUS 176920 HAS SOUPS 168536 WITH SCORE 168982.261
AT ITER 5421 NEW BEST:: SOT 1989812 SOS 446401 HAS SOPS 303606 HAS SOUS 176836 HAS SOUPS 168452 WITH SCORE 168898.401
AT ITER 5475 NEW BEST:: SOT 1989801 SOS 446390 HAS SOPS 303595 HAS SOUS 176825 HAS SOUPS 168441 WITH SCORE 168887.39
AT ITER 5571 NEW BEST:: SOT 1989752 SOS 446333 HAS SOPS 303546 HAS SOUS 176721 HAS SOUPS 168340 WITH SCORE 168786.333
AT ITER 5660 NEW BEST:: SOT 1989587 SOS 446068 HAS SOPS 303175 HAS SOUS 176663 HAS SOUPS 168282 WITH SCORE 168728.068
AT ITER 5682 NEW BEST:: SOT 1989580 SOS 446057 HAS SOPS 303169 HAS SOUS 176652 HAS SOUPS 168276 WITH SCORE 168722.057
AT ITER 5782 NEW BEST:: SOT 1988957 SOS 446043 HAS SOPS 302058 HAS SOUS 176250 HAS SOUPS 167839 WITH SCORE 168285.043
AT ITER 5785 NEW BEST:: SOT 1988962 SOS 446128 HAS SOPS 302093 HAS SOUS 176180 HAS SOUPS 167769 WITH SCORE 168215.128
AT ITER 5841 NEW BEST:: SOT 1988829 SOS 445995 HAS SOPS 301960 HAS SOUS 176047 HAS SOUPS 167636 WITH SCORE 168081.995
AT ITER 5864 NEW BEST:: SOT 1988553 SOS 445915 HAS SOPS 301390 HAS SOUS 176052 HAS SOUPS 167618 WITH SCORE 168063.915
AT ITER 5876 NEW BEST:: SOT 1988996 SOS 446840 HAS SOPS 302315 HAS SOUS 176013 HAS SOUPS 167579 WITH SCORE 168025.84
AT ITER 5924 NEW BEST:: SOT 1988885 SOS 446739 HAS SOPS 302156 HAS SOUS 175873 HAS SOUPS 167439 WITH SCORE 167885.739
AT ITER 5948 NEW BEST:: SOT 1988993 SOS 446784 HAS SOPS 302370 HAS SOUS 175818 HAS SOUPS 167400 WITH SCORE 167846.784
AT ITER 5984 NEW BEST:: SOT 1988919 SOS 446726 HAS SOPS 302268 HAS SOUS 175743 HAS SOUPS 167325 WITH SCORE 167771.726
AT ITER 6024 NEW BEST:: SOT 1989649 SOS 448835 HAS SOPS 304062 HAS SOUS 175472 HAS SOUPS 167038 WITH SCORE 167486.835
AT ITER 6025 NEW BEST:: SOT 1989968 SOS 448938 HAS SOPS 305355 HAS SOUS 175188 HAS SOUPS 166793 WITH SCORE 167241.938
AT ITER 6036 NEW BEST:: SOT 1989885 SOS 448905 HAS SOPS 305194 HAS SOUS 175135 HAS SOUPS 166740 WITH SCORE 167188.905
AT ITER 6076 NEW BEST:: SOT 1989689 SOS 448819 HAS SOPS 305180 HAS SOUS 175082 HAS SOUPS 166694 WITH SCORE 167142.819
AT ITER 6105 NEW BEST:: SOT 1989682 SOS 448832 HAS SOPS 305175 HAS SOUS 175056 HAS SOUPS 166668 WITH SCORE 167116.832
AT ITER 6141 NEW BEST:: SOT 1989579 SOS 448703 HAS SOPS 304986 HAS SOUS 174992 HAS SOUPS 166604 WITH SCORE 167052.703
AT ITER 6310 NEW BEST:: SOT 1989066 SOS 448485 HAS SOPS 303931 HAS SOUS 174862 HAS SOUPS 166445 WITH SCORE 166893.485
AT ITER 6390 NEW BEST:: SOT 1989157 SOS 448458 HAS SOPS 303904 HAS SOUS 174805 HAS SOUPS 166388 WITH SCORE 166836.458
AT ITER 6415 NEW BEST:: SOT 1989260 SOS 448775 HAS SOPS 304221 HAS SOUS 174694 HAS SOUPS 166277 WITH SCORE 166725.775
AT ITER 6429 NEW BEST:: SOT 1989224 SOS 448951 HAS SOPS 304195 HAS SOUS 174518 HAS SOUPS 166098 WITH SCORE 166546.951
AT ITER 6478 NEW BEST:: SOT 1989221 SOS 448945 HAS SOPS 304192 HAS SOUS 174512 HAS SOUPS 166095 WITH SCORE 166543.945
AT ITER 6522 NEW BEST:: SOT 1989398 SOS 449365 HAS SOPS 304591 HAS SOUS 174509 HAS SOUPS 166089 WITH SCORE 166538.365
AT ITER 6531 NEW BEST:: SOT 1989589 SOS 449952 HAS SOPS 305088 HAS SOUS 174330 HAS SOUPS 165910 WITH SCORE 166359.952
AT ITER 6536 NEW BEST:: SOT 1989351 SOS 449740 HAS SOPS 304708 HAS SOUS 174073 HAS SOUPS 165653 WITH SCORE 166102.74
AT ITER 6539 NEW BEST:: SOT 1989323 SOS 449732 HAS SOPS 304676 HAS SOUS 174029 HAS SOUPS 165609 WITH SCORE 166058.732
AT ITER 6555 NEW BEST:: SOT 1989478 SOS 450101 HAS SOPS 305041 HAS SOUS 174012 HAS SOUPS 165590 WITH SCORE 166040.101
AT ITER 6556 NEW BEST:: SOT 1989473 SOS 450096 HAS SOPS 304764 HAS SOUS 173767 HAS SOUPS 165333 WITH SCORE 165783.096
AT ITER 6566 NEW BEST:: SOT 1989446 SOS 450095 HAS SOPS 304753 HAS SOUS 173726 HAS SOUPS 165292 WITH SCORE 165742.095
AT ITER 6586 NEW BEST:: SOT 1989141 SOS 449536 HAS SOPS 304194 HAS SOUS 173675 HAS SOUPS 165241 WITH SCORE 165690.536
AT ITER 6608 NEW BEST:: SOT 1988865 SOS 449524 HAS SOPS 303800 HAS SOUS 173015 HAS SOUPS 164574 WITH SCORE 165023.524
AT ITER 6622 NEW BEST:: SOT 1988870 SOS 449554 HAS SOPS 303835 HAS SOUS 172995 HAS SOUPS 164554 WITH SCORE 165003.554
AT ITER 6664 NEW BEST:: SOT 1989067 SOS 449586 HAS SOPS 303866 HAS SOUS 172797 HAS SOUPS 164356 WITH SCORE 164805.586
AT ITER 6670 NEW BEST:: SOT 1989022 SOS 449517 HAS SOPS 303769 HAS SOUS 172774 HAS SOUPS 164333 WITH SCORE 164782.517
AT ITER 6677 NEW BEST:: SOT 1989081 SOS 449710 HAS SOPS 303962 HAS SOUS 172699 HAS SOUPS 164258 WITH SCORE 164707.71
AT ITER 6721 NEW BEST:: SOT 1989049 SOS 449638 HAS SOPS 303878 HAS SOUS 172625 HAS SOUPS 164184 WITH SCORE 164633.638
AT ITER 6729 NEW BEST:: SOT 1989049 SOS 449637 HAS SOPS 303878 HAS SOUS 172624 HAS SOUPS 164184 WITH SCORE 164633.637
AT ITER 6774 NEW BEST:: SOT 1988957 SOS 449583 HAS SOPS 303758 HAS SOUS 172513 HAS SOUPS 164073 WITH SCORE 164522.583
AT ITER 6788 NEW BEST:: SOT 1988927 SOS 449643 HAS SOPS 303738 HAS SOUS 172398 HAS SOUPS 163958 WITH SCORE 164407.643
AT ITER 6810 NEW BEST:: SOT 1988839 SOS 449483 HAS SOPS 303526 HAS SOUS 172344 HAS SOUPS 163904 WITH SCORE 164353.483
AT ITER 6957 NEW BEST:: SOT 1988733 SOS 449391 HAS SOPS 303302 HAS SOUS 172258 HAS SOUPS 163817 WITH SCORE 164266.391
AT ITER 7032 NEW BEST:: SOT 1988590 SOS 449212 HAS SOPS 302971 HAS SOUS 172188 HAS SOUPS 163745 WITH SCORE 164194.212
AT ITER 7041 NEW BEST:: SOT 1988590 SOS 449205 HAS SOPS 302971 HAS SOUS 172181 HAS SOUPS 163745 WITH SCORE 164194.205
AT ITER 7091 NEW BEST:: SOT 1988842 SOS 449741 HAS SOPS 303555 HAS SOUS 172172 HAS SOUPS 163736 WITH SCORE 164185.741
AT ITER 7302 NEW BEST:: SOT 1988784 SOS 449590 HAS SOPS 303405 HAS SOUS 172123 HAS SOUPS 163687 WITH SCORE 164136.59
AT ITER 7308 NEW BEST:: SOT 1988603 SOS 449399 HAS SOPS 303090 HAS SOUS 171971 HAS SOUPS 163535 WITH SCORE 163984.399
AT ITER 7419 NEW BEST:: SOT 1988573 SOS 449376 HAS SOPS 303068 HAS SOUS 171948 HAS SOUPS 163513 WITH SCORE 163962.376
AT ITER 7466 NEW BEST:: SOT 1988707 SOS 449786 HAS SOPS 303478 HAS SOUS 171806 HAS SOUPS 163371 WITH SCORE 163820.786
AT ITER 7507 NEW BEST:: SOT 1988867 SOS 449810 HAS SOPS 303502 HAS SOUS 171702 HAS SOUPS 163267 WITH SCORE 163716.81
AT ITER 7562 NEW BEST:: SOT 1988746 SOS 449713 HAS SOPS 302931 HAS SOUS 171365 HAS SOUPS 162918 WITH SCORE 163367.713
AT ITER 7592 NEW BEST:: SOT 1988840 SOS 450000 HAS SOPS 303215 HAS SOUS 171266 HAS SOUPS 162819 WITH SCORE 163269.0
AT ITER 7609 NEW BEST:: SOT 1988835 SOS 449981 HAS SOPS 303210 HAS SOUS 171254 HAS SOUPS 162808 WITH SCORE 163257.981
AT ITER 7638 NEW BEST:: SOT 1988797 SOS 449960 HAS SOPS 303154 HAS SOUS 171202 HAS SOUPS 162756 WITH SCORE 163205.96
AT ITER 7658 NEW BEST:: SOT 1988774 SOS 449943 HAS SOPS 303157 HAS SOUS 171193 HAS SOUPS 162747 WITH SCORE 163196.943
AT ITER 7761 NEW BEST:: SOT 1988978 SOS 450416 HAS SOPS 303623 HAS SOUS 171149 HAS SOUPS 162702 WITH SCORE 163152.416
AT ITER 7780 NEW BEST:: SOT 1988942 SOS 450359 HAS SOPS 303587 HAS SOUS 171071 HAS SOUPS 162627 WITH SCORE 163077.359
AT ITER 7861 NEW BEST:: SOT 1988938 SOS 450360 HAS SOPS 303561 HAS SOUS 171046 HAS SOUPS 162597 WITH SCORE 163047.36
AT ITER 7968 NEW BEST:: SOT 1990179 SOS 451179 HAS SOPS 303655 HAS SOUS 171002 HAS SOUPS 162516 WITH SCORE 162967.179
AT ITER 7997 NEW BEST:: SOT 1990196 SOS 451246 HAS SOPS 303722 HAS SOUS 170969 HAS SOUPS 162483 WITH SCORE 162934.246
AT ITER 8007 NEW BEST:: SOT 1990178 SOS 451227 HAS SOPS 303704 HAS SOUS 170931 HAS SOUPS 162446 WITH SCORE 162897.227
AT ITER 8193 NEW BEST:: SOT 1990283 SOS 451356 HAS SOPS 303243 HAS SOUS 170423 HAS SOUPS 161913 WITH SCORE 162364.356
AT ITER 8205 NEW BEST:: SOT 1990089 SOS 450824 HAS SOPS 302725 HAS SOUS 170168 HAS SOUPS 161659 WITH SCORE 162109.824
AT ITER 8209 NEW BEST:: SOT 1990100 SOS 451069 HAS SOPS 302830 HAS SOUS 169958 HAS SOUPS 161449 WITH SCORE 161900.069
AT ITER 8407 NEW BEST:: SOT 1989917 SOS 450780 HAS SOPS 302447 HAS SOUS 169910 HAS SOUPS 161400 WITH SCORE 161850.78
AT ITER 8412 NEW BEST:: SOT 1989974 SOS 450937 HAS SOPS 301800 HAS SOUS 169786 HAS SOUPS 161239 WITH SCORE 161689.937
AT ITER 8486 NEW BEST:: SOT 1989957 SOS 450900 HAS SOPS 301755 HAS SOUS 169748 HAS SOUPS 161201 WITH SCORE 161651.9
AT ITER 8576 NEW BEST:: SOT 1990383 SOS 451936 HAS SOPS 302757 HAS SOUS 169627 HAS SOUPS 161077 WITH SCORE 161528.936
AT ITER 8584 NEW BEST:: SOT 1990383 SOS 451941 HAS SOPS 302781 HAS SOUS 169601 HAS SOUPS 161052 WITH SCORE 161503.941
AT ITER 8634 NEW BEST:: SOT 1990428 SOS 451921 HAS SOPS 302736 HAS SOUS 169601 HAS SOUPS 161050 WITH SCORE 161501.921
AT ITER 8656 NEW BEST:: SOT 1990431 SOS 451936 HAS SOPS 302745 HAS SOUS 169593 HAS SOUPS 161042 WITH SCORE 161493.936
AT ITER 8657 NEW BEST:: SOT 1990270 SOS 451701 HAS SOPS 302424 HAS SOUS 169529 HAS SOUPS 160978 WITH SCORE 161429.701
AT ITER 8679 NEW BEST:: SOT 1989968 SOS 451189 HAS SOPS 301710 HAS SOUS 169324 HAS SOUPS 160773 WITH SCORE 161224.189
AT ITER 8815 NEW BEST:: SOT 1990058 SOS 451380 HAS SOPS 301898 HAS SOUS 169313 HAS SOUPS 160762 WITH SCORE 161213.38
AT ITER 8843 NEW BEST:: SOT 1990142 SOS 451479 HAS SOPS 301735 HAS SOUS 169112 HAS SOUPS 160546 WITH SCORE 160997.479
AT ITER 8864 NEW BEST:: SOT 1990260 SOS 451597 HAS SOPS 301715 HAS SOUS 168990 HAS SOUPS 160412 WITH SCORE 160863.597
AT ITER 8917 NEW BEST:: SOT 1990160 SOS 451421 HAS SOPS 301447 HAS SOUS 168985 HAS SOUPS 160407 WITH SCORE 160858.421
AT ITER 8993 NEW BEST:: SOT 1990280 SOS 451816 HAS SOPS 301841 HAS SOUS 168977 HAS SOUPS 160398 WITH SCORE 160849.816
AT ITER 9094 NEW BEST:: SOT 1990192 SOS 451688 HAS SOPS 301653 HAS SOUS 168925 HAS SOUPS 160346 WITH SCORE 160797.688
AT ITER 9135 NEW BEST:: SOT 1990188 SOS 451684 HAS SOPS 301649 HAS SOUS 168921 HAS SOUPS 160342 WITH SCORE 160793.684
AT ITER 9258 NEW BEST:: SOT 1990039 SOS 451567 HAS SOPS 301569 HAS SOUS 168835 HAS SOUPS 160261 WITH SCORE 160712.567
AT ITER 9324 NEW BEST:: SOT 1990039 SOS 451548 HAS SOPS 301569 HAS SOUS 168833 HAS SOUPS 160260 WITH SCORE 160711.548
AT ITER 9377 NEW BEST:: SOT 1989999 SOS 451493 HAS SOPS 301499 HAS SOUS 168808 HAS SOUPS 160235 WITH SCORE 160686.493
AT ITER 9473 NEW BEST:: SOT 1989996 SOS 451487 HAS SOPS 301496 HAS SOUS 168802 HAS SOUPS 160232 WITH SCORE 160683.487
AT ITER 9489 NEW BEST:: SOT 1990086 SOS 451733 HAS SOPS 301742 HAS SOUS 168736 HAS SOUPS 160166 WITH SCORE 160617.733
AT ITER 9493 NEW BEST:: SOT 1989972 SOS 451675 HAS SOPS 301544 HAS SOUS 168477 HAS SOUPS 159904 WITH SCORE 160355.675
AT ITER 9514 NEW BEST:: SOT 1989972 SOS 451770 HAS SOPS 301604 HAS SOUS 168387 HAS SOUPS 159814 WITH SCORE 160265.77
AT ITER 9518 NEW BEST:: SOT 1990136 SOS 452174 HAS SOPS 301972 HAS SOUS 168353 HAS SOUPS 159778 WITH SCORE 160230.174
AT ITER 9595 NEW BEST:: SOT 1990209 SOS 452353 HAS SOPS 302151 HAS SOUS 168320 HAS SOUPS 159745 WITH SCORE 160197.353
AT ITER 9614 NEW BEST:: SOT 1990216 SOS 452386 HAS SOPS 302184 HAS SOUS 168301 HAS SOUPS 159726 WITH SCORE 160178.386
AT ITER 9675 NEW BEST:: SOT 1990182 SOS 452433 HAS SOPS 302102 HAS SOUS 168278 HAS SOUPS 159699 WITH SCORE 160151.433
AT ITER 9676 NEW BEST:: SOT 1990065 SOS 452343 HAS SOPS 301861 HAS SOUS 168269 HAS SOUPS 159682 WITH SCORE 160134.343
AT ITER 9782 NEW BEST:: SOT 1990473 SOS 453545 HAS SOPS 303097 HAS SOUS 167883 HAS SOUPS 159296 WITH SCORE 159749.545
AT ITER 9791 NEW BEST:: SOT 1990447 SOS 453535 HAS SOPS 303053 HAS SOUS 167838 HAS SOUPS 159252 WITH SCORE 159705.535
STATE_SPACE STATES 24466267459 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 244662670640 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679282088189

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 491 Killed ${SMART}/smart ${INPUT_SM}

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="TokenRing-PT-020"
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 TokenRing-PT-020, 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 r491-tall-167912710800680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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