About the Execution of Smart+red for Echo-PT-d04r03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11662.844 | 3600000.00 | 3629593.00 | 10359.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858100112.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 Echo-PT-d04r03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858100112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 14:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 14:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 530K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679426641853
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=Echo-PT-d04r03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 19:24:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 19:24:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 19:24:03] [INFO ] Load time of PNML (sax parser for PT used): 108 ms
[2023-03-21 19:24:03] [INFO ] Transformed 1019 places.
[2023-03-21 19:24:03] [INFO ] Transformed 850 transitions.
[2023-03-21 19:24:03] [INFO ] Found NUPN structural information;
[2023-03-21 19:24:03] [INFO ] Parsed PT model containing 1019 places and 850 transitions and 6340 arcs in 180 ms.
[2023-03-21 19:24:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1019 places, 850 transitions and 6340 arcs took 15 ms.
Total runtime 221 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d04r03
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: 1019 places, 850 transitions, 6340 arcs.
AT ITER 0 NEW BEST:: SOT 577146 SOS 283364 HAS SOPS 283364 HAS SOUS 225026 HAS SOUPS 225026 WITH SCORE 225309.364
AT ITER 2 NEW BEST:: SOT 577146 SOS 283364 HAS SOPS 283364 HAS SOUS 224988 HAS SOUPS 224988 WITH SCORE 225271.364
AT ITER 42 NEW BEST:: SOT 577089 SOS 283408 HAS SOPS 283408 HAS SOUS 224958 HAS SOUPS 224958 WITH SCORE 225241.408
AT ITER 56 NEW BEST:: SOT 576584 SOS 283679 HAS SOPS 283679 HAS SOUS 224601 HAS SOUPS 224601 WITH SCORE 224884.679
AT ITER 68 NEW BEST:: SOT 576584 SOS 283679 HAS SOPS 283679 HAS SOUS 224525 HAS SOUPS 224525 WITH SCORE 224808.679
AT ITER 69 NEW BEST:: SOT 576472 SOS 283821 HAS SOPS 283821 HAS SOUS 224464 HAS SOUPS 224464 WITH SCORE 224747.821
AT ITER 93 NEW BEST:: SOT 576298 SOS 283675 HAS SOPS 283675 HAS SOUS 224318 HAS SOUPS 224318 WITH SCORE 224601.675
AT ITER 114 NEW BEST:: SOT 576298 SOS 283675 HAS SOPS 283675 HAS SOUS 224316 HAS SOUPS 224316 WITH SCORE 224599.675
AT ITER 115 NEW BEST:: SOT 576289 SOS 283814 HAS SOPS 283814 HAS SOUS 224307 HAS SOUPS 224307 WITH SCORE 224590.814
AT ITER 128 NEW BEST:: SOT 576205 SOS 283730 HAS SOPS 283730 HAS SOUS 224223 HAS SOUPS 224223 WITH SCORE 224506.73
AT ITER 171 NEW BEST:: SOT 576205 SOS 283730 HAS SOPS 283730 HAS SOUS 224217 HAS SOUPS 224217 WITH SCORE 224500.73
AT ITER 252 NEW BEST:: SOT 576145 SOS 283833 HAS SOPS 283833 HAS SOUS 224162 HAS SOUPS 224162 WITH SCORE 224445.833
AT ITER 312 NEW BEST:: SOT 576145 SOS 283850 HAS SOPS 283850 HAS SOUS 224160 HAS SOUPS 224160 WITH SCORE 224443.85
AT ITER 341 NEW BEST:: SOT 576145 SOS 283850 HAS SOPS 283850 HAS SOUS 224154 HAS SOUPS 224154 WITH SCORE 224437.85
AT ITER 345 NEW BEST:: SOT 575581 SOS 284210 HAS SOPS 284210 HAS SOUS 223791 HAS SOUPS 223791 WITH SCORE 224075.21
AT ITER 401 NEW BEST:: SOT 575581 SOS 284210 HAS SOPS 284210 HAS SOUS 223789 HAS SOUPS 223789 WITH SCORE 224073.21
AT ITER 414 NEW BEST:: SOT 575581 SOS 284210 HAS SOPS 284210 HAS SOUS 223787 HAS SOUPS 223787 WITH SCORE 224071.21
AT ITER 460 NEW BEST:: SOT 575581 SOS 284210 HAS SOPS 284210 HAS SOUS 223779 HAS SOUPS 223779 WITH SCORE 224063.21
AT ITER 515 NEW BEST:: SOT 575581 SOS 284318 HAS SOPS 284318 HAS SOUS 223754 HAS SOUPS 223754 WITH SCORE 224038.318
AT ITER 552 NEW BEST:: SOT 575540 SOS 284307 HAS SOPS 284307 HAS SOUS 223703 HAS SOUPS 223703 WITH SCORE 223987.307
AT ITER 559 NEW BEST:: SOT 575561 SOS 284506 HAS SOPS 284506 HAS SOUS 223569 HAS SOUPS 223569 WITH SCORE 223853.506
AT ITER 607 NEW BEST:: SOT 575561 SOS 284506 HAS SOPS 284506 HAS SOUS 223561 HAS SOUPS 223561 WITH SCORE 223845.506
AT ITER 615 NEW BEST:: SOT 575497 SOS 284697 HAS SOPS 284697 HAS SOUS 223544 HAS SOUPS 223544 WITH SCORE 223828.697
AT ITER 655 NEW BEST:: SOT 575497 SOS 284697 HAS SOPS 284697 HAS SOUS 223512 HAS SOUPS 223512 WITH SCORE 223796.697
AT ITER 703 NEW BEST:: SOT 575497 SOS 284741 HAS SOPS 284741 HAS SOUS 223496 HAS SOUPS 223496 WITH SCORE 223780.741
AT ITER 742 NEW BEST:: SOT 574830 SOS 285569 HAS SOPS 285569 HAS SOUS 223276 HAS SOUPS 223276 WITH SCORE 223561.569
AT ITER 748 NEW BEST:: SOT 574545 SOS 285900 HAS SOPS 285900 HAS SOUS 222737 HAS SOUPS 222737 WITH SCORE 223022.9
AT ITER 751 NEW BEST:: SOT 574519 SOS 285874 HAS SOPS 285874 HAS SOUS 222671 HAS SOUPS 222671 WITH SCORE 222956.874
AT ITER 798 NEW BEST:: SOT 574509 SOS 285864 HAS SOPS 285864 HAS SOUS 222661 HAS SOUPS 222661 WITH SCORE 222946.864
AT ITER 805 NEW BEST:: SOT 574509 SOS 285864 HAS SOPS 285864 HAS SOUS 222623 HAS SOUPS 222623 WITH SCORE 222908.864
AT ITER 815 NEW BEST:: SOT 574493 SOS 285848 HAS SOPS 285848 HAS SOUS 222607 HAS SOUPS 222607 WITH SCORE 222892.848
AT ITER 839 NEW BEST:: SOT 574493 SOS 285848 HAS SOPS 285848 HAS SOUS 222603 HAS SOUPS 222603 WITH SCORE 222888.848
AT ITER 854 NEW BEST:: SOT 574619 SOS 285974 HAS SOPS 285974 HAS SOUS 222587 HAS SOUPS 222587 WITH SCORE 222872.974
AT ITER 1034 NEW BEST:: SOT 574503 SOS 286285 HAS SOPS 286285 HAS SOUS 222576 HAS SOUPS 222576 WITH SCORE 222862.285
AT ITER 1090 NEW BEST:: SOT 574467 SOS 286318 HAS SOPS 286318 HAS SOUS 222545 HAS SOUPS 222545 WITH SCORE 222831.318
AT ITER 1107 NEW BEST:: SOT 574467 SOS 286318 HAS SOPS 286318 HAS SOUS 222543 HAS SOUPS 222543 WITH SCORE 222829.318
AT ITER 1233 NEW BEST:: SOT 574467 SOS 286318 HAS SOPS 286318 HAS SOUS 222455 HAS SOUPS 222455 WITH SCORE 222741.318
AT ITER 1249 NEW BEST:: SOT 574451 SOS 286302 HAS SOPS 286302 HAS SOUS 222431 HAS SOUPS 222431 WITH SCORE 222717.302
AT ITER 1292 NEW BEST:: SOT 574421 SOS 286251 HAS SOPS 286251 HAS SOUS 222401 HAS SOUPS 222401 WITH SCORE 222687.251
AT ITER 1323 NEW BEST:: SOT 574421 SOS 286251 HAS SOPS 286251 HAS SOUS 222395 HAS SOUPS 222395 WITH SCORE 222681.251
AT ITER 1358 NEW BEST:: SOT 574417 SOS 286268 HAS SOPS 286268 HAS SOUS 222394 HAS SOUPS 222394 WITH SCORE 222680.268
AT ITER 1366 NEW BEST:: SOT 574417 SOS 286268 HAS SOPS 286268 HAS SOUS 222386 HAS SOUPS 222386 WITH SCORE 222672.268
AT ITER 1430 NEW BEST:: SOT 574223 SOS 286915 HAS SOPS 286915 HAS SOUS 222344 HAS SOUPS 222344 WITH SCORE 222630.915
AT ITER 1488 NEW BEST:: SOT 573641 SOS 287397 HAS SOPS 287397 HAS SOUS 222056 HAS SOUPS 222056 WITH SCORE 222343.397
AT ITER 1494 NEW BEST:: SOT 573641 SOS 287397 HAS SOPS 287397 HAS SOUS 222052 HAS SOUPS 222052 WITH SCORE 222339.397
AT ITER 1529 NEW BEST:: SOT 573201 SOS 287688 HAS SOPS 287688 HAS SOUS 221735 HAS SOUPS 221735 WITH SCORE 222022.688
AT ITER 1549 NEW BEST:: SOT 573201 SOS 287778 HAS SOPS 287778 HAS SOUS 221720 HAS SOUPS 221720 WITH SCORE 222007.778
AT ITER 1575 NEW BEST:: SOT 573201 SOS 287778 HAS SOPS 287778 HAS SOUS 221712 HAS SOUPS 221712 WITH SCORE 221999.778
AT ITER 1643 NEW BEST:: SOT 573201 SOS 287778 HAS SOPS 287778 HAS SOUS 221530 HAS SOUPS 221530 WITH SCORE 221817.778
AT ITER 1711 NEW BEST:: SOT 573103 SOS 287766 HAS SOPS 287766 HAS SOUS 221454 HAS SOUPS 221454 WITH SCORE 221741.766
AT ITER 1753 NEW BEST:: SOT 573103 SOS 287765 HAS SOPS 287765 HAS SOUS 221453 HAS SOUPS 221453 WITH SCORE 221740.765
AT ITER 1802 NEW BEST:: SOT 573103 SOS 287765 HAS SOPS 287765 HAS SOUS 221427 HAS SOUPS 221427 WITH SCORE 221714.765
AT ITER 1809 NEW BEST:: SOT 572935 SOS 288184 HAS SOPS 288184 HAS SOUS 221345 HAS SOUPS 221345 WITH SCORE 221633.184
AT ITER 1822 NEW BEST:: SOT 572935 SOS 288108 HAS SOPS 288108 HAS SOUS 221329 HAS SOUPS 221329 WITH SCORE 221617.108
AT ITER 1843 NEW BEST:: SOT 572935 SOS 288108 HAS SOPS 288108 HAS SOUS 221319 HAS SOUPS 221319 WITH SCORE 221607.108
AT ITER 1864 NEW BEST:: SOT 572944 SOS 288131 HAS SOPS 288131 HAS SOUS 221318 HAS SOUPS 221318 WITH SCORE 221606.131
AT ITER 1866 NEW BEST:: SOT 572944 SOS 288131 HAS SOPS 288131 HAS SOUS 221272 HAS SOUPS 221272 WITH SCORE 221560.131
AT ITER 1869 NEW BEST:: SOT 572944 SOS 288131 HAS SOPS 288131 HAS SOUS 221254 HAS SOUPS 221254 WITH SCORE 221542.131
AT ITER 1875 NEW BEST:: SOT 572944 SOS 288558 HAS SOPS 288558 HAS SOUS 221207 HAS SOUPS 221207 WITH SCORE 221495.558
AT ITER 1916 NEW BEST:: SOT 572664 SOS 289180 HAS SOPS 289180 HAS SOUS 221080 HAS SOUPS 221080 WITH SCORE 221369.18
AT ITER 1930 NEW BEST:: SOT 572656 SOS 289172 HAS SOPS 289172 HAS SOUS 221072 HAS SOUPS 221072 WITH SCORE 221361.172
AT ITER 1979 NEW BEST:: SOT 572515 SOS 289076 HAS SOPS 289076 HAS SOUS 220976 HAS SOUPS 220976 WITH SCORE 221265.076
AT ITER 2038 NEW BEST:: SOT 572515 SOS 289265 HAS SOPS 289265 HAS SOUS 220861 HAS SOUPS 220861 WITH SCORE 221150.265
AT ITER 2065 NEW BEST:: SOT 572515 SOS 289443 HAS SOPS 289443 HAS SOUS 220859 HAS SOUPS 220859 WITH SCORE 221148.443
AT ITER 2082 NEW BEST:: SOT 572465 SOS 289534 HAS SOPS 289534 HAS SOUS 220835 HAS SOUPS 220835 WITH SCORE 221124.534
AT ITER 2169 NEW BEST:: SOT 572465 SOS 289534 HAS SOPS 289534 HAS SOUS 220831 HAS SOUPS 220831 WITH SCORE 221120.534
AT ITER 2314 NEW BEST:: SOT 572465 SOS 289534 HAS SOPS 289534 HAS SOUS 220785 HAS SOUPS 220785 WITH SCORE 221074.534
AT ITER 2320 NEW BEST:: SOT 572465 SOS 289534 HAS SOPS 289534 HAS SOUS 220663 HAS SOUPS 220663 WITH SCORE 220952.534
AT ITER 2370 NEW BEST:: SOT 572465 SOS 289534 HAS SOPS 289534 HAS SOUS 220637 HAS SOUPS 220637 WITH SCORE 220926.534
AT ITER 2374 NEW BEST:: SOT 572464 SOS 289533 HAS SOPS 289533 HAS SOUS 220618 HAS SOUPS 220618 WITH SCORE 220907.533
AT ITER 2399 NEW BEST:: SOT 572140 SOS 289817 HAS SOPS 289817 HAS SOUS 220475 HAS SOUPS 220475 WITH SCORE 220764.817
AT ITER 2401 NEW BEST:: SOT 572144 SOS 289853 HAS SOPS 289853 HAS SOUS 220461 HAS SOUPS 220461 WITH SCORE 220750.853
AT ITER 2412 NEW BEST:: SOT 572144 SOS 289853 HAS SOPS 289853 HAS SOUS 220459 HAS SOUPS 220459 WITH SCORE 220748.853
AT ITER 2429 NEW BEST:: SOT 572174 SOS 289883 HAS SOPS 289883 HAS SOUS 220183 HAS SOUPS 220183 WITH SCORE 220472.883
AT ITER 2465 NEW BEST:: SOT 571589 SOS 290104 HAS SOPS 290104 HAS SOUS 219718 HAS SOUPS 219718 WITH SCORE 220008.104
AT ITER 2502 NEW BEST:: SOT 571587 SOS 290130 HAS SOPS 290130 HAS SOUS 219695 HAS SOUPS 219695 WITH SCORE 219985.13
AT ITER 2525 NEW BEST:: SOT 571587 SOS 290130 HAS SOPS 290130 HAS SOUS 219603 HAS SOUPS 219603 WITH SCORE 219893.13
AT ITER 2651 NEW BEST:: SOT 571587 SOS 289524 HAS SOPS 289524 HAS SOUS 219502 HAS SOUPS 219502 WITH SCORE 219791.524
AT ITER 2679 NEW BEST:: SOT 571407 SOS 289344 HAS SOPS 289344 HAS SOUS 219322 HAS SOUPS 219322 WITH SCORE 219611.344
AT ITER 2692 NEW BEST:: SOT 571371 SOS 289374 HAS SOPS 289374 HAS SOUS 219236 HAS SOUPS 219236 WITH SCORE 219525.374
AT ITER 2718 NEW BEST:: SOT 571321 SOS 289324 HAS SOPS 289324 HAS SOUS 219162 HAS SOUPS 219162 WITH SCORE 219451.324
AT ITER 2732 NEW BEST:: SOT 571302 SOS 289305 HAS SOPS 289305 HAS SOUS 219143 HAS SOUPS 219143 WITH SCORE 219432.305
AT ITER 2767 NEW BEST:: SOT 571302 SOS 289317 HAS SOPS 289317 HAS SOUS 219140 HAS SOUPS 219140 WITH SCORE 219429.317
AT ITER 2770 NEW BEST:: SOT 571290 SOS 289304 HAS SOPS 289304 HAS SOUS 219137 HAS SOUPS 219137 WITH SCORE 219426.304
AT ITER 2789 NEW BEST:: SOT 571290 SOS 289304 HAS SOPS 289304 HAS SOUS 219123 HAS SOUPS 219123 WITH SCORE 219412.304
AT ITER 2800 NEW BEST:: SOT 571290 SOS 289304 HAS SOPS 289304 HAS SOUS 219117 HAS SOUPS 219117 WITH SCORE 219406.304
AT ITER 2816 NEW BEST:: SOT 571290 SOS 289304 HAS SOPS 289304 HAS SOUS 219111 HAS SOUPS 219111 WITH SCORE 219400.304
AT ITER 2933 NEW BEST:: SOT 571085 SOS 289671 HAS SOPS 289671 HAS SOUS 219032 HAS SOUPS 219032 WITH SCORE 219321.671
AT ITER 2949 NEW BEST:: SOT 571085 SOS 289671 HAS SOPS 289671 HAS SOUS 219000 HAS SOUPS 219000 WITH SCORE 219289.671
AT ITER 2967 NEW BEST:: SOT 571084 SOS 289670 HAS SOPS 289670 HAS SOUS 218999 HAS SOUPS 218999 WITH SCORE 219288.67
AT ITER 2981 NEW BEST:: SOT 571084 SOS 289670 HAS SOPS 289670 HAS SOUS 218967 HAS SOUPS 218967 WITH SCORE 219256.67
AT ITER 3059 NEW BEST:: SOT 570738 SOS 290469 HAS SOPS 290469 HAS SOUS 218829 HAS SOUPS 218829 WITH SCORE 219119.469
AT ITER 3089 NEW BEST:: SOT 570738 SOS 290931 HAS SOPS 290931 HAS SOUS 218804 HAS SOUPS 218804 WITH SCORE 219094.931
AT ITER 3102 NEW BEST:: SOT 570548 SOS 290922 HAS SOPS 290922 HAS SOUS 218801 HAS SOUPS 218801 WITH SCORE 219091.922
AT ITER 3193 NEW BEST:: SOT 570548 SOS 290922 HAS SOPS 290922 HAS SOUS 218795 HAS SOUPS 218795 WITH SCORE 219085.922
AT ITER 3228 NEW BEST:: SOT 570598 SOS 290972 HAS SOPS 290972 HAS SOUS 218639 HAS SOUPS 218639 WITH SCORE 218929.972
AT ITER 3249 NEW BEST:: SOT 570595 SOS 290969 HAS SOPS 290969 HAS SOUS 218636 HAS SOUPS 218636 WITH SCORE 218926.969
AT ITER 3288 NEW BEST:: SOT 570587 SOS 290961 HAS SOPS 290961 HAS SOUS 218628 HAS SOUPS 218628 WITH SCORE 218918.961
AT ITER 3411 NEW BEST:: SOT 570587 SOS 290961 HAS SOPS 290961 HAS SOUS 218620 HAS SOUPS 218620 WITH SCORE 218910.961
AT ITER 3412 NEW BEST:: SOT 570479 SOS 291116 HAS SOPS 291116 HAS SOUS 218551 HAS SOUPS 218551 WITH SCORE 218842.116
AT ITER 3472 NEW BEST:: SOT 570479 SOS 291116 HAS SOPS 291116 HAS SOUS 218549 HAS SOUPS 218549 WITH SCORE 218840.116
AT ITER 3497 NEW BEST:: SOT 570479 SOS 291116 HAS SOPS 291116 HAS SOUS 218527 HAS SOUPS 218527 WITH SCORE 218818.116
AT ITER 3643 NEW BEST:: SOT 570479 SOS 291719 HAS SOPS 291719 HAS SOUS 218484 HAS SOUPS 218484 WITH SCORE 218775.719
AT ITER 3698 NEW BEST:: SOT 570479 SOS 291719 HAS SOPS 291719 HAS SOUS 218462 HAS SOUPS 218462 WITH SCORE 218753.719
AT ITER 3699 NEW BEST:: SOT 570479 SOS 291719 HAS SOPS 291719 HAS SOUS 218458 HAS SOUPS 218458 WITH SCORE 218749.719
AT ITER 3700 NEW BEST:: SOT 570479 SOS 291719 HAS SOPS 291719 HAS SOUS 218446 HAS SOUPS 218446 WITH SCORE 218737.719
AT ITER 3838 NEW BEST:: SOT 570479 SOS 291719 HAS SOPS 291719 HAS SOUS 218402 HAS SOUPS 218402 WITH SCORE 218693.719
AT ITER 3890 NEW BEST:: SOT 570479 SOS 291719 HAS SOPS 291719 HAS SOUS 218396 HAS SOUPS 218396 WITH SCORE 218687.719
AT ITER 3923 NEW BEST:: SOT 570479 SOS 292244 HAS SOPS 292244 HAS SOUS 218332 HAS SOUPS 218332 WITH SCORE 218624.244
AT ITER 3955 NEW BEST:: SOT 570479 SOS 292244 HAS SOPS 292244 HAS SOUS 218230 HAS SOUPS 218230 WITH SCORE 218522.244
AT ITER 3982 NEW BEST:: SOT 570136 SOS 292360 HAS SOPS 292360 HAS SOUS 218053 HAS SOUPS 218053 WITH SCORE 218345.36
AT ITER 4079 NEW BEST:: SOT 569838 SOS 293109 HAS SOPS 293109 HAS SOUS 217924 HAS SOUPS 217924 WITH SCORE 218217.109
AT ITER 4135 NEW BEST:: SOT 569838 SOS 293109 HAS SOPS 293109 HAS SOUS 217910 HAS SOUPS 217910 WITH SCORE 218203.109
AT ITER 4207 NEW BEST:: SOT 569824 SOS 293095 HAS SOPS 293095 HAS SOUS 217860 HAS SOUPS 217860 WITH SCORE 218153.095
AT ITER 4225 NEW BEST:: SOT 569809 SOS 293080 HAS SOPS 293080 HAS SOUS 217791 HAS SOUPS 217791 WITH SCORE 218084.08
AT ITER 4260 NEW BEST:: SOT 569764 SOS 293035 HAS SOPS 293035 HAS SOUS 217746 HAS SOUPS 217746 WITH SCORE 218039.035
AT ITER 4284 NEW BEST:: SOT 569764 SOS 293035 HAS SOPS 293035 HAS SOUS 217694 HAS SOUPS 217694 WITH SCORE 217987.035
AT ITER 4295 NEW BEST:: SOT 569806 SOS 293489 HAS SOPS 293489 HAS SOUS 217688 HAS SOUPS 217688 WITH SCORE 217981.489
AT ITER 4343 NEW BEST:: SOT 569707 SOS 293390 HAS SOPS 293390 HAS SOUS 217595 HAS SOUPS 217595 WITH SCORE 217888.39
AT ITER 4482 NEW BEST:: SOT 569624 SOS 293555 HAS SOPS 293555 HAS SOUS 217481 HAS SOUPS 217481 WITH SCORE 217774.555
AT ITER 4527 NEW BEST:: SOT 569331 SOS 293262 HAS SOPS 293262 HAS SOUS 217326 HAS SOUPS 217326 WITH SCORE 217619.262
AT ITER 4532 NEW BEST:: SOT 569358 SOS 293289 HAS SOPS 293289 HAS SOUS 217297 HAS SOUPS 217297 WITH SCORE 217590.289
AT ITER 4552 NEW BEST:: SOT 569358 SOS 293289 HAS SOPS 293289 HAS SOUS 217295 HAS SOUPS 217295 WITH SCORE 217588.289
AT ITER 4567 NEW BEST:: SOT 569358 SOS 293289 HAS SOPS 293289 HAS SOUS 217273 HAS SOUPS 217273 WITH SCORE 217566.289
AT ITER 4580 NEW BEST:: SOT 569315 SOS 293246 HAS SOPS 293246 HAS SOUS 217216 HAS SOUPS 217216 WITH SCORE 217509.246
AT ITER 4588 NEW BEST:: SOT 569339 SOS 293402 HAS SOPS 293402 HAS SOUS 217197 HAS SOUPS 217197 WITH SCORE 217490.402
AT ITER 4618 NEW BEST:: SOT 569339 SOS 293354 HAS SOPS 293354 HAS SOUS 217189 HAS SOUPS 217189 WITH SCORE 217482.354
AT ITER 4727 NEW BEST:: SOT 569382 SOS 293397 HAS SOPS 293397 HAS SOUS 217158 HAS SOUPS 217158 WITH SCORE 217451.397
AT ITER 4795 NEW BEST:: SOT 569265 SOS 293280 HAS SOPS 293280 HAS SOUS 217117 HAS SOUPS 217117 WITH SCORE 217410.28
AT ITER 4796 NEW BEST:: SOT 569265 SOS 293280 HAS SOPS 293280 HAS SOUS 217113 HAS SOUPS 217113 WITH SCORE 217406.28
AT ITER 4887 NEW BEST:: SOT 569224 SOS 293335 HAS SOPS 293335 HAS SOUS 217093 HAS SOUPS 217093 WITH SCORE 217386.335
AT ITER 4924 NEW BEST:: SOT 569224 SOS 293335 HAS SOPS 293335 HAS SOUS 217083 HAS SOUPS 217083 WITH SCORE 217376.335
AT ITER 4940 NEW BEST:: SOT 569223 SOS 293334 HAS SOPS 293334 HAS SOUS 217082 HAS SOUPS 217082 WITH SCORE 217375.334
AT ITER 5033 NEW BEST:: SOT 569206 SOS 293393 HAS SOPS 293393 HAS SOUS 217053 HAS SOUPS 217053 WITH SCORE 217346.393
AT ITER 5117 NEW BEST:: SOT 568930 SOS 293963 HAS SOPS 293963 HAS SOUS 216921 HAS SOUPS 216921 WITH SCORE 217214.963
AT ITER 5121 NEW BEST:: SOT 568930 SOS 294181 HAS SOPS 294181 HAS SOUS 216910 HAS SOUPS 216910 WITH SCORE 217204.181
AT ITER 5128 NEW BEST:: SOT 568926 SOS 294177 HAS SOPS 294177 HAS SOUS 216902 HAS SOUPS 216902 WITH SCORE 217196.177
AT ITER 5138 NEW BEST:: SOT 568829 SOS 294080 HAS SOPS 294080 HAS SOUS 216805 HAS SOUPS 216805 WITH SCORE 217099.08
AT ITER 5171 NEW BEST:: SOT 568851 SOS 294110 HAS SOPS 294110 HAS SOUS 216735 HAS SOUPS 216735 WITH SCORE 217029.11
AT ITER 5212 NEW BEST:: SOT 568851 SOS 293774 HAS SOPS 293774 HAS SOUS 216679 HAS SOUPS 216679 WITH SCORE 216972.774
AT ITER 5251 NEW BEST:: SOT 568904 SOS 294211 HAS SOPS 294211 HAS SOUS 216507 HAS SOUPS 216507 WITH SCORE 216801.211
AT ITER 5280 NEW BEST:: SOT 568820 SOS 294295 HAS SOPS 294295 HAS SOUS 216447 HAS SOUPS 216447 WITH SCORE 216741.295
AT ITER 5303 NEW BEST:: SOT 568818 SOS 294293 HAS SOPS 294293 HAS SOUS 216445 HAS SOUPS 216445 WITH SCORE 216739.293
AT ITER 5341 NEW BEST:: SOT 568808 SOS 294283 HAS SOPS 294283 HAS SOUS 216435 HAS SOUPS 216435 WITH SCORE 216729.283
AT ITER 5462 NEW BEST:: SOT 568808 SOS 294283 HAS SOPS 294283 HAS SOUS 216427 HAS SOUPS 216427 WITH SCORE 216721.283
AT ITER 5470 NEW BEST:: SOT 568824 SOS 294447 HAS SOPS 294447 HAS SOUS 216371 HAS SOUPS 216371 WITH SCORE 216665.447
AT ITER 5471 NEW BEST:: SOT 568697 SOS 294320 HAS SOPS 294320 HAS SOUS 216332 HAS SOUPS 216332 WITH SCORE 216626.32
AT ITER 5513 NEW BEST:: SOT 568313 SOS 293936 HAS SOPS 293936 HAS SOUS 216144 HAS SOUPS 216144 WITH SCORE 216437.936
AT ITER 5522 NEW BEST:: SOT 568313 SOS 293936 HAS SOPS 293936 HAS SOUS 216142 HAS SOUPS 216142 WITH SCORE 216435.936
AT ITER 5613 NEW BEST:: SOT 568313 SOS 294362 HAS SOPS 294362 HAS SOUS 216093 HAS SOUPS 216093 WITH SCORE 216387.362
AT ITER 5619 NEW BEST:: SOT 568300 SOS 294439 HAS SOPS 294439 HAS SOUS 216062 HAS SOUPS 216062 WITH SCORE 216356.439
AT ITER 5623 NEW BEST:: SOT 568281 SOS 294420 HAS SOPS 294420 HAS SOUS 216043 HAS SOUPS 216043 WITH SCORE 216337.42
AT ITER 5690 NEW BEST:: SOT 568281 SOS 294420 HAS SOPS 294420 HAS SOUS 216041 HAS SOUPS 216041 WITH SCORE 216335.42
AT ITER 5725 NEW BEST:: SOT 568281 SOS 294228 HAS SOPS 294228 HAS SOUS 216009 HAS SOUPS 216009 WITH SCORE 216303.228
AT ITER 5776 NEW BEST:: SOT 568281 SOS 294608 HAS SOPS 294608 HAS SOUS 215933 HAS SOUPS 215933 WITH SCORE 216227.608
AT ITER 5803 NEW BEST:: SOT 568281 SOS 294608 HAS SOPS 294608 HAS SOUS 215927 HAS SOUPS 215927 WITH SCORE 216221.608
AT ITER 5869 NEW BEST:: SOT 568243 SOS 294569 HAS SOPS 294569 HAS SOUS 215920 HAS SOUPS 215920 WITH SCORE 216214.569
AT ITER 5890 NEW BEST:: SOT 568241 SOS 294879 HAS SOPS 294879 HAS SOUS 215918 HAS SOUPS 215918 WITH SCORE 216212.879
AT ITER 5943 NEW BEST:: SOT 568241 SOS 294879 HAS SOPS 294879 HAS SOUS 215862 HAS SOUPS 215862 WITH SCORE 216156.879
AT ITER 5990 NEW BEST:: SOT 568233 SOS 294899 HAS SOPS 294899 HAS SOUS 215858 HAS SOUPS 215858 WITH SCORE 216152.899
AT ITER 5994 NEW BEST:: SOT 568233 SOS 294899 HAS SOPS 294899 HAS SOUS 215832 HAS SOUPS 215832 WITH SCORE 216126.899
AT ITER 6024 NEW BEST:: SOT 568233 SOS 294899 HAS SOPS 294899 HAS SOUS 215824 HAS SOUPS 215824 WITH SCORE 216118.899
AT ITER 6056 NEW BEST:: SOT 568183 SOS 294849 HAS SOPS 294849 HAS SOUS 215810 HAS SOUPS 215810 WITH SCORE 216104.849
AT ITER 6125 NEW BEST:: SOT 568183 SOS 294849 HAS SOPS 294849 HAS SOUS 215804 HAS SOUPS 215804 WITH SCORE 216098.849
AT ITER 6147 NEW BEST:: SOT 568183 SOS 294849 HAS SOPS 294849 HAS SOUS 215800 HAS SOUPS 215800 WITH SCORE 216094.849
AT ITER 6170 NEW BEST:: SOT 568154 SOS 294820 HAS SOPS 294820 HAS SOUS 215655 HAS SOUPS 215655 WITH SCORE 215949.82
AT ITER 6181 NEW BEST:: SOT 568145 SOS 294811 HAS SOPS 294811 HAS SOUS 215646 HAS SOUPS 215646 WITH SCORE 215940.811
AT ITER 6193 NEW BEST:: SOT 568145 SOS 294811 HAS SOPS 294811 HAS SOUS 215638 HAS SOUPS 215638 WITH SCORE 215932.811
AT ITER 6210 NEW BEST:: SOT 568100 SOS 294833 HAS SOPS 294833 HAS SOUS 215607 HAS SOUPS 215607 WITH SCORE 215901.833
AT ITER 6279 NEW BEST:: SOT 567966 SOS 295859 HAS SOPS 295859 HAS SOUS 215509 HAS SOUPS 215509 WITH SCORE 215804.859
AT ITER 6306 NEW BEST:: SOT 567951 SOS 295844 HAS SOPS 295844 HAS SOUS 215494 HAS SOUPS 215494 WITH SCORE 215789.844
AT ITER 6308 NEW BEST:: SOT 568086 SOS 295779 HAS SOPS 295779 HAS SOUS 215460 HAS SOUPS 215460 WITH SCORE 215755.779
AT ITER 6327 NEW BEST:: SOT 568086 SOS 295779 HAS SOPS 295779 HAS SOUS 215456 HAS SOUPS 215456 WITH SCORE 215751.779
AT ITER 6358 NEW BEST:: SOT 568081 SOS 295774 HAS SOPS 295774 HAS SOUS 215451 HAS SOUPS 215451 WITH SCORE 215746.774
AT ITER 6435 NEW BEST:: SOT 568038 SOS 295731 HAS SOPS 295731 HAS SOUS 215408 HAS SOUPS 215408 WITH SCORE 215703.731
AT ITER 6483 NEW BEST:: SOT 568008 SOS 295701 HAS SOPS 295701 HAS SOUS 215406 HAS SOUPS 215406 WITH SCORE 215701.701
AT ITER 6521 NEW BEST:: SOT 567840 SOS 295533 HAS SOPS 295533 HAS SOUS 215238 HAS SOUPS 215238 WITH SCORE 215533.533
AT ITER 6597 NEW BEST:: SOT 567840 SOS 295533 HAS SOPS 295533 HAS SOUS 215236 HAS SOUPS 215236 WITH SCORE 215531.533
AT ITER 6620 NEW BEST:: SOT 567840 SOS 295533 HAS SOPS 295533 HAS SOUS 215226 HAS SOUPS 215226 WITH SCORE 215521.533
AT ITER 6637 NEW BEST:: SOT 567840 SOS 295533 HAS SOPS 295533 HAS SOUS 215222 HAS SOUPS 215222 WITH SCORE 215517.533
AT ITER 6644 NEW BEST:: SOT 567650 SOS 295889 HAS SOPS 295889 HAS SOUS 215178 HAS SOUPS 215178 WITH SCORE 215473.889
AT ITER 6684 NEW BEST:: SOT 567650 SOS 295889 HAS SOPS 295889 HAS SOUS 215176 HAS SOUPS 215176 WITH SCORE 215471.889
AT ITER 6690 NEW BEST:: SOT 567650 SOS 295889 HAS SOPS 295889 HAS SOUS 215168 HAS SOUPS 215168 WITH SCORE 215463.889
AT ITER 6717 NEW BEST:: SOT 567650 SOS 295889 HAS SOPS 295889 HAS SOUS 215148 HAS SOUPS 215148 WITH SCORE 215443.889
AT ITER 6737 NEW BEST:: SOT 567650 SOS 295889 HAS SOPS 295889 HAS SOUS 215066 HAS SOUPS 215066 WITH SCORE 215361.889
AT ITER 6824 NEW BEST:: SOT 567686 SOS 295925 HAS SOPS 295925 HAS SOUS 214934 HAS SOUPS 214934 WITH SCORE 215229.925
AT ITER 6833 NEW BEST:: SOT 567686 SOS 295925 HAS SOPS 295925 HAS SOUS 214866 HAS SOUPS 214866 WITH SCORE 215161.925
AT ITER 6842 NEW BEST:: SOT 567667 SOS 295906 HAS SOPS 295906 HAS SOUS 214847 HAS SOUPS 214847 WITH SCORE 215142.906
AT ITER 6898 NEW BEST:: SOT 567374 SOS 296977 HAS SOPS 296977 HAS SOUS 214791 HAS SOUPS 214791 WITH SCORE 215087.977
AT ITER 6958 NEW BEST:: SOT 567374 SOS 296977 HAS SOPS 296977 HAS SOUS 214727 HAS SOUPS 214727 WITH SCORE 215023.977
AT ITER 7013 NEW BEST:: SOT 567374 SOS 296881 HAS SOPS 296881 HAS SOUS 214711 HAS SOUPS 214711 WITH SCORE 215007.881
AT ITER 7025 NEW BEST:: SOT 567108 SOS 297829 HAS SOPS 297829 HAS SOUS 214650 HAS SOUPS 214650 WITH SCORE 214947.829
AT ITER 7041 NEW BEST:: SOT 567092 SOS 297876 HAS SOPS 297876 HAS SOUS 214643 HAS SOUPS 214643 WITH SCORE 214940.876
AT ITER 7052 NEW BEST:: SOT 566973 SOS 297757 HAS SOPS 297757 HAS SOUS 214480 HAS SOUPS 214480 WITH SCORE 214777.757
AT ITER 7117 NEW BEST:: SOT 567128 SOS 298118 HAS SOPS 298118 HAS SOUS 214409 HAS SOUPS 214409 WITH SCORE 214707.118
AT ITER 7170 NEW BEST:: SOT 567128 SOS 298118 HAS SOPS 298118 HAS SOUS 214349 HAS SOUPS 214349 WITH SCORE 214647.118
AT ITER 7248 NEW BEST:: SOT 567128 SOS 298118 HAS SOPS 298118 HAS SOUS 214347 HAS SOUPS 214347 WITH SCORE 214645.118
AT ITER 7259 NEW BEST:: SOT 567121 SOS 298111 HAS SOPS 298111 HAS SOUS 214340 HAS SOUPS 214340 WITH SCORE 214638.111
AT ITER 7288 NEW BEST:: SOT 566758 SOS 297986 HAS SOPS 297986 HAS SOUS 214305 HAS SOUPS 214305 WITH SCORE 214602.986
AT ITER 7302 NEW BEST:: SOT 566758 SOS 297986 HAS SOPS 297986 HAS SOUS 214301 HAS SOUPS 214301 WITH SCORE 214598.986
AT ITER 7303 NEW BEST:: SOT 566758 SOS 297788 HAS SOPS 297788 HAS SOUS 214270 HAS SOUPS 214270 WITH SCORE 214567.788
AT ITER 7314 NEW BEST:: SOT 566758 SOS 297788 HAS SOPS 297788 HAS SOUS 214264 HAS SOUPS 214264 WITH SCORE 214561.788
AT ITER 7332 NEW BEST:: SOT 566758 SOS 297794 HAS SOPS 297794 HAS SOUS 214262 HAS SOUPS 214262 WITH SCORE 214559.794
AT ITER 7366 NEW BEST:: SOT 566758 SOS 297783 HAS SOPS 297783 HAS SOUS 214258 HAS SOUPS 214258 WITH SCORE 214555.783
AT ITER 7376 NEW BEST:: SOT 566758 SOS 297783 HAS SOPS 297783 HAS SOUS 214242 HAS SOUPS 214242 WITH SCORE 214539.783
AT ITER 7384 NEW BEST:: SOT 566758 SOS 297939 HAS SOPS 297939 HAS SOUS 214224 HAS SOUPS 214224 WITH SCORE 214521.939
AT ITER 7419 NEW BEST:: SOT 566758 SOS 297939 HAS SOPS 297939 HAS SOUS 214220 HAS SOUPS 214220 WITH SCORE 214517.939
AT ITER 7431 NEW BEST:: SOT 566718 SOS 297939 HAS SOPS 297939 HAS SOUS 214160 HAS SOUPS 214160 WITH SCORE 214457.939
AT ITER 7453 NEW BEST:: SOT 566547 SOS 298536 HAS SOPS 298536 HAS SOUS 214137 HAS SOUPS 214137 WITH SCORE 214435.536
AT ITER 7510 NEW BEST:: SOT 566431 SOS 298807 HAS SOPS 298807 HAS SOUS 214133 HAS SOUPS 214133 WITH SCORE 214431.807
AT ITER 7519 NEW BEST:: SOT 566431 SOS 298807 HAS SOPS 298807 HAS SOUS 214129 HAS SOUPS 214129 WITH SCORE 214427.807
AT ITER 7528 NEW BEST:: SOT 566417 SOS 298793 HAS SOPS 298793 HAS SOUS 214121 HAS SOUPS 214121 WITH SCORE 214419.793
AT ITER 7576 NEW BEST:: SOT 566415 SOS 298791 HAS SOPS 298791 HAS SOUS 214119 HAS SOUPS 214119 WITH SCORE 214417.791
AT ITER 7586 NEW BEST:: SOT 566415 SOS 298791 HAS SOPS 298791 HAS SOUS 214103 HAS SOUPS 214103 WITH SCORE 214401.791
AT ITER 7607 NEW BEST:: SOT 566192 SOS 299594 HAS SOPS 299594 HAS SOUS 214051 HAS SOUPS 214051 WITH SCORE 214350.594
AT ITER 7631 NEW BEST:: SOT 566192 SOS 299984 HAS SOPS 299984 HAS SOUS 214012 HAS SOUPS 214012 WITH SCORE 214311.984
AT ITER 7651 NEW BEST:: SOT 566192 SOS 299984 HAS SOPS 299984 HAS SOUS 213990 HAS SOUPS 213990 WITH SCORE 214289.984
AT ITER 7664 NEW BEST:: SOT 566192 SOS 299984 HAS SOPS 299984 HAS SOUS 213958 HAS SOUPS 213958 WITH SCORE 214257.984
AT ITER 7676 NEW BEST:: SOT 566190 SOS 300446 HAS SOPS 300446 HAS SOUS 213931 HAS SOUPS 213931 WITH SCORE 214231.446
AT ITER 7682 NEW BEST:: SOT 566018 SOS 300859 HAS SOPS 300859 HAS SOUS 213778 HAS SOUPS 213778 WITH SCORE 214078.859
AT ITER 7700 NEW BEST:: SOT 565798 SOS 301457 HAS SOPS 301457 HAS SOUS 213739 HAS SOUPS 213739 WITH SCORE 214040.457
AT ITER 7701 NEW BEST:: SOT 565612 SOS 301649 HAS SOPS 301649 HAS SOUS 213698 HAS SOUPS 213698 WITH SCORE 213999.649
AT ITER 7706 NEW BEST:: SOT 565612 SOS 301649 HAS SOPS 301649 HAS SOUS 213574 HAS SOUPS 213574 WITH SCORE 213875.649
AT ITER 7723 NEW BEST:: SOT 565016 SOS 302020 HAS SOPS 302020 HAS SOUS 213139 HAS SOUPS 213139 WITH SCORE 213441.02
AT ITER 7786 NEW BEST:: SOT 564820 SOS 301952 HAS SOPS 301952 HAS SOUS 212998 HAS SOUPS 212998 WITH SCORE 213299.952
AT ITER 7849 NEW BEST:: SOT 564820 SOS 301952 HAS SOPS 301952 HAS SOUS 212936 HAS SOUPS 212936 WITH SCORE 213237.952
AT ITER 7923 NEW BEST:: SOT 564820 SOS 301952 HAS SOPS 301952 HAS SOUS 212934 HAS SOUPS 212934 WITH SCORE 213235.952
AT ITER 7965 NEW BEST:: SOT 564817 SOS 301949 HAS SOPS 301949 HAS SOUS 212903 HAS SOUPS 212903 WITH SCORE 213204.949
AT ITER 7976 NEW BEST:: SOT 564817 SOS 301853 HAS SOPS 301853 HAS SOUS 212887 HAS SOUPS 212887 WITH SCORE 213188.853
AT ITER 8020 NEW BEST:: SOT 564640 SOS 301871 HAS SOPS 301871 HAS SOUS 212749 HAS SOUPS 212749 WITH SCORE 213050.871
AT ITER 8037 NEW BEST:: SOT 564640 SOS 301871 HAS SOPS 301871 HAS SOUS 212727 HAS SOUPS 212727 WITH SCORE 213028.871
AT ITER 8126 NEW BEST:: SOT 564262 SOS 301889 HAS SOPS 301889 HAS SOUS 212404 HAS SOUPS 212404 WITH SCORE 212705.889
AT ITER 8146 NEW BEST:: SOT 564161 SOS 301704 HAS SOPS 301704 HAS SOUS 212350 HAS SOUPS 212350 WITH SCORE 212651.704
AT ITER 8157 NEW BEST:: SOT 564475 SOS 301878 HAS SOPS 301878 HAS SOUS 212346 HAS SOUPS 212346 WITH SCORE 212647.878
AT ITER 8230 NEW BEST:: SOT 564386 SOS 301789 HAS SOPS 301789 HAS SOUS 212233 HAS SOUPS 212233 WITH SCORE 212534.789
AT ITER 8291 NEW BEST:: SOT 564381 SOS 301784 HAS SOPS 301784 HAS SOUS 212226 HAS SOUPS 212226 WITH SCORE 212527.784
AT ITER 8293 NEW BEST:: SOT 564363 SOS 301769 HAS SOPS 301769 HAS SOUS 212187 HAS SOUPS 212187 WITH SCORE 212488.769
AT ITER 8374 NEW BEST:: SOT 564348 SOS 302295 HAS SOPS 302295 HAS SOUS 212046 HAS SOUPS 212046 WITH SCORE 212348.295
AT ITER 8480 NEW BEST:: SOT 564335 SOS 302282 HAS SOPS 302282 HAS SOUS 212033 HAS SOUPS 212033 WITH SCORE 212335.282
AT ITER 8502 NEW BEST:: SOT 564485 SOS 302495 HAS SOPS 302495 HAS SOUS 211983 HAS SOUPS 211983 WITH SCORE 212285.495
AT ITER 8635 NEW BEST:: SOT 564485 SOS 302489 HAS SOPS 302489 HAS SOUS 211980 HAS SOUPS 211980 WITH SCORE 212282.489
AT ITER 8638 NEW BEST:: SOT 564464 SOS 302468 HAS SOPS 302468 HAS SOUS 211959 HAS SOUPS 211959 WITH SCORE 212261.468
AT ITER 8639 NEW BEST:: SOT 564456 SOS 302502 HAS SOPS 302502 HAS SOUS 211937 HAS SOUPS 211937 WITH SCORE 212239.502
AT ITER 8641 NEW BEST:: SOT 564436 SOS 302601 HAS SOPS 302601 HAS SOUS 211934 HAS SOUPS 211934 WITH SCORE 212236.601
AT ITER 8646 NEW BEST:: SOT 564436 SOS 302601 HAS SOPS 302601 HAS SOUS 211916 HAS SOUPS 211916 WITH SCORE 212218.601
AT ITER 8680 NEW BEST:: SOT 564375 SOS 302872 HAS SOPS 302872 HAS SOUS 211907 HAS SOUPS 211907 WITH SCORE 212209.872
AT ITER 8682 NEW BEST:: SOT 564367 SOS 303008 HAS SOPS 303008 HAS SOUS 211889 HAS SOUPS 211889 WITH SCORE 212192.008
AT ITER 8690 NEW BEST:: SOT 564356 SOS 302997 HAS SOPS 302997 HAS SOUS 211878 HAS SOUPS 211878 WITH SCORE 212180.997
AT ITER 8704 NEW BEST:: SOT 564190 SOS 303034 HAS SOPS 303034 HAS SOUS 211741 HAS SOUPS 211741 WITH SCORE 212044.034
AT ITER 8705 NEW BEST:: SOT 564186 SOS 303930 HAS SOPS 303930 HAS SOUS 211695 HAS SOUPS 211695 WITH SCORE 211998.93
AT ITER 8745 NEW BEST:: SOT 564194 SOS 304081 HAS SOPS 304081 HAS SOUS 211679 HAS SOUPS 211679 WITH SCORE 211983.081
AT ITER 8747 NEW BEST:: SOT 564194 SOS 304081 HAS SOPS 304081 HAS SOUS 211607 HAS SOUPS 211607 WITH SCORE 211911.081
AT ITER 8760 NEW BEST:: SOT 564223 SOS 304110 HAS SOPS 304110 HAS SOUS 211560 HAS SOUPS 211560 WITH SCORE 211864.11
AT ITER 8804 NEW BEST:: SOT 564184 SOS 304071 HAS SOPS 304071 HAS SOUS 211505 HAS SOUPS 211505 WITH SCORE 211809.071
AT ITER 8934 NEW BEST:: SOT 564172 SOS 304129 HAS SOPS 304129 HAS SOUS 211503 HAS SOUPS 211503 WITH SCORE 211807.129
AT ITER 8984 NEW BEST:: SOT 564172 SOS 304129 HAS SOPS 304129 HAS SOUS 211499 HAS SOUPS 211499 WITH SCORE 211803.129
AT ITER 9012 NEW BEST:: SOT 564172 SOS 304129 HAS SOPS 304129 HAS SOUS 211485 HAS SOUPS 211485 WITH SCORE 211789.129
AT ITER 9025 NEW BEST:: SOT 564091 SOS 304048 HAS SOPS 304048 HAS SOUS 211404 HAS SOUPS 211404 WITH SCORE 211708.048
AT ITER 9027 NEW BEST:: SOT 564032 SOS 303989 HAS SOPS 303989 HAS SOUS 211341 HAS SOUPS 211341 WITH SCORE 211644.989
AT ITER 9029 NEW BEST:: SOT 564016 SOS 303973 HAS SOPS 303973 HAS SOUS 211325 HAS SOUPS 211325 WITH SCORE 211628.973
AT ITER 9128 NEW BEST:: SOT 564016 SOS 304091 HAS SOPS 304091 HAS SOUS 211296 HAS SOUPS 211296 WITH SCORE 211600.091
AT ITER 9187 NEW BEST:: SOT 564031 SOS 304106 HAS SOPS 304106 HAS SOUS 211281 HAS SOUPS 211281 WITH SCORE 211585.106
AT ITER 9241 NEW BEST:: SOT 564031 SOS 304100 HAS SOPS 304100 HAS SOUS 211278 HAS SOUPS 211278 WITH SCORE 211582.1
AT ITER 9256 NEW BEST:: SOT 564078 SOS 304580 HAS SOPS 304580 HAS SOUS 211093 HAS SOUPS 211093 WITH SCORE 211397.58
AT ITER 9330 NEW BEST:: SOT 564059 SOS 304557 HAS SOPS 304557 HAS SOUS 211073 HAS SOUPS 211073 WITH SCORE 211377.557
AT ITER 9547 NEW BEST:: SOT 563975 SOS 304473 HAS SOPS 304473 HAS SOUS 210989 HAS SOUPS 210989 WITH SCORE 211293.473
AT ITER 9552 NEW BEST:: SOT 563919 SOS 304417 HAS SOPS 304417 HAS SOUS 210933 HAS SOUPS 210933 WITH SCORE 211237.417
AT ITER 9612 NEW BEST:: SOT 563919 SOS 304417 HAS SOPS 304417 HAS SOUS 210871 HAS SOUPS 210871 WITH SCORE 211175.417
AT ITER 9651 NEW BEST:: SOT 563919 SOS 304417 HAS SOPS 304417 HAS SOUS 210865 HAS SOUPS 210865 WITH SCORE 211169.417
AT ITER 9661 NEW BEST:: SOT 563919 SOS 304797 HAS SOPS 304797 HAS SOUS 210797 HAS SOUPS 210797 WITH SCORE 211101.797
AT ITER 9675 NEW BEST:: SOT 563915 SOS 304793 HAS SOPS 304793 HAS SOUS 210793 HAS SOUPS 210793 WITH SCORE 211097.793
AT ITER 9684 NEW BEST:: SOT 563913 SOS 304913 HAS SOPS 304913 HAS SOUS 210618 HAS SOUPS 210618 WITH SCORE 210922.913
AT ITER 9686 NEW BEST:: SOT 563913 SOS 304766 HAS SOPS 304766 HAS SOUS 210597 HAS SOUPS 210597 WITH SCORE 210901.766
AT ITER 9687 NEW BEST:: SOT 563913 SOS 304616 HAS SOPS 304616 HAS SOUS 210572 HAS SOUPS 210572 WITH SCORE 210876.616
AT ITER 9715 NEW BEST:: SOT 563792 SOS 304495 HAS SOPS 304495 HAS SOUS 210493 HAS SOUPS 210493 WITH SCORE 210797.495
AT ITER 9775 NEW BEST:: SOT 563792 SOS 304435 HAS SOPS 304435 HAS SOUS 210487 HAS SOUPS 210487 WITH SCORE 210791.435
AT ITER 9777 NEW BEST:: SOT 563792 SOS 304435 HAS SOPS 304435 HAS SOUS 210483 HAS SOUPS 210483 WITH SCORE 210787.435
AT ITER 9868 NEW BEST:: SOT 563798 SOS 304441 HAS SOPS 304441 HAS SOUS 210439 HAS SOUPS 210439 WITH SCORE 210743.441
AT ITER 9921 NEW BEST:: SOT 563748 SOS 304391 HAS SOPS 304391 HAS SOUS 210419 HAS SOUPS 210419 WITH SCORE 210723.391
AT ITER 9949 NEW BEST:: SOT 563750 SOS 304393 HAS SOPS 304393 HAS SOUS 210375 HAS SOUPS 210375 WITH SCORE 210679.393
AT ITER 9951 NEW BEST:: SOT 563684 SOS 304382 HAS SOPS 304382 HAS SOUS 210320 HAS SOUPS 210320 WITH SCORE 210624.382
AT ITER 9956 NEW BEST:: SOT 563684 SOS 304382 HAS SOPS 304382 HAS SOUS 210284 HAS SOUPS 210284 WITH SCORE 210588.382
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4507468 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125432 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="Echo-PT-d04r03"
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 Echo-PT-d04r03, 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 r171-tall-167838858100112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d04r03.tgz
mv Echo-PT-d04r03 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 ;