About the Execution of Smart+red for ShieldRVs-PT-010B
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15656.556 | 3600000.00 | 3637300.00 | 890.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979200096.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979200096
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 5.7K Feb 26 18:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 18:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 18:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 18:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 18:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 122K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679379423110
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=ShieldRVs-PT-010B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:17:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:17:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:17:05] [INFO ] Load time of PNML (sax parser for PT used): 82 ms
[2023-03-21 06:17:05] [INFO ] Transformed 403 places.
[2023-03-21 06:17:05] [INFO ] Transformed 453 transitions.
[2023-03-21 06:17:05] [INFO ] Found NUPN structural information;
[2023-03-21 06:17:05] [INFO ] Parsed PT model containing 403 places and 453 transitions and 1440 arcs in 186 ms.
[2023-03-21 06:17:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 403 places, 453 transitions and 1440 arcs took 7 ms.
Total runtime 227 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010B
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: 403 places, 453 transitions, 1440 arcs.
AT ITER 0 NEW BEST:: SOT 95521 SOS 18093 HAS SOPS 18093 HAS SOUS 14765 HAS SOUPS 14765 WITH SCORE 14783.093
AT ITER 35 NEW BEST:: SOT 95521 SOS 18092 HAS SOPS 18092 HAS SOUS 14764 HAS SOUPS 14764 WITH SCORE 14782.092
AT ITER 44 NEW BEST:: SOT 95521 SOS 18064 HAS SOPS 18064 HAS SOUS 14764 HAS SOUPS 14764 WITH SCORE 14782.064
AT ITER 62 NEW BEST:: SOT 95462 SOS 18155 HAS SOPS 18155 HAS SOUS 14746 HAS SOUPS 14746 WITH SCORE 14764.155
AT ITER 68 NEW BEST:: SOT 95451 SOS 18164 HAS SOPS 18164 HAS SOUS 14739 HAS SOUPS 14739 WITH SCORE 14757.164
AT ITER 86 NEW BEST:: SOT 95424 SOS 18145 HAS SOPS 18145 HAS SOUS 14720 HAS SOUPS 14720 WITH SCORE 14738.145
AT ITER 87 NEW BEST:: SOT 95438 SOS 18148 HAS SOPS 18148 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14728.148
AT ITER 147 NEW BEST:: SOT 95448 SOS 18148 HAS SOPS 18148 HAS SOUS 14682 HAS SOUPS 14682 WITH SCORE 14700.148
AT ITER 151 NEW BEST:: SOT 95456 SOS 18140 HAS SOPS 18140 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14692.14
AT ITER 203 NEW BEST:: SOT 95437 SOS 18006 HAS SOPS 18006 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14668.006
AT ITER 292 NEW BEST:: SOT 95437 SOS 18002 HAS SOPS 18002 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14668.002
AT ITER 323 NEW BEST:: SOT 95437 SOS 18003 HAS SOPS 18003 HAS SOUS 14649 HAS SOUPS 14649 WITH SCORE 14667.003
AT ITER 347 NEW BEST:: SOT 95435 SOS 17999 HAS SOPS 17999 HAS SOUS 14649 HAS SOUPS 14649 WITH SCORE 14666.999
AT ITER 355 NEW BEST:: SOT 95457 SOS 18105 HAS SOPS 18105 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14588.105
AT ITER 360 NEW BEST:: SOT 95456 SOS 18101 HAS SOPS 18101 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14584.101
AT ITER 370 NEW BEST:: SOT 95456 SOS 18017 HAS SOPS 18017 HAS SOUS 14546 HAS SOUPS 14546 WITH SCORE 14564.017
AT ITER 379 NEW BEST:: SOT 95456 SOS 18017 HAS SOPS 18017 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14554.017
AT ITER 430 NEW BEST:: SOT 95405 SOS 17966 HAS SOPS 17966 HAS SOUS 14485 HAS SOUPS 14485 WITH SCORE 14502.966
AT ITER 438 NEW BEST:: SOT 95393 SOS 17939 HAS SOPS 17939 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14499.939
AT ITER 450 NEW BEST:: SOT 95393 SOS 17921 HAS SOPS 17921 HAS SOUS 14477 HAS SOUPS 14477 WITH SCORE 14494.921
AT ITER 453 NEW BEST:: SOT 95357 SOS 17885 HAS SOPS 17885 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14458.885
AT ITER 454 NEW BEST:: SOT 95355 SOS 17881 HAS SOPS 17881 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14446.881
AT ITER 455 NEW BEST:: SOT 95354 SOS 17877 HAS SOPS 17877 HAS SOUS 14428 HAS SOUPS 14428 WITH SCORE 14445.877
AT ITER 467 NEW BEST:: SOT 95306 SOS 17852 HAS SOPS 17852 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14399.852
AT ITER 475 NEW BEST:: SOT 95262 SOS 17808 HAS SOPS 17808 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14355.808
AT ITER 478 NEW BEST:: SOT 95262 SOS 17787 HAS SOPS 17787 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14334.787
AT ITER 482 NEW BEST:: SOT 95282 SOS 17801 HAS SOPS 17801 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14328.801
AT ITER 523 NEW BEST:: SOT 95279 SOS 17790 HAS SOPS 17790 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14317.79
AT ITER 532 NEW BEST:: SOT 95270 SOS 17781 HAS SOPS 17781 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14308.781
AT ITER 571 NEW BEST:: SOT 95270 SOS 17780 HAS SOPS 17780 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14307.78
AT ITER 576 NEW BEST:: SOT 95236 SOS 17746 HAS SOPS 17746 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14273.746
AT ITER 600 NEW BEST:: SOT 95236 SOS 17750 HAS SOPS 17750 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14271.75
AT ITER 629 NEW BEST:: SOT 95217 SOS 17628 HAS SOPS 17628 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14211.628
AT ITER 630 NEW BEST:: SOT 95180 SOS 17540 HAS SOPS 17540 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14170.54
AT ITER 650 NEW BEST:: SOT 95102 SOS 17520 HAS SOPS 17520 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14092.52
AT ITER 710 NEW BEST:: SOT 95086 SOS 17488 HAS SOPS 17488 HAS SOUS 14063 HAS SOUPS 14063 WITH SCORE 14080.488
AT ITER 716 NEW BEST:: SOT 95067 SOS 17543 HAS SOPS 17543 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14039.543
AT ITER 726 NEW BEST:: SOT 95067 SOS 17562 HAS SOPS 17562 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14020.562
AT ITER 753 NEW BEST:: SOT 95059 SOS 17603 HAS SOPS 17603 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14012.603
AT ITER 758 NEW BEST:: SOT 95059 SOS 17602 HAS SOPS 17602 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14011.602
AT ITER 774 NEW BEST:: SOT 95059 SOS 17602 HAS SOPS 17602 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14001.602
AT ITER 819 NEW BEST:: SOT 95054 SOS 17602 HAS SOPS 17602 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 13996.602
AT ITER 820 NEW BEST:: SOT 95054 SOS 17599 HAS SOPS 17599 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 13993.599
AT ITER 825 NEW BEST:: SOT 95018 SOS 17563 HAS SOPS 17563 HAS SOUS 13940 HAS SOUPS 13940 WITH SCORE 13957.563
AT ITER 910 NEW BEST:: SOT 95025 SOS 17569 HAS SOPS 17569 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13918.569
AT ITER 913 NEW BEST:: SOT 95025 SOS 17557 HAS SOPS 17557 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13915.557
AT ITER 927 NEW BEST:: SOT 95025 SOS 17549 HAS SOPS 17549 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13913.549
AT ITER 928 NEW BEST:: SOT 95025 SOS 17548 HAS SOPS 17548 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13912.548
AT ITER 935 NEW BEST:: SOT 95025 SOS 17546 HAS SOPS 17546 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13910.546
AT ITER 936 NEW BEST:: SOT 95025 SOS 17572 HAS SOPS 17572 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13908.572
AT ITER 965 NEW BEST:: SOT 95021 SOS 17567 HAS SOPS 17567 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13903.567
AT ITER 976 NEW BEST:: SOT 94969 SOS 17558 HAS SOPS 17558 HAS SOUS 13856 HAS SOUPS 13856 WITH SCORE 13873.558
AT ITER 999 NEW BEST:: SOT 94969 SOS 17555 HAS SOPS 17555 HAS SOUS 13853 HAS SOUPS 13853 WITH SCORE 13870.555
AT ITER 1010 NEW BEST:: SOT 94966 SOS 17546 HAS SOPS 17546 HAS SOUS 13850 HAS SOUPS 13850 WITH SCORE 13867.546
AT ITER 1073 NEW BEST:: SOT 94966 SOS 17546 HAS SOPS 17546 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13856.546
AT ITER 1155 NEW BEST:: SOT 94945 SOS 17546 HAS SOPS 17546 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13826.546
AT ITER 1157 NEW BEST:: SOT 94953 SOS 17506 HAS SOPS 17506 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13822.506
AT ITER 1165 NEW BEST:: SOT 94931 SOS 17476 HAS SOPS 17476 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13792.476
AT ITER 1181 NEW BEST:: SOT 94918 SOS 17424 HAS SOPS 17424 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13766.424
AT ITER 1224 NEW BEST:: SOT 94916 SOS 17422 HAS SOPS 17422 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13764.422
AT ITER 1252 NEW BEST:: SOT 94892 SOS 17146 HAS SOPS 17146 HAS SOUS 13665 HAS SOUPS 13665 WITH SCORE 13682.146
AT ITER 1274 NEW BEST:: SOT 94892 SOS 17117 HAS SOPS 17117 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13681.117
AT ITER 1286 NEW BEST:: SOT 94891 SOS 17111 HAS SOPS 17111 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13678.111
AT ITER 1295 NEW BEST:: SOT 94903 SOS 17107 HAS SOPS 17107 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13674.107
AT ITER 1297 NEW BEST:: SOT 94883 SOS 17025 HAS SOPS 17025 HAS SOUS 13616 HAS SOUPS 13616 WITH SCORE 13633.025
AT ITER 1310 NEW BEST:: SOT 94878 SOS 17020 HAS SOPS 17020 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13628.02
AT ITER 1393 NEW BEST:: SOT 94877 SOS 16901 HAS SOPS 16901 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13588.901
AT ITER 1397 NEW BEST:: SOT 94867 SOS 16841 HAS SOPS 16841 HAS SOUS 13494 HAS SOUPS 13494 WITH SCORE 13510.841
AT ITER 1411 NEW BEST:: SOT 94876 SOS 16850 HAS SOPS 16850 HAS SOUS 13489 HAS SOUPS 13489 WITH SCORE 13505.85
AT ITER 1446 NEW BEST:: SOT 94835 SOS 16873 HAS SOPS 16873 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13465.873
AT ITER 1483 NEW BEST:: SOT 94823 SOS 16849 HAS SOPS 16849 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13441.849
AT ITER 1486 NEW BEST:: SOT 94819 SOS 16841 HAS SOPS 16841 HAS SOUS 13421 HAS SOUPS 13421 WITH SCORE 13437.841
AT ITER 1520 NEW BEST:: SOT 94811 SOS 16837 HAS SOPS 16837 HAS SOUS 13418 HAS SOUPS 13418 WITH SCORE 13434.837
AT ITER 1521 NEW BEST:: SOT 94786 SOS 16737 HAS SOPS 16737 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13398.737
AT ITER 1531 NEW BEST:: SOT 94774 SOS 16725 HAS SOPS 16725 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13386.725
AT ITER 1552 NEW BEST:: SOT 94779 SOS 16699 HAS SOPS 16699 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13360.699
AT ITER 1556 NEW BEST:: SOT 94775 SOS 16695 HAS SOPS 16695 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13356.695
AT ITER 1589 NEW BEST:: SOT 94768 SOS 16694 HAS SOPS 16694 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13355.694
AT ITER 1681 NEW BEST:: SOT 94767 SOS 16669 HAS SOPS 16669 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13342.669
AT ITER 1696 NEW BEST:: SOT 94762 SOS 16658 HAS SOPS 16658 HAS SOUS 13321 HAS SOUPS 13321 WITH SCORE 13337.658
AT ITER 1702 NEW BEST:: SOT 94762 SOS 16657 HAS SOPS 16657 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13336.657
AT ITER 1745 NEW BEST:: SOT 94752 SOS 16583 HAS SOPS 16583 HAS SOUS 13293 HAS SOUPS 13293 WITH SCORE 13309.583
AT ITER 1749 NEW BEST:: SOT 94752 SOS 16544 HAS SOPS 16544 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13296.544
AT ITER 1766 NEW BEST:: SOT 94745 SOS 16523 HAS SOPS 16523 HAS SOUS 13266 HAS SOUPS 13266 WITH SCORE 13282.523
AT ITER 1814 NEW BEST:: SOT 94736 SOS 16498 HAS SOPS 16498 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13273.498
AT ITER 1882 NEW BEST:: SOT 94736 SOS 16497 HAS SOPS 16497 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13272.497
AT ITER 1886 NEW BEST:: SOT 94736 SOS 16491 HAS SOPS 16491 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13272.491
AT ITER 1890 NEW BEST:: SOT 94705 SOS 16514 HAS SOPS 16514 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13235.514
AT ITER 1931 NEW BEST:: SOT 94651 SOS 16496 HAS SOPS 16496 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13198.496
AT ITER 2008 NEW BEST:: SOT 94652 SOS 16503 HAS SOPS 16503 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13197.503
AT ITER 2017 NEW BEST:: SOT 94652 SOS 16494 HAS SOPS 16494 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13197.494
AT ITER 2039 NEW BEST:: SOT 94641 SOS 16429 HAS SOPS 16429 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13182.429
AT ITER 2103 NEW BEST:: SOT 94611 SOS 16428 HAS SOPS 16428 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13181.428
AT ITER 2108 NEW BEST:: SOT 94610 SOS 16426 HAS SOPS 16426 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13179.426
AT ITER 2132 NEW BEST:: SOT 94608 SOS 16420 HAS SOPS 16420 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13173.42
AT ITER 2199 NEW BEST:: SOT 94585 SOS 16416 HAS SOPS 16416 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13172.416
AT ITER 2244 NEW BEST:: SOT 94550 SOS 16415 HAS SOPS 16415 HAS SOUS 13155 HAS SOUPS 13155 WITH SCORE 13171.415
AT ITER 2267 NEW BEST:: SOT 94548 SOS 16413 HAS SOPS 16413 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13141.413
AT ITER 2346 NEW BEST:: SOT 94552 SOS 16399 HAS SOPS 16399 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13137.399
AT ITER 2350 NEW BEST:: SOT 94552 SOS 16398 HAS SOPS 16398 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13136.398
AT ITER 2354 NEW BEST:: SOT 94548 SOS 16390 HAS SOPS 16390 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13128.39
AT ITER 2358 NEW BEST:: SOT 94537 SOS 16346 HAS SOPS 16346 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13095.346
AT ITER 2387 NEW BEST:: SOT 94544 SOS 16340 HAS SOPS 16340 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13089.34
AT ITER 2446 NEW BEST:: SOT 94522 SOS 16298 HAS SOPS 16298 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13068.298
AT ITER 2546 NEW BEST:: SOT 94513 SOS 16289 HAS SOPS 16289 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13055.289
AT ITER 2617 NEW BEST:: SOT 94512 SOS 16285 HAS SOPS 16285 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13053.285
AT ITER 2619 NEW BEST:: SOT 94498 SOS 16271 HAS SOPS 16271 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13039.271
AT ITER 2631 NEW BEST:: SOT 94498 SOS 16261 HAS SOPS 16261 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13029.261
AT ITER 2647 NEW BEST:: SOT 94488 SOS 16259 HAS SOPS 16259 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13023.259
AT ITER 2685 NEW BEST:: SOT 94442 SOS 16213 HAS SOPS 16213 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12966.213
AT ITER 2750 NEW BEST:: SOT 94361 SOS 15998 HAS SOPS 15998 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12884.998
AT ITER 2821 NEW BEST:: SOT 94360 SOS 15995 HAS SOPS 15995 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12884.995
AT ITER 2876 NEW BEST:: SOT 94360 SOS 15982 HAS SOPS 15982 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12884.982
AT ITER 2883 NEW BEST:: SOT 94331 SOS 15924 HAS SOPS 15924 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12826.924
AT ITER 2895 NEW BEST:: SOT 94328 SOS 15897 HAS SOPS 15897 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12823.897
AT ITER 2898 NEW BEST:: SOT 94328 SOS 15894 HAS SOPS 15894 HAS SOUS 12805 HAS SOUPS 12805 WITH SCORE 12820.894
AT ITER 2920 NEW BEST:: SOT 94326 SOS 15866 HAS SOPS 15866 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12794.866
AT ITER 2922 NEW BEST:: SOT 94321 SOS 15840 HAS SOPS 15840 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12768.84
AT ITER 2948 NEW BEST:: SOT 94291 SOS 15828 HAS SOPS 15828 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12756.828
AT ITER 2955 NEW BEST:: SOT 94270 SOS 15810 HAS SOPS 15810 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12730.81
AT ITER 2972 NEW BEST:: SOT 94261 SOS 15802 HAS SOPS 15802 HAS SOUS 12693 HAS SOUPS 12693 WITH SCORE 12708.802
AT ITER 3009 NEW BEST:: SOT 94220 SOS 15617 HAS SOPS 15617 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12634.617
AT ITER 3043 NEW BEST:: SOT 94208 SOS 15615 HAS SOPS 15615 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12620.615
AT ITER 3053 NEW BEST:: SOT 94208 SOS 15613 HAS SOPS 15613 HAS SOUS 12603 HAS SOUPS 12603 WITH SCORE 12618.613
AT ITER 3152 NEW BEST:: SOT 94196 SOS 15589 HAS SOPS 15589 HAS SOUS 12588 HAS SOUPS 12588 WITH SCORE 12603.589
AT ITER 3174 NEW BEST:: SOT 94196 SOS 15588 HAS SOPS 15588 HAS SOUS 12587 HAS SOUPS 12587 WITH SCORE 12602.588
AT ITER 3284 NEW BEST:: SOT 94196 SOS 15586 HAS SOPS 15586 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12600.586
AT ITER 3345 NEW BEST:: SOT 94198 SOS 15379 HAS SOPS 15379 HAS SOUS 12574 HAS SOUPS 12574 WITH SCORE 12589.379
AT ITER 3360 NEW BEST:: SOT 94194 SOS 15370 HAS SOPS 15370 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12585.37
AT ITER 3407 NEW BEST:: SOT 94193 SOS 15368 HAS SOPS 15368 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12582.368
AT ITER 3425 NEW BEST:: SOT 94188 SOS 15354 HAS SOPS 15354 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12576.354
AT ITER 3456 NEW BEST:: SOT 94178 SOS 15354 HAS SOPS 15354 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12556.354
AT ITER 3535 NEW BEST:: SOT 94175 SOS 15345 HAS SOPS 15345 HAS SOUS 12537 HAS SOUPS 12537 WITH SCORE 12552.345
AT ITER 3608 NEW BEST:: SOT 94175 SOS 15342 HAS SOPS 15342 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12547.342
AT ITER 3674 NEW BEST:: SOT 94171 SOS 15334 HAS SOPS 15334 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12539.334
AT ITER 3731 NEW BEST:: SOT 94171 SOS 15329 HAS SOPS 15329 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12539.329
AT ITER 3772 NEW BEST:: SOT 94159 SOS 15326 HAS SOPS 15326 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12536.326
AT ITER 3803 NEW BEST:: SOT 94159 SOS 15326 HAS SOPS 15326 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12534.326
AT ITER 3807 NEW BEST:: SOT 94159 SOS 15324 HAS SOPS 15324 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12532.324
AT ITER 3832 NEW BEST:: SOT 94143 SOS 15292 HAS SOPS 15292 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12509.292
AT ITER 3959 NEW BEST:: SOT 94122 SOS 15276 HAS SOPS 15276 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12486.276
AT ITER 3977 NEW BEST:: SOT 94114 SOS 15260 HAS SOPS 15260 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12478.26
AT ITER 4110 NEW BEST:: SOT 94114 SOS 15247 HAS SOPS 15247 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12465.247
AT ITER 4161 NEW BEST:: SOT 94114 SOS 15241 HAS SOPS 15241 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12451.241
AT ITER 4335 NEW BEST:: SOT 94107 SOS 15233 HAS SOPS 15233 HAS SOUS 12428 HAS SOUPS 12428 WITH SCORE 12443.233
AT ITER 4345 NEW BEST:: SOT 94105 SOS 15231 HAS SOPS 15231 HAS SOUS 12426 HAS SOUPS 12426 WITH SCORE 12441.231
AT ITER 4374 NEW BEST:: SOT 94100 SOS 15221 HAS SOPS 15221 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12436.221
AT ITER 4432 NEW BEST:: SOT 94095 SOS 15216 HAS SOPS 15216 HAS SOUS 12416 HAS SOUPS 12416 WITH SCORE 12431.216
AT ITER 4475 NEW BEST:: SOT 94068 SOS 15189 HAS SOPS 15189 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12404.189
AT ITER 4487 NEW BEST:: SOT 94069 SOS 15182 HAS SOPS 15182 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12404.182
AT ITER 4568 NEW BEST:: SOT 94069 SOS 15181 HAS SOPS 15181 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12403.181
AT ITER 4570 NEW BEST:: SOT 94069 SOS 15185 HAS SOPS 15185 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12401.185
AT ITER 4599 NEW BEST:: SOT 94054 SOS 15165 HAS SOPS 15165 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12386.165
AT ITER 4668 NEW BEST:: SOT 94047 SOS 15156 HAS SOPS 15156 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12377.156
AT ITER 4683 NEW BEST:: SOT 94042 SOS 15149 HAS SOPS 15149 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12372.149
AT ITER 4696 NEW BEST:: SOT 94034 SOS 15169 HAS SOPS 15169 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12364.169
AT ITER 4719 NEW BEST:: SOT 94030 SOS 15165 HAS SOPS 15165 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12360.165
AT ITER 4752 NEW BEST:: SOT 94028 SOS 15215 HAS SOPS 15215 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12358.215
AT ITER 4839 NEW BEST:: SOT 94033 SOS 15237 HAS SOPS 15237 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12331.237
AT ITER 4877 NEW BEST:: SOT 94033 SOS 15236 HAS SOPS 15236 HAS SOUS 12315 HAS SOUPS 12315 WITH SCORE 12330.236
AT ITER 4905 NEW BEST:: SOT 94031 SOS 15225 HAS SOPS 15225 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12323.225
AT ITER 5008 NEW BEST:: SOT 94030 SOS 15224 HAS SOPS 15224 HAS SOUS 12307 HAS SOUPS 12307 WITH SCORE 12322.224
AT ITER 5009 NEW BEST:: SOT 94025 SOS 15224 HAS SOPS 15224 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12317.224
AT ITER 5030 NEW BEST:: SOT 94019 SOS 15182 HAS SOPS 15182 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12311.182
AT ITER 5083 NEW BEST:: SOT 94005 SOS 15196 HAS SOPS 15196 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12304.196
AT ITER 5112 NEW BEST:: SOT 94000 SOS 15186 HAS SOPS 15186 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12294.186
AT ITER 5128 NEW BEST:: SOT 94014 SOS 15200 HAS SOPS 15200 HAS SOUS 12258 HAS SOUPS 12258 WITH SCORE 12273.2
AT ITER 5149 NEW BEST:: SOT 94011 SOS 15203 HAS SOPS 15203 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12272.203
AT ITER 5167 NEW BEST:: SOT 93993 SOS 15203 HAS SOPS 15203 HAS SOUS 12239 HAS SOUPS 12239 WITH SCORE 12254.203
AT ITER 5264 NEW BEST:: SOT 93993 SOS 15201 HAS SOPS 15201 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12252.201
AT ITER 5305 NEW BEST:: SOT 93991 SOS 15187 HAS SOPS 15187 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12248.187
AT ITER 5392 NEW BEST:: SOT 93952 SOS 15159 HAS SOPS 15159 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12200.159
AT ITER 5404 NEW BEST:: SOT 93943 SOS 15137 HAS SOPS 15137 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12186.137
AT ITER 5538 NEW BEST:: SOT 93939 SOS 15121 HAS SOPS 15121 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12174.121
AT ITER 5749 NEW BEST:: SOT 93927 SOS 15109 HAS SOPS 15109 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12162.109
AT ITER 5798 NEW BEST:: SOT 93923 SOS 15100 HAS SOPS 15100 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12151.1
AT ITER 5811 NEW BEST:: SOT 93918 SOS 15100 HAS SOPS 15100 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12148.1
AT ITER 5819 NEW BEST:: SOT 93918 SOS 15101 HAS SOPS 15101 HAS SOUS 12132 HAS SOUPS 12132 WITH SCORE 12147.101
AT ITER 5866 NEW BEST:: SOT 93879 SOS 15062 HAS SOPS 15062 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12108.062
AT ITER 5870 NEW BEST:: SOT 93868 SOS 15032 HAS SOPS 15032 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12101.032
AT ITER 5976 NEW BEST:: SOT 93882 SOS 15011 HAS SOPS 15011 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12101.011
AT ITER 6017 NEW BEST:: SOT 93821 SOS 15045 HAS SOPS 15045 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12077.045
AT ITER 6028 NEW BEST:: SOT 93807 SOS 15011 HAS SOPS 15011 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12058.011
AT ITER 6053 NEW BEST:: SOT 93800 SOS 14991 HAS SOPS 14991 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12052.991
AT ITER 6054 NEW BEST:: SOT 93797 SOS 14984 HAS SOPS 14984 HAS SOUS 12035 HAS SOUPS 12035 WITH SCORE 12049.984
AT ITER 6133 NEW BEST:: SOT 93796 SOS 14983 HAS SOPS 14983 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12048.983
AT ITER 6190 NEW BEST:: SOT 93798 SOS 14987 HAS SOPS 14987 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12041.987
AT ITER 6311 NEW BEST:: SOT 93786 SOS 14963 HAS SOPS 14963 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12017.963
AT ITER 6318 NEW BEST:: SOT 93768 SOS 14945 HAS SOPS 14945 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 11999.945
AT ITER 6327 NEW BEST:: SOT 93758 SOS 14935 HAS SOPS 14935 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 11989.935
AT ITER 6487 NEW BEST:: SOT 93749 SOS 14927 HAS SOPS 14927 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11981.927
AT ITER 6525 NEW BEST:: SOT 93745 SOS 14919 HAS SOPS 14919 HAS SOUS 11959 HAS SOUPS 11959 WITH SCORE 11973.919
AT ITER 6593 NEW BEST:: SOT 93736 SOS 14887 HAS SOPS 14887 HAS SOUS 11932 HAS SOUPS 11932 WITH SCORE 11946.887
AT ITER 6700 NEW BEST:: SOT 93736 SOS 14866 HAS SOPS 14866 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11925.866
AT ITER 6793 NEW BEST:: SOT 93705 SOS 14884 HAS SOPS 14884 HAS SOUS 11828 HAS SOUPS 11828 WITH SCORE 11842.884
AT ITER 6839 NEW BEST:: SOT 93708 SOS 14859 HAS SOPS 14859 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11817.859
AT ITER 6891 NEW BEST:: SOT 93694 SOS 14785 HAS SOPS 14785 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11789.785
AT ITER 6960 NEW BEST:: SOT 93694 SOS 14773 HAS SOPS 14773 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11785.773
AT ITER 6999 NEW BEST:: SOT 93689 SOS 14768 HAS SOPS 14768 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11785.768
AT ITER 7009 NEW BEST:: SOT 93669 SOS 14774 HAS SOPS 14774 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11772.774
AT ITER 7115 NEW BEST:: SOT 93647 SOS 14619 HAS SOPS 14619 HAS SOUS 11695 HAS SOUPS 11695 WITH SCORE 11709.619
AT ITER 7121 NEW BEST:: SOT 93643 SOS 14611 HAS SOPS 14611 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11704.611
AT ITER 7170 NEW BEST:: SOT 93621 SOS 14583 HAS SOPS 14583 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11660.583
AT ITER 7174 NEW BEST:: SOT 93619 SOS 14581 HAS SOPS 14581 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11658.581
AT ITER 7209 NEW BEST:: SOT 93619 SOS 14577 HAS SOPS 14577 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11657.577
AT ITER 7212 NEW BEST:: SOT 93619 SOS 14576 HAS SOPS 14576 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11656.576
AT ITER 7345 NEW BEST:: SOT 93605 SOS 14562 HAS SOPS 14562 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11642.562
AT ITER 7377 NEW BEST:: SOT 93599 SOS 14550 HAS SOPS 14550 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11636.55
AT ITER 7408 NEW BEST:: SOT 93599 SOS 14548 HAS SOPS 14548 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11634.548
AT ITER 7509 NEW BEST:: SOT 93598 SOS 14547 HAS SOPS 14547 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11634.547
AT ITER 7598 NEW BEST:: SOT 93597 SOS 14543 HAS SOPS 14543 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11633.543
AT ITER 7653 NEW BEST:: SOT 93601 SOS 14556 HAS SOPS 14556 HAS SOUS 11618 HAS SOUPS 11618 WITH SCORE 11632.556
AT ITER 7713 NEW BEST:: SOT 93601 SOS 14552 HAS SOPS 14552 HAS SOUS 11617 HAS SOUPS 11617 WITH SCORE 11631.552
AT ITER 7804 NEW BEST:: SOT 93600 SOS 14551 HAS SOPS 14551 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11630.551
AT ITER 7848 NEW BEST:: SOT 93588 SOS 14539 HAS SOPS 14539 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11618.539
AT ITER 7923 NEW BEST:: SOT 93584 SOS 14515 HAS SOPS 14515 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11606.515
AT ITER 7940 NEW BEST:: SOT 93578 SOS 14507 HAS SOPS 14507 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11596.507
AT ITER 8055 NEW BEST:: SOT 93570 SOS 14499 HAS SOPS 14499 HAS SOUS 11574 HAS SOUPS 11574 WITH SCORE 11588.499
AT ITER 8077 NEW BEST:: SOT 93564 SOS 14493 HAS SOPS 14493 HAS SOUS 11568 HAS SOUPS 11568 WITH SCORE 11582.493
AT ITER 8189 NEW BEST:: SOT 93563 SOS 14491 HAS SOPS 14491 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11580.491
AT ITER 8236 NEW BEST:: SOT 93562 SOS 14517 HAS SOPS 14517 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11577.517
AT ITER 8309 NEW BEST:: SOT 93552 SOS 14522 HAS SOPS 14522 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11571.522
AT ITER 8406 NEW BEST:: SOT 93552 SOS 14516 HAS SOPS 14516 HAS SOUS 11551 HAS SOUPS 11551 WITH SCORE 11565.516
AT ITER 8617 NEW BEST:: SOT 93540 SOS 14495 HAS SOPS 14495 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11553.495
AT ITER 8741 NEW BEST:: SOT 93538 SOS 14491 HAS SOPS 14491 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11550.491
AT ITER 8808 NEW BEST:: SOT 93539 SOS 14489 HAS SOPS 14489 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11550.489
AT ITER 8865 NEW BEST:: SOT 93538 SOS 14496 HAS SOPS 14496 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11530.496
AT ITER 8876 NEW BEST:: SOT 93484 SOS 14330 HAS SOPS 14330 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11448.33
AT ITER 8886 NEW BEST:: SOT 93477 SOS 14290 HAS SOPS 14290 HAS SOUS 11414 HAS SOUPS 11414 WITH SCORE 11428.29
AT ITER 8907 NEW BEST:: SOT 93473 SOS 14260 HAS SOPS 14260 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11425.26
AT ITER 8919 NEW BEST:: SOT 93475 SOS 14252 HAS SOPS 14252 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11405.252
AT ITER 9009 NEW BEST:: SOT 93464 SOS 14249 HAS SOPS 14249 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11402.249
AT ITER 9075 NEW BEST:: SOT 93462 SOS 14245 HAS SOPS 14245 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11400.245
AT ITER 9090 NEW BEST:: SOT 93460 SOS 14236 HAS SOPS 14236 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11396.236
AT ITER 9140 NEW BEST:: SOT 93459 SOS 14234 HAS SOPS 14234 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11395.234
AT ITER 9325 NEW BEST:: SOT 93459 SOS 14232 HAS SOPS 14232 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11394.232
AT ITER 9397 NEW BEST:: SOT 93461 SOS 14211 HAS SOPS 14211 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11375.211
AT ITER 9416 NEW BEST:: SOT 93456 SOS 14269 HAS SOPS 14269 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11351.269
AT ITER 9562 NEW BEST:: SOT 93449 SOS 14263 HAS SOPS 14263 HAS SOUS 11331 HAS SOUPS 11331 WITH SCORE 11345.263
AT ITER 9618 NEW BEST:: SOT 93449 SOS 14271 HAS SOPS 14271 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11336.271
AT ITER 9626 NEW BEST:: SOT 93447 SOS 14213 HAS SOPS 14213 HAS SOUS 11292 HAS SOUPS 11292 WITH SCORE 11306.213
AT ITER 9643 NEW BEST:: SOT 93447 SOS 14213 HAS SOPS 14213 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11301.213
AT ITER 9699 NEW BEST:: SOT 93447 SOS 14211 HAS SOPS 14211 HAS SOUS 11285 HAS SOUPS 11285 WITH SCORE 11299.211
AT ITER 9868 NEW BEST:: SOT 93438 SOS 14199 HAS SOPS 14199 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11287.199
AT ITER 9940 NEW BEST:: SOT 93417 SOS 14178 HAS SOPS 14178 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11266.178
AT ITER 9986 NEW BEST:: SOT 93401 SOS 14142 HAS SOPS 14142 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11245.142
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 510904 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16121260 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="ShieldRVs-PT-010B"
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 ShieldRVs-PT-010B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979200096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-010B.tgz
mv ShieldRVs-PT-010B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;