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.r235-tall-167856421100008.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 HypercubeGrid-PT-C3K4P4B12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421100008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 7.7K Feb 26 02:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 02:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 03:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 02:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 1.3M 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 1678622630968

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=HypercubeGrid-PT-C3K4P4B12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 12:03:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 12:03:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 12:03:52] [INFO ] Load time of PNML (sax parser for PT used): 140 ms
[2023-03-12 12:03:52] [INFO ] Transformed 1408 places.
[2023-03-12 12:03:52] [INFO ] Transformed 2400 transitions.
[2023-03-12 12:03:52] [INFO ] Parsed PT model containing 1408 places and 2400 transitions and 9600 arcs in 214 ms.
[2023-03-12 12:03:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1408 places, 2400 transitions and 9600 arcs took 26 ms.
Total runtime 270 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C3K4P4B12
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: 1408 places, 2400 transitions, 9600 arcs.
AT ITER 0 NEW BEST:: SOT 1853199 SOS 323585 HAS SOPS 323585 HAS SOUS 165134 HAS SOUPS 165134 WITH SCORE 165457.585
AT ITER 1 NEW BEST:: SOT 1853189 SOS 323701 HAS SOPS 323701 HAS SOUS 165114 HAS SOUPS 165114 WITH SCORE 165437.701
AT ITER 24 NEW BEST:: SOT 1853189 SOS 323676 HAS SOPS 323676 HAS SOUS 165109 HAS SOUPS 165109 WITH SCORE 165432.676
AT ITER 29 NEW BEST:: SOT 1853159 SOS 323616 HAS SOPS 323616 HAS SOUS 165049 HAS SOUPS 165049 WITH SCORE 165372.616
AT ITER 63 NEW BEST:: SOT 1853107 SOS 323564 HAS SOPS 323564 HAS SOUS 164997 HAS SOUPS 164997 WITH SCORE 165320.564
AT ITER 140 NEW BEST:: SOT 1853107 SOS 323564 HAS SOPS 323564 HAS SOUS 164985 HAS SOUPS 164985 WITH SCORE 165308.564
AT ITER 165 NEW BEST:: SOT 1853107 SOS 323120 HAS SOPS 323120 HAS SOUS 164837 HAS SOUPS 164837 WITH SCORE 165160.12
AT ITER 219 NEW BEST:: SOT 1853107 SOS 322965 HAS SOPS 322965 HAS SOUS 164806 HAS SOUPS 164806 WITH SCORE 165128.965
AT ITER 241 NEW BEST:: SOT 1852822 SOS 322395 HAS SOPS 322395 HAS SOUS 164464 HAS SOUPS 164464 WITH SCORE 164786.395
AT ITER 293 NEW BEST:: SOT 1852811 SOS 322329 HAS SOPS 322329 HAS SOUS 164442 HAS SOUPS 164442 WITH SCORE 164764.329
AT ITER 307 NEW BEST:: SOT 1852766 SOS 322284 HAS SOPS 322284 HAS SOUS 164320 HAS SOUPS 164320 WITH SCORE 164642.284
AT ITER 314 NEW BEST:: SOT 1852731 SOS 322249 HAS SOPS 322249 HAS SOUS 164285 HAS SOUPS 164285 WITH SCORE 164607.249
AT ITER 389 NEW BEST:: SOT 1852644 SOS 322171 HAS SOPS 322171 HAS SOUS 164252 HAS SOUPS 164252 WITH SCORE 164574.171
AT ITER 390 NEW BEST:: SOT 1852459 SOS 321801 HAS SOPS 321801 HAS SOUS 164030 HAS SOUPS 164030 WITH SCORE 164351.801
AT ITER 391 NEW BEST:: SOT 1852134 SOS 321086 HAS SOPS 321086 HAS SOUS 163575 HAS SOUPS 163575 WITH SCORE 163896.086
AT ITER 432 NEW BEST:: SOT 1852134 SOS 321077 HAS SOPS 321077 HAS SOUS 163566 HAS SOUPS 163566 WITH SCORE 163887.077
AT ITER 468 NEW BEST:: SOT 1852125 SOS 321068 HAS SOPS 321068 HAS SOUS 163548 HAS SOUPS 163548 WITH SCORE 163869.068
AT ITER 471 NEW BEST:: SOT 1851745 SOS 320612 HAS SOPS 320612 HAS SOUS 163019 HAS SOUPS 163019 WITH SCORE 163339.612
AT ITER 503 NEW BEST:: SOT 1851667 SOS 320547 HAS SOPS 320547 HAS SOUS 163001 HAS SOUPS 163001 WITH SCORE 163321.547
AT ITER 515 NEW BEST:: SOT 1851587 SOS 320467 HAS SOPS 320467 HAS SOUS 162921 HAS SOUPS 162921 WITH SCORE 163241.467
AT ITER 549 NEW BEST:: SOT 1851577 SOS 320385 HAS SOPS 320385 HAS SOUS 162879 HAS SOUPS 162879 WITH SCORE 163199.385
AT ITER 560 NEW BEST:: SOT 1851577 SOS 320301 HAS SOPS 320301 HAS SOUS 162851 HAS SOUPS 162851 WITH SCORE 163171.301
AT ITER 577 NEW BEST:: SOT 1851566 SOS 320235 HAS SOPS 320235 HAS SOUS 162829 HAS SOUPS 162829 WITH SCORE 163149.235
AT ITER 597 NEW BEST:: SOT 1851556 SOS 320439 HAS SOPS 320439 HAS SOUS 162705 HAS SOUPS 162705 WITH SCORE 163025.439
AT ITER 646 NEW BEST:: SOT 1851201 SOS 320013 HAS SOPS 320013 HAS SOUS 162227 HAS SOUPS 162227 WITH SCORE 162547.013
AT ITER 669 NEW BEST:: SOT 1851201 SOS 320013 HAS SOPS 320013 HAS SOUS 162219 HAS SOUPS 162219 WITH SCORE 162539.013
AT ITER 687 NEW BEST:: SOT 1851201 SOS 320013 HAS SOPS 320013 HAS SOUS 162179 HAS SOUPS 162179 WITH SCORE 162499.013
AT ITER 706 NEW BEST:: SOT 1851201 SOS 319967 HAS SOPS 319967 HAS SOUS 162133 HAS SOUPS 162133 WITH SCORE 162452.967
AT ITER 743 NEW BEST:: SOT 1851198 SOS 319949 HAS SOPS 319949 HAS SOUS 162127 HAS SOUPS 162127 WITH SCORE 162446.949
AT ITER 752 NEW BEST:: SOT 1851198 SOS 319949 HAS SOPS 319949 HAS SOUS 162096 HAS SOUPS 162096 WITH SCORE 162415.949
AT ITER 754 NEW BEST:: SOT 1851198 SOS 319929 HAS SOPS 319929 HAS SOUS 162092 HAS SOUPS 162092 WITH SCORE 162411.929
AT ITER 797 NEW BEST:: SOT 1851198 SOS 319877 HAS SOPS 319877 HAS SOUS 162092 HAS SOUPS 162092 WITH SCORE 162411.877
AT ITER 805 NEW BEST:: SOT 1850994 SOS 319622 HAS SOPS 319622 HAS SOUS 161809 HAS SOUPS 161809 WITH SCORE 162128.622
AT ITER 824 NEW BEST:: SOT 1850749 SOS 319328 HAS SOPS 319328 HAS SOUS 161515 HAS SOUPS 161515 WITH SCORE 161834.328
AT ITER 838 NEW BEST:: SOT 1850749 SOS 319292 HAS SOPS 319292 HAS SOUS 161479 HAS SOUPS 161479 WITH SCORE 161798.292
AT ITER 874 NEW BEST:: SOT 1850749 SOS 319292 HAS SOPS 319292 HAS SOUS 161377 HAS SOUPS 161377 WITH SCORE 161696.292
AT ITER 893 NEW BEST:: SOT 1850374 SOS 318542 HAS SOPS 318542 HAS SOUS 160927 HAS SOUPS 160927 WITH SCORE 161245.542
AT ITER 969 NEW BEST:: SOT 1850294 SOS 318062 HAS SOPS 318062 HAS SOUS 160767 HAS SOUPS 160767 WITH SCORE 161085.062
AT ITER 1045 NEW BEST:: SOT 1850290 SOS 318038 HAS SOPS 318038 HAS SOUS 160759 HAS SOUPS 160759 WITH SCORE 161077.038
AT ITER 1069 NEW BEST:: SOT 1850278 SOS 317966 HAS SOPS 317966 HAS SOUS 160735 HAS SOUPS 160735 WITH SCORE 161052.966
AT ITER 1075 NEW BEST:: SOT 1850278 SOS 318082 HAS SOPS 318082 HAS SOUS 160691 HAS SOUPS 160691 WITH SCORE 161009.082
AT ITER 1099 NEW BEST:: SOT 1850501 SOS 318650 HAS SOPS 318650 HAS SOUS 160630 HAS SOUPS 160630 WITH SCORE 160948.65
AT ITER 1144 NEW BEST:: SOT 1850456 SOS 318605 HAS SOPS 318605 HAS SOUS 160605 HAS SOUPS 160605 WITH SCORE 160923.605
AT ITER 1176 NEW BEST:: SOT 1850161 SOS 318015 HAS SOPS 318015 HAS SOUS 160251 HAS SOUPS 160251 WITH SCORE 160569.015
AT ITER 1188 NEW BEST:: SOT 1850209 SOS 318111 HAS SOPS 318111 HAS SOUS 160239 HAS SOUPS 160239 WITH SCORE 160557.111
AT ITER 1216 NEW BEST:: SOT 1849799 SOS 317619 HAS SOPS 317619 HAS SOUS 159695 HAS SOUPS 159695 WITH SCORE 160012.619
AT ITER 1259 NEW BEST:: SOT 1849751 SOS 317523 HAS SOPS 317523 HAS SOUS 159394 HAS SOUPS 159394 WITH SCORE 159711.523
AT ITER 1285 NEW BEST:: SOT 1849528 SOS 317244 HAS SOPS 317244 HAS SOUS 159087 HAS SOUPS 159087 WITH SCORE 159404.244
AT ITER 1290 NEW BEST:: SOT 1849308 SOS 316980 HAS SOPS 316980 HAS SOUS 158823 HAS SOUPS 158823 WITH SCORE 159139.98
AT ITER 1300 NEW BEST:: SOT 1849243 SOS 316902 HAS SOPS 316902 HAS SOUS 158749 HAS SOUPS 158749 WITH SCORE 159065.902
AT ITER 1301 NEW BEST:: SOT 1849227 SOS 316886 HAS SOPS 316886 HAS SOUS 158733 HAS SOUPS 158733 WITH SCORE 159049.886
AT ITER 1312 NEW BEST:: SOT 1849227 SOS 316886 HAS SOPS 316886 HAS SOUS 158716 HAS SOUPS 158716 WITH SCORE 159032.886
AT ITER 1317 NEW BEST:: SOT 1849198 SOS 316857 HAS SOPS 316857 HAS SOUS 158687 HAS SOUPS 158687 WITH SCORE 159003.857
AT ITER 1347 NEW BEST:: SOT 1849198 SOS 316857 HAS SOPS 316857 HAS SOUS 158653 HAS SOUPS 158653 WITH SCORE 158969.857
AT ITER 1366 NEW BEST:: SOT 1849198 SOS 316822 HAS SOPS 316822 HAS SOUS 158646 HAS SOUPS 158646 WITH SCORE 158962.822
AT ITER 1411 NEW BEST:: SOT 1849195 SOS 316816 HAS SOPS 316816 HAS SOUS 158640 HAS SOUPS 158640 WITH SCORE 158956.816
AT ITER 1462 NEW BEST:: SOT 1849195 SOS 316642 HAS SOPS 316642 HAS SOUS 158582 HAS SOUPS 158582 WITH SCORE 158898.642
AT ITER 1495 NEW BEST:: SOT 1849143 SOS 316590 HAS SOPS 316590 HAS SOUS 158530 HAS SOUPS 158530 WITH SCORE 158846.59
AT ITER 1514 NEW BEST:: SOT 1849200 SOS 316647 HAS SOPS 316647 HAS SOUS 158399 HAS SOUPS 158399 WITH SCORE 158715.647
AT ITER 1531 NEW BEST:: SOT 1849200 SOS 316450 HAS SOPS 316450 HAS SOUS 158366 HAS SOUPS 158366 WITH SCORE 158682.45
AT ITER 1559 NEW BEST:: SOT 1849224 SOS 316498 HAS SOPS 316498 HAS SOUS 158343 HAS SOUPS 158343 WITH SCORE 158659.498
AT ITER 1567 NEW BEST:: SOT 1849079 SOS 316179 HAS SOPS 316179 HAS SOUS 158140 HAS SOUPS 158140 WITH SCORE 158456.179
AT ITER 1575 NEW BEST:: SOT 1848929 SOS 315879 HAS SOPS 315879 HAS SOUS 157960 HAS SOUPS 157960 WITH SCORE 158275.879
AT ITER 1730 NEW BEST:: SOT 1848907 SOS 315878 HAS SOPS 315878 HAS SOUS 157895 HAS SOUPS 157895 WITH SCORE 158210.878
AT ITER 1745 NEW BEST:: SOT 1848896 SOS 315812 HAS SOPS 315812 HAS SOUS 157873 HAS SOUPS 157873 WITH SCORE 158188.812
AT ITER 1761 NEW BEST:: SOT 1848896 SOS 315900 HAS SOPS 315900 HAS SOUS 157829 HAS SOUPS 157829 WITH SCORE 158144.9
AT ITER 1781 NEW BEST:: SOT 1848606 SOS 315262 HAS SOPS 315262 HAS SOUS 157423 HAS SOUPS 157423 WITH SCORE 157738.262
AT ITER 1789 NEW BEST:: SOT 1848606 SOS 315133 HAS SOPS 315133 HAS SOUS 157418 HAS SOUPS 157418 WITH SCORE 157733.133
AT ITER 1792 NEW BEST:: SOT 1848606 SOS 314737 HAS SOPS 314737 HAS SOUS 157286 HAS SOUPS 157286 WITH SCORE 157600.737
AT ITER 1894 NEW BEST:: SOT 1848606 SOS 314736 HAS SOPS 314736 HAS SOUS 157285 HAS SOUPS 157285 WITH SCORE 157599.736
AT ITER 1915 NEW BEST:: SOT 1848446 SOS 314416 HAS SOPS 314416 HAS SOUS 157093 HAS SOUPS 157093 WITH SCORE 157407.416
AT ITER 1983 NEW BEST:: SOT 1848446 SOS 314560 HAS SOPS 314560 HAS SOUS 157041 HAS SOUPS 157041 WITH SCORE 157355.56
AT ITER 2051 NEW BEST:: SOT 1848446 SOS 314470 HAS SOPS 314470 HAS SOUS 157023 HAS SOUPS 157023 WITH SCORE 157337.47
AT ITER 2066 NEW BEST:: SOT 1848126 SOS 314086 HAS SOPS 314086 HAS SOUS 156383 HAS SOUPS 156383 WITH SCORE 156697.086
AT ITER 2199 NEW BEST:: SOT 1847936 SOS 313668 HAS SOPS 313668 HAS SOUS 156117 HAS SOUPS 156117 WITH SCORE 156430.668
AT ITER 2239 NEW BEST:: SOT 1847936 SOS 313200 HAS SOPS 313200 HAS SOUS 155961 HAS SOUPS 155961 WITH SCORE 156274.2
AT ITER 2246 NEW BEST:: SOT 1847921 SOS 313185 HAS SOPS 313185 HAS SOUS 155961 HAS SOUPS 155961 WITH SCORE 156274.185
AT ITER 2266 NEW BEST:: SOT 1847811 SOS 313088 HAS SOPS 313088 HAS SOUS 155916 HAS SOUPS 155916 WITH SCORE 156229.088
AT ITER 2395 NEW BEST:: SOT 1847811 SOS 312808 HAS SOPS 312808 HAS SOUS 155860 HAS SOUPS 155860 WITH SCORE 156172.808
AT ITER 2437 NEW BEST:: SOT 1847750 SOS 312442 HAS SOPS 312442 HAS SOUS 155738 HAS SOUPS 155738 WITH SCORE 156050.442
AT ITER 2452 NEW BEST:: SOT 1847750 SOS 312442 HAS SOPS 312442 HAS SOUS 155688 HAS SOUPS 155688 WITH SCORE 156000.442
AT ITER 2480 NEW BEST:: SOT 1847750 SOS 312702 HAS SOPS 312702 HAS SOUS 155505 HAS SOUPS 155505 WITH SCORE 155817.702
AT ITER 2630 NEW BEST:: SOT 1847375 SOS 312252 HAS SOPS 312252 HAS SOUS 154980 HAS SOUPS 154980 WITH SCORE 155292.252
AT ITER 2660 NEW BEST:: SOT 1847130 SOS 311580 HAS SOPS 311580 HAS SOUS 154640 HAS SOUPS 154640 WITH SCORE 154951.58
AT ITER 2778 NEW BEST:: SOT 1846955 SOS 311230 HAS SOPS 311230 HAS SOUS 154430 HAS SOUPS 154430 WITH SCORE 154741.23
AT ITER 2802 NEW BEST:: SOT 1846705 SOS 310730 HAS SOPS 310730 HAS SOUS 154130 HAS SOUPS 154130 WITH SCORE 154440.73
AT ITER 2869 NEW BEST:: SOT 1846705 SOS 310920 HAS SOPS 310920 HAS SOUS 154105 HAS SOUPS 154105 WITH SCORE 154415.92
AT ITER 2900 NEW BEST:: SOT 1846850 SOS 311156 HAS SOPS 311156 HAS SOUS 154045 HAS SOUPS 154045 WITH SCORE 154356.156
AT ITER 2976 NEW BEST:: SOT 1846847 SOS 311153 HAS SOPS 311153 HAS SOUS 154042 HAS SOUPS 154042 WITH SCORE 154353.153
AT ITER 3101 NEW BEST:: SOT 1846847 SOS 311281 HAS SOPS 311281 HAS SOUS 154004 HAS SOUPS 154004 WITH SCORE 154315.281
AT ITER 3102 NEW BEST:: SOT 1846836 SOS 311215 HAS SOPS 311215 HAS SOUS 153982 HAS SOUPS 153982 WITH SCORE 154293.215
AT ITER 3172 NEW BEST:: SOT 1846836 SOS 311155 HAS SOPS 311155 HAS SOUS 153962 HAS SOUPS 153962 WITH SCORE 154273.155
AT ITER 3182 NEW BEST:: SOT 1846749 SOS 310601 HAS SOPS 310601 HAS SOUS 153712 HAS SOUPS 153712 WITH SCORE 154022.601
AT ITER 3274 NEW BEST:: SOT 1846457 SOS 310309 HAS SOPS 310309 HAS SOUS 153420 HAS SOUPS 153420 WITH SCORE 153730.309
AT ITER 3280 NEW BEST:: SOT 1846307 SOS 310009 HAS SOPS 310009 HAS SOUS 153240 HAS SOUPS 153240 WITH SCORE 153550.009
AT ITER 3295 NEW BEST:: SOT 1846291 SOS 309706 HAS SOPS 309706 HAS SOUS 153173 HAS SOUPS 153173 WITH SCORE 153482.706
AT ITER 3342 NEW BEST:: SOT 1846141 SOS 309526 HAS SOPS 309526 HAS SOUS 152911 HAS SOUPS 152911 WITH SCORE 153220.526
AT ITER 3368 NEW BEST:: SOT 1846141 SOS 309526 HAS SOPS 309526 HAS SOUS 152901 HAS SOUPS 152901 WITH SCORE 153210.526
AT ITER 3370 NEW BEST:: SOT 1846108 SOS 309274 HAS SOPS 309274 HAS SOUS 152777 HAS SOUPS 152777 WITH SCORE 153086.274
AT ITER 3398 NEW BEST:: SOT 1846108 SOS 309274 HAS SOPS 309274 HAS SOUS 152744 HAS SOUPS 152744 WITH SCORE 153053.274
AT ITER 3431 NEW BEST:: SOT 1846108 SOS 309318 HAS SOPS 309318 HAS SOUS 152732 HAS SOUPS 152732 WITH SCORE 153041.318
AT ITER 3450 NEW BEST:: SOT 1845973 SOS 309156 HAS SOPS 309156 HAS SOUS 152471 HAS SOUPS 152471 WITH SCORE 152780.156
AT ITER 3452 NEW BEST:: SOT 1845973 SOS 309130 HAS SOPS 309130 HAS SOUS 152445 HAS SOUPS 152445 WITH SCORE 152754.13
AT ITER 3489 NEW BEST:: SOT 1845973 SOS 309130 HAS SOPS 309130 HAS SOUS 152425 HAS SOUPS 152425 WITH SCORE 152734.13
AT ITER 3505 NEW BEST:: SOT 1845967 SOS 309069 HAS SOPS 309069 HAS SOUS 152412 HAS SOUPS 152412 WITH SCORE 152721.069
AT ITER 3536 NEW BEST:: SOT 1845967 SOS 308695 HAS SOPS 308695 HAS SOUS 152358 HAS SOUPS 152358 WITH SCORE 152666.695
AT ITER 3589 NEW BEST:: SOT 1845717 SOS 308195 HAS SOPS 308195 HAS SOUS 152058 HAS SOUPS 152058 WITH SCORE 152366.195
AT ITER 3607 NEW BEST:: SOT 1845694 SOS 308057 HAS SOPS 308057 HAS SOUS 152012 HAS SOUPS 152012 WITH SCORE 152320.057
AT ITER 3653 NEW BEST:: SOT 1845693 SOS 308056 HAS SOPS 308056 HAS SOUS 152012 HAS SOUPS 152012 WITH SCORE 152320.056
AT ITER 3656 NEW BEST:: SOT 1845669 SOS 308032 HAS SOPS 308032 HAS SOUS 151988 HAS SOUPS 151988 WITH SCORE 152296.032
AT ITER 3736 NEW BEST:: SOT 1845669 SOS 308032 HAS SOPS 308032 HAS SOUS 151948 HAS SOUPS 151948 WITH SCORE 152256.032
AT ITER 3754 NEW BEST:: SOT 1845669 SOS 308044 HAS SOPS 308044 HAS SOUS 151933 HAS SOUPS 151933 WITH SCORE 152241.044
AT ITER 3779 NEW BEST:: SOT 1845474 SOS 307849 HAS SOPS 307849 HAS SOUS 151738 HAS SOUPS 151738 WITH SCORE 152045.849
AT ITER 3797 NEW BEST:: SOT 1845453 SOS 307828 HAS SOPS 307828 HAS SOUS 151720 HAS SOUPS 151720 WITH SCORE 152027.828
AT ITER 3822 NEW BEST:: SOT 1845435 SOS 307720 HAS SOPS 307720 HAS SOUS 151684 HAS SOUPS 151684 WITH SCORE 151991.72
AT ITER 3866 NEW BEST:: SOT 1845435 SOS 307764 HAS SOPS 307764 HAS SOUS 151640 HAS SOUPS 151640 WITH SCORE 151947.764
AT ITER 3867 NEW BEST:: SOT 1845427 SOS 307768 HAS SOPS 307768 HAS SOUS 151632 HAS SOUPS 151632 WITH SCORE 151939.768
AT ITER 3872 NEW BEST:: SOT 1845415 SOS 307696 HAS SOPS 307696 HAS SOUS 151608 HAS SOUPS 151608 WITH SCORE 151915.696
AT ITER 3896 NEW BEST:: SOT 1845391 SOS 307672 HAS SOPS 307672 HAS SOUS 151565 HAS SOUPS 151565 WITH SCORE 151872.672
AT ITER 3932 NEW BEST:: SOT 1845404 SOS 307685 HAS SOPS 307685 HAS SOUS 151557 HAS SOUPS 151557 WITH SCORE 151864.685
AT ITER 4006 NEW BEST:: SOT 1845404 SOS 307570 HAS SOPS 307570 HAS SOUS 151534 HAS SOUPS 151534 WITH SCORE 151841.57
AT ITER 4023 NEW BEST:: SOT 1845369 SOS 307535 HAS SOPS 307535 HAS SOUS 151499 HAS SOUPS 151499 WITH SCORE 151806.535
AT ITER 4024 NEW BEST:: SOT 1845342 SOS 307460 HAS SOPS 307460 HAS SOUS 151456 HAS SOUPS 151456 WITH SCORE 151763.46
AT ITER 4048 NEW BEST:: SOT 1845150 SOS 307268 HAS SOPS 307268 HAS SOUS 151264 HAS SOUPS 151264 WITH SCORE 151571.268
AT ITER 4117 NEW BEST:: SOT 1845106 SOS 307144 HAS SOPS 307144 HAS SOUS 151140 HAS SOUPS 151140 WITH SCORE 151447.144
AT ITER 4158 NEW BEST:: SOT 1845101 SOS 307134 HAS SOPS 307134 HAS SOUS 151130 HAS SOUPS 151130 WITH SCORE 151437.134
AT ITER 4166 NEW BEST:: SOT 1845092 SOS 307044 HAS SOPS 307044 HAS SOUS 151129 HAS SOUPS 151129 WITH SCORE 151436.044
AT ITER 4177 NEW BEST:: SOT 1845092 SOS 307013 HAS SOPS 307013 HAS SOUS 151104 HAS SOUPS 151104 WITH SCORE 151411.013
AT ITER 4202 NEW BEST:: SOT 1844729 SOS 306379 HAS SOPS 306379 HAS SOUS 150730 HAS SOUPS 150730 WITH SCORE 151036.379
AT ITER 4222 NEW BEST:: SOT 1844729 SOS 305982 HAS SOPS 305982 HAS SOUS 150681 HAS SOUPS 150681 WITH SCORE 150986.982
AT ITER 4306 NEW BEST:: SOT 1844714 SOS 305964 HAS SOPS 305964 HAS SOUS 150663 HAS SOUPS 150663 WITH SCORE 150968.964
AT ITER 4337 NEW BEST:: SOT 1844679 SOS 305929 HAS SOPS 305929 HAS SOUS 150628 HAS SOUPS 150628 WITH SCORE 150933.929
AT ITER 4379 NEW BEST:: SOT 1844574 SOS 305719 HAS SOPS 305719 HAS SOUS 150502 HAS SOUPS 150502 WITH SCORE 150807.719
AT ITER 4383 NEW BEST:: SOT 1844567 SOS 305677 HAS SOPS 305677 HAS SOUS 150488 HAS SOUPS 150488 WITH SCORE 150793.677
AT ITER 4385 NEW BEST:: SOT 1844692 SOS 305875 HAS SOPS 305875 HAS SOUS 150448 HAS SOUPS 150448 WITH SCORE 150753.875
AT ITER 4408 NEW BEST:: SOT 1844685 SOS 305779 HAS SOPS 305779 HAS SOUS 150380 HAS SOUPS 150380 WITH SCORE 150685.779
AT ITER 4445 NEW BEST:: SOT 1844662 SOS 305756 HAS SOPS 305756 HAS SOUS 150349 HAS SOUPS 150349 WITH SCORE 150654.756
AT ITER 4456 NEW BEST:: SOT 1844555 SOS 305169 HAS SOPS 305169 HAS SOUS 150082 HAS SOUPS 150082 WITH SCORE 150387.169
AT ITER 4481 NEW BEST:: SOT 1844555 SOS 305345 HAS SOPS 305345 HAS SOUS 150022 HAS SOUPS 150022 WITH SCORE 150327.345
AT ITER 4489 NEW BEST:: SOT 1844315 SOS 304817 HAS SOPS 304817 HAS SOUS 149686 HAS SOUPS 149686 WITH SCORE 149990.817
AT ITER 4490 NEW BEST:: SOT 1844315 SOS 304817 HAS SOPS 304817 HAS SOUS 149634 HAS SOUPS 149634 WITH SCORE 149938.817
AT ITER 4624 NEW BEST:: SOT 1844260 SOS 304762 HAS SOPS 304762 HAS SOUS 149579 HAS SOUPS 149579 WITH SCORE 149883.762
AT ITER 4642 NEW BEST:: SOT 1844260 SOS 304866 HAS SOPS 304866 HAS SOUS 149527 HAS SOUPS 149527 WITH SCORE 149831.866
AT ITER 4679 NEW BEST:: SOT 1844015 SOS 304376 HAS SOPS 304376 HAS SOUS 149233 HAS SOUPS 149233 WITH SCORE 149537.376
AT ITER 4687 NEW BEST:: SOT 1844018 SOS 304462 HAS SOPS 304462 HAS SOUS 149183 HAS SOUPS 149183 WITH SCORE 149487.462
AT ITER 4819 NEW BEST:: SOT 1843990 SOS 304434 HAS SOPS 304434 HAS SOUS 149155 HAS SOUPS 149155 WITH SCORE 149459.434
AT ITER 4888 NEW BEST:: SOT 1843990 SOS 304416 HAS SOPS 304416 HAS SOUS 149077 HAS SOUPS 149077 WITH SCORE 149381.416
AT ITER 4897 NEW BEST:: SOT 1843970 SOS 304392 HAS SOPS 304392 HAS SOUS 149053 HAS SOUPS 149053 WITH SCORE 149357.392
AT ITER 4925 NEW BEST:: SOT 1843957 SOS 304103 HAS SOPS 304103 HAS SOUS 149000 HAS SOUPS 149000 WITH SCORE 149304.103
AT ITER 4955 NEW BEST:: SOT 1843900 SOS 303637 HAS SOPS 303637 HAS SOUS 148993 HAS SOUPS 148993 WITH SCORE 149296.637
AT ITER 5008 NEW BEST:: SOT 1843862 SOS 303607 HAS SOPS 303607 HAS SOUS 148991 HAS SOUPS 148991 WITH SCORE 149294.607
AT ITER 5027 NEW BEST:: SOT 1843862 SOS 303652 HAS SOPS 303652 HAS SOUS 148781 HAS SOUPS 148781 WITH SCORE 149084.652
AT ITER 5058 NEW BEST:: SOT 1843850 SOS 303580 HAS SOPS 303580 HAS SOUS 148757 HAS SOUPS 148757 WITH SCORE 149060.58
AT ITER 5067 NEW BEST:: SOT 1843560 SOS 303232 HAS SOPS 303232 HAS SOUS 148409 HAS SOUPS 148409 WITH SCORE 148712.232
AT ITER 5070 NEW BEST:: SOT 1843618 SOS 303314 HAS SOPS 303314 HAS SOUS 148365 HAS SOUPS 148365 WITH SCORE 148668.314
AT ITER 5131 NEW BEST:: SOT 1843658 SOS 303482 HAS SOPS 303482 HAS SOUS 148361 HAS SOUPS 148361 WITH SCORE 148664.482
AT ITER 5145 NEW BEST:: SOT 1843616 SOS 303440 HAS SOPS 303440 HAS SOUS 148319 HAS SOUPS 148319 WITH SCORE 148622.44
AT ITER 5154 NEW BEST:: SOT 1843616 SOS 303440 HAS SOPS 303440 HAS SOUS 148297 HAS SOUPS 148297 WITH SCORE 148600.44
AT ITER 5156 NEW BEST:: SOT 1843201 SOS 302942 HAS SOPS 302942 HAS SOUS 147747 HAS SOUPS 147747 WITH SCORE 148049.942
AT ITER 5158 NEW BEST:: SOT 1843195 SOS 302869 HAS SOPS 302869 HAS SOUS 147698 HAS SOUPS 147698 WITH SCORE 148000.869
AT ITER 5184 NEW BEST:: SOT 1843137 SOS 302753 HAS SOPS 302753 HAS SOUS 147350 HAS SOUPS 147350 WITH SCORE 147652.753
AT ITER 5229 NEW BEST:: SOT 1843137 SOS 302766 HAS SOPS 302766 HAS SOUS 147339 HAS SOUPS 147339 WITH SCORE 147641.766
AT ITER 5313 NEW BEST:: SOT 1843137 SOS 302688 HAS SOPS 302688 HAS SOUS 147313 HAS SOUPS 147313 WITH SCORE 147615.688
AT ITER 5335 NEW BEST:: SOT 1843131 SOS 302652 HAS SOPS 302652 HAS SOUS 147301 HAS SOUPS 147301 WITH SCORE 147603.652
AT ITER 5382 NEW BEST:: SOT 1843059 SOS 302220 HAS SOPS 302220 HAS SOUS 147157 HAS SOUPS 147157 WITH SCORE 147459.22
AT ITER 5435 NEW BEST:: SOT 1842951 SOS 302112 HAS SOPS 302112 HAS SOUS 147049 HAS SOUPS 147049 WITH SCORE 147351.112
AT ITER 5459 NEW BEST:: SOT 1842945 SOS 302106 HAS SOPS 302106 HAS SOUS 147043 HAS SOUPS 147043 WITH SCORE 147345.106
AT ITER 5476 NEW BEST:: SOT 1843132 SOS 302489 HAS SOPS 302489 HAS SOUS 146944 HAS SOUPS 146944 WITH SCORE 147246.489
AT ITER 5495 NEW BEST:: SOT 1843132 SOS 302453 HAS SOPS 302453 HAS SOUS 146932 HAS SOUPS 146932 WITH SCORE 147234.453
AT ITER 5604 NEW BEST:: SOT 1843129 SOS 302447 HAS SOPS 302447 HAS SOUS 146926 HAS SOUPS 146926 WITH SCORE 147228.447
AT ITER 5634 NEW BEST:: SOT 1843118 SOS 302381 HAS SOPS 302381 HAS SOUS 146904 HAS SOUPS 146904 WITH SCORE 147206.381
AT ITER 5636 NEW BEST:: SOT 1843112 SOS 302517 HAS SOPS 302517 HAS SOUS 146852 HAS SOUPS 146852 WITH SCORE 147154.517
AT ITER 5676 NEW BEST:: SOT 1842892 SOS 302033 HAS SOPS 302033 HAS SOUS 146544 HAS SOUPS 146544 WITH SCORE 146846.033
AT ITER 5692 NEW BEST:: SOT 1842802 SOS 301835 HAS SOPS 301835 HAS SOUS 146418 HAS SOUPS 146418 WITH SCORE 146719.835
AT ITER 5726 NEW BEST:: SOT 1842442 SOS 301194 HAS SOPS 301194 HAS SOUS 145993 HAS SOUPS 145993 WITH SCORE 146294.194
AT ITER 5753 NEW BEST:: SOT 1842433 SOS 301140 HAS SOPS 301140 HAS SOUS 145975 HAS SOUPS 145975 WITH SCORE 146276.14
AT ITER 5760 NEW BEST:: SOT 1842445 SOS 300982 HAS SOPS 300982 HAS SOUS 145953 HAS SOUPS 145953 WITH SCORE 146253.982
AT ITER 5786 NEW BEST:: SOT 1842419 SOS 300860 HAS SOPS 300860 HAS SOUS 145867 HAS SOUPS 145867 WITH SCORE 146167.86
AT ITER 5881 NEW BEST:: SOT 1842174 SOS 300321 HAS SOPS 300321 HAS SOUS 145524 HAS SOUPS 145524 WITH SCORE 145824.321
AT ITER 5926 NEW BEST:: SOT 1842157 SOS 300182 HAS SOPS 300182 HAS SOUS 145481 HAS SOUPS 145481 WITH SCORE 145781.182
AT ITER 5971 NEW BEST:: SOT 1842008 SOS 299908 HAS SOPS 299908 HAS SOUS 145307 HAS SOUPS 145307 WITH SCORE 145606.908
AT ITER 6010 NEW BEST:: SOT 1841995 SOS 299882 HAS SOPS 299882 HAS SOUS 145281 HAS SOUPS 145281 WITH SCORE 145580.882
AT ITER 6074 NEW BEST:: SOT 1841995 SOS 299767 HAS SOPS 299767 HAS SOUS 145258 HAS SOUPS 145258 WITH SCORE 145557.767
AT ITER 6097 NEW BEST:: SOT 1841940 SOS 299701 HAS SOPS 299701 HAS SOUS 145192 HAS SOUPS 145192 WITH SCORE 145491.701
AT ITER 6140 NEW BEST:: SOT 1841940 SOS 299701 HAS SOPS 299701 HAS SOUS 145174 HAS SOUPS 145174 WITH SCORE 145473.701
AT ITER 6147 NEW BEST:: SOT 1841892 SOS 299653 HAS SOPS 299653 HAS SOUS 145126 HAS SOUPS 145126 WITH SCORE 145425.653
AT ITER 6156 NEW BEST:: SOT 1841868 SOS 299629 HAS SOPS 299629 HAS SOUS 145102 HAS SOUPS 145102 WITH SCORE 145401.629
AT ITER 6188 NEW BEST:: SOT 1841867 SOS 299628 HAS SOPS 299628 HAS SOUS 145102 HAS SOUPS 145102 WITH SCORE 145401.628
AT ITER 6239 NEW BEST:: SOT 1841867 SOS 299618 HAS SOPS 299618 HAS SOUS 145100 HAS SOUPS 145100 WITH SCORE 145399.618
AT ITER 6293 NEW BEST:: SOT 1841850 SOS 299291 HAS SOPS 299291 HAS SOUS 145029 HAS SOUPS 145029 WITH SCORE 145328.291
AT ITER 6294 NEW BEST:: SOT 1841805 SOS 299269 HAS SOPS 299269 HAS SOUS 145007 HAS SOUPS 145007 WITH SCORE 145306.269
AT ITER 6329 NEW BEST:: SOT 1841795 SOS 299132 HAS SOPS 299132 HAS SOUS 144910 HAS SOUPS 144910 WITH SCORE 145209.132
AT ITER 6403 NEW BEST:: SOT 1841778 SOS 299098 HAS SOPS 299098 HAS SOUS 144876 HAS SOUPS 144876 WITH SCORE 145175.098
AT ITER 6409 NEW BEST:: SOT 1841766 SOS 299262 HAS SOPS 299262 HAS SOUS 144852 HAS SOUPS 144852 WITH SCORE 145151.262
AT ITER 6418 NEW BEST:: SOT 1841746 SOS 299238 HAS SOPS 299238 HAS SOUS 144812 HAS SOUPS 144812 WITH SCORE 145111.238
AT ITER 6437 NEW BEST:: SOT 1841706 SOS 299190 HAS SOPS 299190 HAS SOUS 144764 HAS SOUPS 144764 WITH SCORE 145063.19
AT ITER 6496 NEW BEST:: SOT 1841566 SOS 299050 HAS SOPS 299050 HAS SOUS 144624 HAS SOUPS 144624 WITH SCORE 144923.05
AT ITER 6555 NEW BEST:: SOT 1841568 SOS 299052 HAS SOPS 299052 HAS SOUS 144620 HAS SOUPS 144620 WITH SCORE 144919.052
AT ITER 6573 NEW BEST:: SOT 1841568 SOS 299052 HAS SOPS 299052 HAS SOUS 144586 HAS SOUPS 144586 WITH SCORE 144885.052
AT ITER 6623 NEW BEST:: SOT 1841568 SOS 299256 HAS SOPS 299256 HAS SOUS 144382 HAS SOUPS 144382 WITH SCORE 144681.256
AT ITER 6672 NEW BEST:: SOT 1841568 SOS 299209 HAS SOPS 299209 HAS SOUS 144335 HAS SOUPS 144335 WITH SCORE 144634.209
AT ITER 6742 NEW BEST:: SOT 1841536 SOS 299177 HAS SOPS 299177 HAS SOUS 144284 HAS SOUPS 144284 WITH SCORE 144583.177
AT ITER 6757 NEW BEST:: SOT 1841527 SOS 299168 HAS SOPS 299168 HAS SOUS 144240 HAS SOUPS 144240 WITH SCORE 144539.168
AT ITER 6770 NEW BEST:: SOT 1841517 SOS 299158 HAS SOPS 299158 HAS SOUS 144210 HAS SOUPS 144210 WITH SCORE 144509.158
AT ITER 6772 NEW BEST:: SOT 1841512 SOS 299153 HAS SOPS 299153 HAS SOUS 144209 HAS SOUPS 144209 WITH SCORE 144508.153
AT ITER 6802 NEW BEST:: SOT 1841491 SOS 299111 HAS SOPS 299111 HAS SOUS 144105 HAS SOUPS 144105 WITH SCORE 144404.111
AT ITER 6827 NEW BEST:: SOT 1841488 SOS 299093 HAS SOPS 299093 HAS SOUS 144099 HAS SOUPS 144099 WITH SCORE 144398.093
AT ITER 6933 NEW BEST:: SOT 1841484 SOS 299085 HAS SOPS 299085 HAS SOUS 144091 HAS SOUPS 144091 WITH SCORE 144390.085
AT ITER 6935 NEW BEST:: SOT 1841274 SOS 298657 HAS SOPS 298657 HAS SOUS 143839 HAS SOUPS 143839 WITH SCORE 144137.657
AT ITER 7024 NEW BEST:: SOT 1841274 SOS 298657 HAS SOPS 298657 HAS SOUS 143831 HAS SOUPS 143831 WITH SCORE 144129.657
AT ITER 7061 NEW BEST:: SOT 1841269 SOS 298416 HAS SOPS 298416 HAS SOUS 143794 HAS SOUPS 143794 WITH SCORE 144092.416
AT ITER 7078 NEW BEST:: SOT 1841268 SOS 298415 HAS SOPS 298415 HAS SOUS 143792 HAS SOUPS 143792 WITH SCORE 144090.415
AT ITER 7177 NEW BEST:: SOT 1841268 SOS 298187 HAS SOPS 298187 HAS SOUS 143716 HAS SOUPS 143716 WITH SCORE 144014.187
AT ITER 7184 NEW BEST:: SOT 1841254 SOS 298159 HAS SOPS 298159 HAS SOUS 143688 HAS SOUPS 143688 WITH SCORE 143986.159
AT ITER 7228 NEW BEST:: SOT 1841243 SOS 298148 HAS SOPS 298148 HAS SOUS 143677 HAS SOUPS 143677 WITH SCORE 143975.148
AT ITER 7243 NEW BEST:: SOT 1841123 SOS 297908 HAS SOPS 297908 HAS SOUS 143533 HAS SOUPS 143533 WITH SCORE 143830.908
AT ITER 7308 NEW BEST:: SOT 1841123 SOS 297758 HAS SOPS 297758 HAS SOUS 143503 HAS SOUPS 143503 WITH SCORE 143800.758
AT ITER 7315 NEW BEST:: SOT 1841071 SOS 297706 HAS SOPS 297706 HAS SOUS 143451 HAS SOUPS 143451 WITH SCORE 143748.706
AT ITER 7320 NEW BEST:: SOT 1841054 SOS 297836 HAS SOPS 297836 HAS SOUS 143318 HAS SOUPS 143318 WITH SCORE 143615.836
AT ITER 7359 NEW BEST:: SOT 1841022 SOS 297644 HAS SOPS 297644 HAS SOUS 143254 HAS SOUPS 143254 WITH SCORE 143551.644
AT ITER 7415 NEW BEST:: SOT 1841016 SOS 297632 HAS SOPS 297632 HAS SOUS 143242 HAS SOUPS 143242 WITH SCORE 143539.632
AT ITER 7432 NEW BEST:: SOT 1841001 SOS 297370 HAS SOPS 297370 HAS SOUS 143239 HAS SOUPS 143239 WITH SCORE 143536.37
AT ITER 7498 NEW BEST:: SOT 1840931 SOS 297138 HAS SOPS 297138 HAS SOUS 143195 HAS SOUPS 143195 WITH SCORE 143492.138
AT ITER 7521 NEW BEST:: SOT 1840925 SOS 297077 HAS SOPS 297077 HAS SOUS 143158 HAS SOUPS 143158 WITH SCORE 143455.077
AT ITER 7532 NEW BEST:: SOT 1840925 SOS 296952 HAS SOPS 296952 HAS SOUS 143133 HAS SOUPS 143133 WITH SCORE 143429.952
AT ITER 7564 NEW BEST:: SOT 1840860 SOS 296874 HAS SOPS 296874 HAS SOUS 143055 HAS SOUPS 143055 WITH SCORE 143351.874
AT ITER 7620 NEW BEST:: SOT 1840835 SOS 296844 HAS SOPS 296844 HAS SOUS 143003 HAS SOUPS 143003 WITH SCORE 143299.844
AT ITER 7639 NEW BEST:: SOT 1840756 SOS 296662 HAS SOPS 296662 HAS SOUS 142865 HAS SOUPS 142865 WITH SCORE 143161.662
AT ITER 7650 NEW BEST:: SOT 1840728 SOS 296530 HAS SOPS 296530 HAS SOUS 142855 HAS SOUPS 142855 WITH SCORE 143151.53
AT ITER 7657 NEW BEST:: SOT 1840728 SOS 296585 HAS SOPS 296585 HAS SOUS 142830 HAS SOUPS 142830 WITH SCORE 143126.585
AT ITER 7675 NEW BEST:: SOT 1840682 SOS 296309 HAS SOPS 296309 HAS SOUS 142738 HAS SOUPS 142738 WITH SCORE 143034.309
AT ITER 7735 NEW BEST:: SOT 1840434 SOS 296041 HAS SOPS 296041 HAS SOUS 142486 HAS SOUPS 142486 WITH SCORE 142782.041
AT ITER 7746 NEW BEST:: SOT 1840389 SOS 295951 HAS SOPS 295951 HAS SOUS 142432 HAS SOUPS 142432 WITH SCORE 142727.951
AT ITER 7864 NEW BEST:: SOT 1840149 SOS 295620 HAS SOPS 295620 HAS SOUS 142101 HAS SOUPS 142101 WITH SCORE 142396.62
AT ITER 7868 NEW BEST:: SOT 1840149 SOS 295620 HAS SOPS 295620 HAS SOUS 142061 HAS SOUPS 142061 WITH SCORE 142356.62
AT ITER 7895 NEW BEST:: SOT 1840098 SOS 295589 HAS SOPS 295589 HAS SOUS 142014 HAS SOUPS 142014 WITH SCORE 142309.589
AT ITER 7913 NEW BEST:: SOT 1840100 SOS 295617 HAS SOPS 295617 HAS SOUS 141974 HAS SOUPS 141974 WITH SCORE 142269.617
AT ITER 7990 NEW BEST:: SOT 1840100 SOS 295793 HAS SOPS 295793 HAS SOUS 141788 HAS SOUPS 141788 WITH SCORE 142083.793
AT ITER 8006 NEW BEST:: SOT 1840081 SOS 295743 HAS SOPS 295743 HAS SOUS 141614 HAS SOUPS 141614 WITH SCORE 141909.743
AT ITER 8017 NEW BEST:: SOT 1840061 SOS 295719 HAS SOPS 295719 HAS SOUS 141590 HAS SOUPS 141590 WITH SCORE 141885.719
AT ITER 8074 NEW BEST:: SOT 1839925 SOS 295556 HAS SOPS 295556 HAS SOUS 141427 HAS SOUPS 141427 WITH SCORE 141722.556
AT ITER 8164 NEW BEST:: SOT 1839834 SOS 295474 HAS SOPS 295474 HAS SOUS 141096 HAS SOUPS 141096 WITH SCORE 141391.474
AT ITER 8168 NEW BEST:: SOT 1839684 SOS 295274 HAS SOPS 295274 HAS SOUS 140890 HAS SOUPS 140890 WITH SCORE 141185.274
AT ITER 8392 NEW BEST:: SOT 1839689 SOS 295160 HAS SOPS 295160 HAS SOUS 140884 HAS SOUPS 140884 WITH SCORE 141179.16
AT ITER 8428 NEW BEST:: SOT 1839685 SOS 295152 HAS SOPS 295152 HAS SOUS 140876 HAS SOUPS 140876 WITH SCORE 141171.152
AT ITER 8433 NEW BEST:: SOT 1839675 SOS 295120 HAS SOPS 295120 HAS SOUS 140864 HAS SOUPS 140864 WITH SCORE 141159.12
AT ITER 8503 NEW BEST:: SOT 1839675 SOS 295102 HAS SOPS 295102 HAS SOUS 140858 HAS SOUPS 140858 WITH SCORE 141153.102
AT ITER 8518 NEW BEST:: SOT 1839624 SOS 294910 HAS SOPS 294910 HAS SOUS 140738 HAS SOUPS 140738 WITH SCORE 141032.91
AT ITER 8586 NEW BEST:: SOT 1839592 SOS 294782 HAS SOPS 294782 HAS SOUS 140722 HAS SOUPS 140722 WITH SCORE 141016.782
AT ITER 8665 NEW BEST:: SOT 1839592 SOS 294687 HAS SOPS 294687 HAS SOUS 140707 HAS SOUPS 140707 WITH SCORE 141001.687
AT ITER 8676 NEW BEST:: SOT 1839881 SOS 295351 HAS SOPS 295351 HAS SOUS 140563 HAS SOUPS 140563 WITH SCORE 140858.351
AT ITER 8694 NEW BEST:: SOT 1839845 SOS 295315 HAS SOPS 295315 HAS SOUS 140563 HAS SOUPS 140563 WITH SCORE 140858.315
AT ITER 8813 NEW BEST:: SOT 1839845 SOS 295065 HAS SOPS 295065 HAS SOUS 140513 HAS SOUPS 140513 WITH SCORE 140808.065
AT ITER 8923 NEW BEST:: SOT 1839845 SOS 294995 HAS SOPS 294995 HAS SOUS 140443 HAS SOUPS 140443 WITH SCORE 140737.995
AT ITER 8960 NEW BEST:: SOT 1839814 SOS 294985 HAS SOPS 294985 HAS SOUS 140333 HAS SOUPS 140333 WITH SCORE 140627.985
AT ITER 9035 NEW BEST:: SOT 1839570 SOS 294725 HAS SOPS 294725 HAS SOUS 140073 HAS SOUPS 140073 WITH SCORE 140367.725
AT ITER 9101 NEW BEST:: SOT 1839492 SOS 294257 HAS SOPS 294257 HAS SOUS 139917 HAS SOUPS 139917 WITH SCORE 140211.257
AT ITER 9152 NEW BEST:: SOT 1839492 SOS 294191 HAS SOPS 294191 HAS SOUS 139895 HAS SOUPS 139895 WITH SCORE 140189.191
AT ITER 9213 NEW BEST:: SOT 1839452 SOS 294143 HAS SOPS 294143 HAS SOUS 139847 HAS SOUPS 139847 WITH SCORE 140141.143
AT ITER 9214 NEW BEST:: SOT 1839800 SOS 295187 HAS SOPS 295187 HAS SOUS 139814 HAS SOUPS 139814 WITH SCORE 140109.187
AT ITER 9234 NEW BEST:: SOT 1839800 SOS 295187 HAS SOPS 295187 HAS SOUS 139810 HAS SOUPS 139810 WITH SCORE 140105.187
AT ITER 9244 NEW BEST:: SOT 1839784 SOS 295155 HAS SOPS 295155 HAS SOUS 139778 HAS SOUPS 139778 WITH SCORE 140073.155
AT ITER 9274 NEW BEST:: SOT 1839756 SOS 294987 HAS SOPS 294987 HAS SOUS 139722 HAS SOUPS 139722 WITH SCORE 140016.987
AT ITER 9278 NEW BEST:: SOT 1839756 SOS 294977 HAS SOPS 294977 HAS SOUS 139712 HAS SOUPS 139712 WITH SCORE 140006.977
AT ITER 9322 NEW BEST:: SOT 1839756 SOS 295109 HAS SOPS 295109 HAS SOUS 139547 HAS SOUPS 139547 WITH SCORE 139842.109
AT ITER 9335 NEW BEST:: SOT 1839736 SOS 295089 HAS SOPS 295089 HAS SOUS 139527 HAS SOUPS 139527 WITH SCORE 139822.089
AT ITER 9373 NEW BEST:: SOT 1839736 SOS 295078 HAS SOPS 295078 HAS SOUS 139516 HAS SOUPS 139516 WITH SCORE 139811.078
AT ITER 9379 NEW BEST:: SOT 1839696 SOS 295030 HAS SOPS 295030 HAS SOUS 139456 HAS SOUPS 139456 WITH SCORE 139751.03
AT ITER 9520 NEW BEST:: SOT 1839536 SOS 294710 HAS SOPS 294710 HAS SOUS 139264 HAS SOUPS 139264 WITH SCORE 139558.71
AT ITER 9540 NEW BEST:: SOT 1839510 SOS 294684 HAS SOPS 294684 HAS SOUS 139202 HAS SOUPS 139202 WITH SCORE 139496.684
AT ITER 9578 NEW BEST:: SOT 1839474 SOS 294648 HAS SOPS 294648 HAS SOUS 139202 HAS SOUPS 139202 WITH SCORE 139496.648
AT ITER 9627 NEW BEST:: SOT 1839463 SOS 294637 HAS SOPS 294637 HAS SOUS 139191 HAS SOUPS 139191 WITH SCORE 139485.637
AT ITER 9708 NEW BEST:: SOT 1839278 SOS 294230 HAS SOPS 294230 HAS SOUS 138932 HAS SOUPS 138932 WITH SCORE 139226.23
AT ITER 9734 NEW BEST:: SOT 1839253 SOS 294097 HAS SOPS 294097 HAS SOUS 138871 HAS SOUPS 138871 WITH SCORE 139165.097
AT ITER 9777 NEW BEST:: SOT 1839240 SOS 294084 HAS SOPS 294084 HAS SOUS 138871 HAS SOUPS 138871 WITH SCORE 139165.084
AT ITER 9854 NEW BEST:: SOT 1839174 SOS 293688 HAS SOPS 293688 HAS SOUS 138739 HAS SOUPS 138739 WITH SCORE 139032.688
AT ITER 9962 NEW BEST:: SOT 1839174 SOS 293868 HAS SOPS 293868 HAS SOUS 138679 HAS SOUPS 138679 WITH SCORE 138972.868
AT ITER 9998 NEW BEST:: SOT 1839138 SOS 293684 HAS SOPS 293684 HAS SOUS 138669 HAS SOUPS 138669 WITH SCORE 138962.684

BK_STOP 1678624160457

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C3K4P4B12"
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 HypercubeGrid-PT-C3K4P4B12, 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 r235-tall-167856421100008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C3K4P4B12.tgz
mv HypercubeGrid-PT-C3K4P4B12 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;