Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484100376.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DES-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484100376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 5.9K Feb 26 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 15:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 15:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 68K 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 1678367196603

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-01b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:06:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:06:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:06:38] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-09 13:06:38] [INFO ] Transformed 284 places.
[2023-03-09 13:06:38] [INFO ] Transformed 235 transitions.
[2023-03-09 13:06:38] [INFO ] Found NUPN structural information;
[2023-03-09 13:06:38] [INFO ] Parsed PT model containing 284 places and 235 transitions and 683 arcs in 117 ms.
[2023-03-09 13:06:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 284 places, 235 transitions and 683 arcs took 5 ms.
Total runtime 148 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 01b
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: 284 places, 235 transitions, 683 arcs.
AT ITER 0 NEW BEST:: SOT 38862 SOS 8656 HAS SOPS 8656 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.656
AT ITER 1 NEW BEST:: SOT 38856 SOS 8638 HAS SOPS 8638 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.638
AT ITER 20 NEW BEST:: SOT 38855 SOS 8603 HAS SOPS 8603 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7393.603
AT ITER 65 NEW BEST:: SOT 38820 SOS 8498 HAS SOPS 8498 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.498
AT ITER 77 NEW BEST:: SOT 38785 SOS 8502 HAS SOPS 8502 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7320.502
AT ITER 93 NEW BEST:: SOT 38774 SOS 8554 HAS SOPS 8554 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.554
AT ITER 111 NEW BEST:: SOT 38768 SOS 8554 HAS SOPS 8554 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7309.554
AT ITER 124 NEW BEST:: SOT 38758 SOS 8548 HAS SOPS 8548 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7301.548
AT ITER 137 NEW BEST:: SOT 38740 SOS 8427 HAS SOPS 8427 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7247.427
AT ITER 143 NEW BEST:: SOT 38741 SOS 8399 HAS SOPS 8399 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7234.399
AT ITER 185 NEW BEST:: SOT 38738 SOS 8398 HAS SOPS 8398 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7233.398
AT ITER 191 NEW BEST:: SOT 38724 SOS 8384 HAS SOPS 8384 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7219.384
AT ITER 193 NEW BEST:: SOT 38717 SOS 8339 HAS SOPS 8339 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7190.339
AT ITER 202 NEW BEST:: SOT 38717 SOS 8339 HAS SOPS 8339 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7188.339
AT ITER 236 NEW BEST:: SOT 38655 SOS 8281 HAS SOPS 8281 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.281
AT ITER 246 NEW BEST:: SOT 38605 SOS 8230 HAS SOPS 8230 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.23
AT ITER 260 NEW BEST:: SOT 38608 SOS 8279 HAS SOPS 8279 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7056.279
AT ITER 281 NEW BEST:: SOT 38595 SOS 8281 HAS SOPS 8281 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7055.281
AT ITER 316 NEW BEST:: SOT 38594 SOS 8288 HAS SOPS 8288 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7054.288
AT ITER 322 NEW BEST:: SOT 38587 SOS 8277 HAS SOPS 8277 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7042.277
AT ITER 354 NEW BEST:: SOT 38573 SOS 8263 HAS SOPS 8263 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7028.263
AT ITER 365 NEW BEST:: SOT 38566 SOS 8251 HAS SOPS 8251 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7020.251
AT ITER 389 NEW BEST:: SOT 38604 SOS 8326 HAS SOPS 8326 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7017.326
AT ITER 445 NEW BEST:: SOT 38581 SOS 8234 HAS SOPS 8234 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6971.234
AT ITER 450 NEW BEST:: SOT 38550 SOS 8224 HAS SOPS 8224 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6924.224
AT ITER 461 NEW BEST:: SOT 38549 SOS 8219 HAS SOPS 8219 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6922.219
AT ITER 484 NEW BEST:: SOT 38562 SOS 8231 HAS SOPS 8231 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6921.231
AT ITER 487 NEW BEST:: SOT 38552 SOS 8223 HAS SOPS 8223 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.223
AT ITER 551 NEW BEST:: SOT 38552 SOS 8220 HAS SOPS 8220 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6906.22
AT ITER 577 NEW BEST:: SOT 38550 SOS 8218 HAS SOPS 8218 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6906.218
AT ITER 605 NEW BEST:: SOT 38550 SOS 8205 HAS SOPS 8205 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6906.205
AT ITER 609 NEW BEST:: SOT 38550 SOS 8204 HAS SOPS 8204 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6905.204
AT ITER 631 NEW BEST:: SOT 38549 SOS 8203 HAS SOPS 8203 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.203
AT ITER 648 NEW BEST:: SOT 38545 SOS 8206 HAS SOPS 8206 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6900.206
AT ITER 662 NEW BEST:: SOT 38546 SOS 8205 HAS SOPS 8205 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.205
AT ITER 667 NEW BEST:: SOT 38543 SOS 8205 HAS SOPS 8205 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.205
AT ITER 706 NEW BEST:: SOT 38535 SOS 8196 HAS SOPS 8196 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6887.196
AT ITER 724 NEW BEST:: SOT 38537 SOS 8182 HAS SOPS 8182 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.182
AT ITER 738 NEW BEST:: SOT 38505 SOS 8157 HAS SOPS 8157 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.157
AT ITER 761 NEW BEST:: SOT 38504 SOS 8120 HAS SOPS 8120 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6818.12
AT ITER 775 NEW BEST:: SOT 38494 SOS 8110 HAS SOPS 8110 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6808.11
AT ITER 815 NEW BEST:: SOT 38471 SOS 7995 HAS SOPS 7995 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6738.995
AT ITER 863 NEW BEST:: SOT 38471 SOS 7988 HAS SOPS 7988 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6731.988
AT ITER 915 NEW BEST:: SOT 38462 SOS 7979 HAS SOPS 7979 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6722.979
AT ITER 922 NEW BEST:: SOT 38444 SOS 7919 HAS SOPS 7919 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.919
AT ITER 984 NEW BEST:: SOT 38436 SOS 7890 HAS SOPS 7890 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6695.89
AT ITER 1028 NEW BEST:: SOT 38435 SOS 7888 HAS SOPS 7888 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6693.888
AT ITER 1031 NEW BEST:: SOT 38434 SOS 7887 HAS SOPS 7887 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6692.887
AT ITER 1053 NEW BEST:: SOT 38427 SOS 7873 HAS SOPS 7873 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6685.873
AT ITER 1076 NEW BEST:: SOT 38414 SOS 7893 HAS SOPS 7893 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6684.893
AT ITER 1099 NEW BEST:: SOT 38414 SOS 7886 HAS SOPS 7886 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6677.886
AT ITER 1123 NEW BEST:: SOT 38416 SOS 7883 HAS SOPS 7883 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6674.883
AT ITER 1136 NEW BEST:: SOT 38420 SOS 7881 HAS SOPS 7881 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6656.881
AT ITER 1166 NEW BEST:: SOT 38395 SOS 7917 HAS SOPS 7917 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.917
AT ITER 1193 NEW BEST:: SOT 38395 SOS 7903 HAS SOPS 7903 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.903
AT ITER 1202 NEW BEST:: SOT 38393 SOS 7899 HAS SOPS 7899 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.899
AT ITER 1227 NEW BEST:: SOT 38380 SOS 7859 HAS SOPS 7859 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6566.859
AT ITER 1280 NEW BEST:: SOT 38376 SOS 7894 HAS SOPS 7894 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6563.894
AT ITER 1309 NEW BEST:: SOT 38344 SOS 7860 HAS SOPS 7860 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.86
AT ITER 1311 NEW BEST:: SOT 38339 SOS 7830 HAS SOPS 7830 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6519.83
AT ITER 1312 NEW BEST:: SOT 38347 SOS 7838 HAS SOPS 7838 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6515.838
AT ITER 1314 NEW BEST:: SOT 38324 SOS 7822 HAS SOPS 7822 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6506.822
AT ITER 1336 NEW BEST:: SOT 38324 SOS 7823 HAS SOPS 7823 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.823
AT ITER 1420 NEW BEST:: SOT 38323 SOS 7819 HAS SOPS 7819 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.819
AT ITER 1423 NEW BEST:: SOT 38326 SOS 7860 HAS SOPS 7860 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.86
AT ITER 1468 NEW BEST:: SOT 38325 SOS 7871 HAS SOPS 7871 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.871
AT ITER 1470 NEW BEST:: SOT 38312 SOS 7810 HAS SOPS 7810 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6456.81
AT ITER 1475 NEW BEST:: SOT 38309 SOS 7807 HAS SOPS 7807 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6453.807
AT ITER 1555 NEW BEST:: SOT 38309 SOS 7812 HAS SOPS 7812 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.812
AT ITER 1609 NEW BEST:: SOT 38307 SOS 7806 HAS SOPS 7806 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.806
AT ITER 1628 NEW BEST:: SOT 38271 SOS 7834 HAS SOPS 7834 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6408.834
AT ITER 1678 NEW BEST:: SOT 38272 SOS 7824 HAS SOPS 7824 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.824
AT ITER 1721 NEW BEST:: SOT 38272 SOS 7804 HAS SOPS 7804 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.804
AT ITER 1722 NEW BEST:: SOT 38272 SOS 7795 HAS SOPS 7795 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6372.795
AT ITER 1758 NEW BEST:: SOT 38262 SOS 7785 HAS SOPS 7785 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.785
AT ITER 1765 NEW BEST:: SOT 38261 SOS 7804 HAS SOPS 7804 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6361.804
AT ITER 1787 NEW BEST:: SOT 38244 SOS 7787 HAS SOPS 7787 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6317.787
AT ITER 1810 NEW BEST:: SOT 38245 SOS 7778 HAS SOPS 7778 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6308.778
AT ITER 1922 NEW BEST:: SOT 38242 SOS 7781 HAS SOPS 7781 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6305.781
AT ITER 1952 NEW BEST:: SOT 38233 SOS 7785 HAS SOPS 7785 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.785
AT ITER 1998 NEW BEST:: SOT 38209 SOS 7762 HAS SOPS 7762 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6280.762
AT ITER 2024 NEW BEST:: SOT 38225 SOS 7748 HAS SOPS 7748 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6264.748
AT ITER 2029 NEW BEST:: SOT 38226 SOS 7749 HAS SOPS 7749 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.749
AT ITER 2122 NEW BEST:: SOT 38226 SOS 7748 HAS SOPS 7748 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.748
AT ITER 2132 NEW BEST:: SOT 38220 SOS 7730 HAS SOPS 7730 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6249.73
AT ITER 2160 NEW BEST:: SOT 38212 SOS 7695 HAS SOPS 7695 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6248.695
AT ITER 2194 NEW BEST:: SOT 38212 SOS 7693 HAS SOPS 7693 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6247.693
AT ITER 2221 NEW BEST:: SOT 38203 SOS 7682 HAS SOPS 7682 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6246.682
AT ITER 2312 NEW BEST:: SOT 38180 SOS 7636 HAS SOPS 7636 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6223.636
AT ITER 2383 NEW BEST:: SOT 38179 SOS 7634 HAS SOPS 7634 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6222.634
AT ITER 2388 NEW BEST:: SOT 38179 SOS 7625 HAS SOPS 7625 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.625
AT ITER 2395 NEW BEST:: SOT 38182 SOS 7624 HAS SOPS 7624 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6208.624
AT ITER 2406 NEW BEST:: SOT 38173 SOS 7623 HAS SOPS 7623 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6207.623
AT ITER 2432 NEW BEST:: SOT 38172 SOS 7629 HAS SOPS 7629 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6206.629
AT ITER 2455 NEW BEST:: SOT 38158 SOS 7615 HAS SOPS 7615 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6192.615
AT ITER 2463 NEW BEST:: SOT 38156 SOS 7617 HAS SOPS 7617 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6190.617
AT ITER 2475 NEW BEST:: SOT 38148 SOS 7596 HAS SOPS 7596 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6169.596
AT ITER 2497 NEW BEST:: SOT 38133 SOS 7587 HAS SOPS 7587 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6160.587
AT ITER 2507 NEW BEST:: SOT 38136 SOS 7580 HAS SOPS 7580 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6144.58
AT ITER 2509 NEW BEST:: SOT 38136 SOS 7577 HAS SOPS 7577 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6141.577
AT ITER 2517 NEW BEST:: SOT 38121 SOS 7547 HAS SOPS 7547 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6108.547
AT ITER 2567 NEW BEST:: SOT 38119 SOS 7537 HAS SOPS 7537 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.537
AT ITER 2572 NEW BEST:: SOT 38113 SOS 7524 HAS SOPS 7524 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6087.524
AT ITER 2620 NEW BEST:: SOT 38098 SOS 7487 HAS SOPS 7487 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6061.487
AT ITER 2621 NEW BEST:: SOT 38097 SOS 7486 HAS SOPS 7486 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6060.486
AT ITER 2636 NEW BEST:: SOT 38097 SOS 7497 HAS SOPS 7497 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6048.497
AT ITER 2654 NEW BEST:: SOT 38083 SOS 7469 HAS SOPS 7469 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.469
AT ITER 2672 NEW BEST:: SOT 38082 SOS 7468 HAS SOPS 7468 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6027.468
AT ITER 2674 NEW BEST:: SOT 38074 SOS 7467 HAS SOPS 7467 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6026.467
AT ITER 2780 NEW BEST:: SOT 38082 SOS 7507 HAS SOPS 7507 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6020.507
AT ITER 2841 NEW BEST:: SOT 38076 SOS 7501 HAS SOPS 7501 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6014.501
AT ITER 2871 NEW BEST:: SOT 38048 SOS 7463 HAS SOPS 7463 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5976.463
AT ITER 2929 NEW BEST:: SOT 38039 SOS 7461 HAS SOPS 7461 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5974.461
AT ITER 2951 NEW BEST:: SOT 38044 SOS 7468 HAS SOPS 7468 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5972.468
AT ITER 2975 NEW BEST:: SOT 38040 SOS 7464 HAS SOPS 7464 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5968.464
AT ITER 2987 NEW BEST:: SOT 38045 SOS 7469 HAS SOPS 7469 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.469
AT ITER 3007 NEW BEST:: SOT 38040 SOS 7458 HAS SOPS 7458 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5956.458
AT ITER 3013 NEW BEST:: SOT 38040 SOS 7449 HAS SOPS 7449 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5956.449
AT ITER 3028 NEW BEST:: SOT 38039 SOS 7448 HAS SOPS 7448 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.448
AT ITER 3043 NEW BEST:: SOT 38038 SOS 7447 HAS SOPS 7447 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.447
AT ITER 3045 NEW BEST:: SOT 38013 SOS 7423 HAS SOPS 7423 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.423
AT ITER 3056 NEW BEST:: SOT 38013 SOS 7408 HAS SOPS 7408 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5928.408
AT ITER 3171 NEW BEST:: SOT 38011 SOS 7404 HAS SOPS 7404 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.404
AT ITER 3176 NEW BEST:: SOT 38010 SOS 7386 HAS SOPS 7386 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.386
AT ITER 3216 NEW BEST:: SOT 38010 SOS 7385 HAS SOPS 7385 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5893.385
AT ITER 3227 NEW BEST:: SOT 38006 SOS 7381 HAS SOPS 7381 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5889.381
AT ITER 3251 NEW BEST:: SOT 38006 SOS 7394 HAS SOPS 7394 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5888.394
AT ITER 3264 NEW BEST:: SOT 38005 SOS 7392 HAS SOPS 7392 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5886.392
AT ITER 3293 NEW BEST:: SOT 37994 SOS 7381 HAS SOPS 7381 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5871.381
AT ITER 3337 NEW BEST:: SOT 37993 SOS 7371 HAS SOPS 7371 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5861.371
AT ITER 3373 NEW BEST:: SOT 38026 SOS 7402 HAS SOPS 7402 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5854.402
AT ITER 3395 NEW BEST:: SOT 37998 SOS 7374 HAS SOPS 7374 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5854.374
AT ITER 3414 NEW BEST:: SOT 37998 SOS 7371 HAS SOPS 7371 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5851.371
AT ITER 3418 NEW BEST:: SOT 37998 SOS 7370 HAS SOPS 7370 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5850.37
AT ITER 3457 NEW BEST:: SOT 37993 SOS 7365 HAS SOPS 7365 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5848.365
AT ITER 3537 NEW BEST:: SOT 37991 SOS 7362 HAS SOPS 7362 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5845.362
AT ITER 3586 NEW BEST:: SOT 37988 SOS 7356 HAS SOPS 7356 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5839.356
AT ITER 3627 NEW BEST:: SOT 37981 SOS 7349 HAS SOPS 7349 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5838.349
AT ITER 3659 NEW BEST:: SOT 37985 SOS 7300 HAS SOPS 7300 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5833.3
AT ITER 3739 NEW BEST:: SOT 37985 SOS 7241 HAS SOPS 7241 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5824.241
AT ITER 3815 NEW BEST:: SOT 37984 SOS 7239 HAS SOPS 7239 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5822.239
AT ITER 3816 NEW BEST:: SOT 37981 SOS 7233 HAS SOPS 7233 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5813.233
AT ITER 3840 NEW BEST:: SOT 37981 SOS 7225 HAS SOPS 7225 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5805.225
AT ITER 3905 NEW BEST:: SOT 37977 SOS 7195 HAS SOPS 7195 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5801.195
AT ITER 3945 NEW BEST:: SOT 37977 SOS 7193 HAS SOPS 7193 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5795.193
AT ITER 3977 NEW BEST:: SOT 37977 SOS 7225 HAS SOPS 7225 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5783.225
AT ITER 4005 NEW BEST:: SOT 38001 SOS 7224 HAS SOPS 7224 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5782.224
AT ITER 4067 NEW BEST:: SOT 38012 SOS 7235 HAS SOPS 7235 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5779.235
AT ITER 4082 NEW BEST:: SOT 38007 SOS 7225 HAS SOPS 7225 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5764.225
AT ITER 4160 NEW BEST:: SOT 38007 SOS 7218 HAS SOPS 7218 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5757.218
AT ITER 4183 NEW BEST:: SOT 38001 SOS 7215 HAS SOPS 7215 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5754.215
AT ITER 4270 NEW BEST:: SOT 37982 SOS 7177 HAS SOPS 7177 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5716.177
AT ITER 4486 NEW BEST:: SOT 37984 SOS 7184 HAS SOPS 7184 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5715.184
AT ITER 4658 NEW BEST:: SOT 37977 SOS 7174 HAS SOPS 7174 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5705.174
AT ITER 4670 NEW BEST:: SOT 37989 SOS 7170 HAS SOPS 7170 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5703.17
AT ITER 4867 NEW BEST:: SOT 37982 SOS 7163 HAS SOPS 7163 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5696.163
AT ITER 4881 NEW BEST:: SOT 37974 SOS 7151 HAS SOPS 7151 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5674.151
AT ITER 4924 NEW BEST:: SOT 37974 SOS 7150 HAS SOPS 7150 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5673.15
AT ITER 5009 NEW BEST:: SOT 37978 SOS 7146 HAS SOPS 7146 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5669.146
AT ITER 5013 NEW BEST:: SOT 37982 SOS 7137 HAS SOPS 7137 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5660.137
AT ITER 5032 NEW BEST:: SOT 37952 SOS 7116 HAS SOPS 7116 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5643.116
AT ITER 5034 NEW BEST:: SOT 37936 SOS 7101 HAS SOPS 7101 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5632.101
AT ITER 5128 NEW BEST:: SOT 37931 SOS 7096 HAS SOPS 7096 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5627.096
AT ITER 5132 NEW BEST:: SOT 37919 SOS 7087 HAS SOPS 7087 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5618.087
AT ITER 5139 NEW BEST:: SOT 37913 SOS 7077 HAS SOPS 7077 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5608.077
AT ITER 5155 NEW BEST:: SOT 37908 SOS 7076 HAS SOPS 7076 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5607.076
AT ITER 5175 NEW BEST:: SOT 37908 SOS 7076 HAS SOPS 7076 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5605.076
AT ITER 5190 NEW BEST:: SOT 37907 SOS 7075 HAS SOPS 7075 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5604.075
AT ITER 5322 NEW BEST:: SOT 37901 SOS 7073 HAS SOPS 7073 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5602.073
AT ITER 5334 NEW BEST:: SOT 37895 SOS 7067 HAS SOPS 7067 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5602.067
AT ITER 5341 NEW BEST:: SOT 37909 SOS 7055 HAS SOPS 7055 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5596.055
AT ITER 5393 NEW BEST:: SOT 37908 SOS 7053 HAS SOPS 7053 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5594.053
AT ITER 5398 NEW BEST:: SOT 37908 SOS 7053 HAS SOPS 7053 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5587.053
AT ITER 5414 NEW BEST:: SOT 37905 SOS 7047 HAS SOPS 7047 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5581.047
AT ITER 5424 NEW BEST:: SOT 37909 SOS 7046 HAS SOPS 7046 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5573.046
AT ITER 5425 NEW BEST:: SOT 37901 SOS 7038 HAS SOPS 7038 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5565.038
AT ITER 5429 NEW BEST:: SOT 37918 SOS 7070 HAS SOPS 7070 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5559.07
AT ITER 5475 NEW BEST:: SOT 37900 SOS 7041 HAS SOPS 7041 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5537.041
AT ITER 5501 NEW BEST:: SOT 37899 SOS 7040 HAS SOPS 7040 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5534.04
AT ITER 5509 NEW BEST:: SOT 37899 SOS 7026 HAS SOPS 7026 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5534.026
AT ITER 5524 NEW BEST:: SOT 37897 SOS 7024 HAS SOPS 7024 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5532.024
AT ITER 5621 NEW BEST:: SOT 37897 SOS 7024 HAS SOPS 7024 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5526.024
AT ITER 5646 NEW BEST:: SOT 37893 SOS 7012 HAS SOPS 7012 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5518.012
AT ITER 5659 NEW BEST:: SOT 37877 SOS 7004 HAS SOPS 7004 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5517.004
AT ITER 5675 NEW BEST:: SOT 37876 SOS 7003 HAS SOPS 7003 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5516.003
AT ITER 5764 NEW BEST:: SOT 37876 SOS 6973 HAS SOPS 6973 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.973
AT ITER 5842 NEW BEST:: SOT 37876 SOS 6972 HAS SOPS 6972 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5504.972
AT ITER 5863 NEW BEST:: SOT 37873 SOS 6964 HAS SOPS 6964 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5495.964
AT ITER 5916 NEW BEST:: SOT 37869 SOS 6960 HAS SOPS 6960 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.96
AT ITER 5947 NEW BEST:: SOT 37868 SOS 6958 HAS SOPS 6958 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.958
AT ITER 6045 NEW BEST:: SOT 37868 SOS 6957 HAS SOPS 6957 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5475.957
AT ITER 6048 NEW BEST:: SOT 37868 SOS 6940 HAS SOPS 6940 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.94
AT ITER 6088 NEW BEST:: SOT 37867 SOS 6936 HAS SOPS 6936 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.936
AT ITER 6121 NEW BEST:: SOT 37867 SOS 6891 HAS SOPS 6891 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5439.891
AT ITER 6131 NEW BEST:: SOT 37861 SOS 6877 HAS SOPS 6877 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.877
AT ITER 6216 NEW BEST:: SOT 37859 SOS 6863 HAS SOPS 6863 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.863
AT ITER 6235 NEW BEST:: SOT 37851 SOS 6840 HAS SOPS 6840 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5413.84
AT ITER 6246 NEW BEST:: SOT 37851 SOS 6841 HAS SOPS 6841 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5412.841
AT ITER 6300 NEW BEST:: SOT 37856 SOS 6919 HAS SOPS 6919 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.919
AT ITER 6357 NEW BEST:: SOT 37853 SOS 6921 HAS SOPS 6921 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.921
AT ITER 6400 NEW BEST:: SOT 37845 SOS 6919 HAS SOPS 6919 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5402.919
AT ITER 6420 NEW BEST:: SOT 37839 SOS 6907 HAS SOPS 6907 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.907
AT ITER 6573 NEW BEST:: SOT 37835 SOS 6906 HAS SOPS 6906 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.906
AT ITER 6585 NEW BEST:: SOT 37835 SOS 6905 HAS SOPS 6905 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5395.905
AT ITER 6587 NEW BEST:: SOT 37824 SOS 6897 HAS SOPS 6897 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.897
AT ITER 6592 NEW BEST:: SOT 37818 SOS 6985 HAS SOPS 6985 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.985
AT ITER 6594 NEW BEST:: SOT 37815 SOS 6973 HAS SOPS 6973 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.973
AT ITER 6607 NEW BEST:: SOT 37815 SOS 6970 HAS SOPS 6970 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5377.97
AT ITER 6788 NEW BEST:: SOT 37786 SOS 6924 HAS SOPS 6924 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.924
AT ITER 6823 NEW BEST:: SOT 37786 SOS 6922 HAS SOPS 6922 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.922
AT ITER 6854 NEW BEST:: SOT 37787 SOS 6921 HAS SOPS 6921 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5349.921
AT ITER 6955 NEW BEST:: SOT 37776 SOS 6878 HAS SOPS 6878 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.878
AT ITER 7004 NEW BEST:: SOT 37776 SOS 6892 HAS SOPS 6892 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.892
AT ITER 7132 NEW BEST:: SOT 37773 SOS 6890 HAS SOPS 6890 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.89
AT ITER 7169 NEW BEST:: SOT 37773 SOS 6876 HAS SOPS 6876 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.876
AT ITER 7192 NEW BEST:: SOT 37760 SOS 6814 HAS SOPS 6814 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.814
AT ITER 7250 NEW BEST:: SOT 37760 SOS 6811 HAS SOPS 6811 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5306.811
AT ITER 7252 NEW BEST:: SOT 37756 SOS 6807 HAS SOPS 6807 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5302.807
AT ITER 7257 NEW BEST:: SOT 37750 SOS 6801 HAS SOPS 6801 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.801
AT ITER 7291 NEW BEST:: SOT 37743 SOS 6800 HAS SOPS 6800 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5295.8
AT ITER 7329 NEW BEST:: SOT 37738 SOS 6795 HAS SOPS 6795 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.795
AT ITER 7407 NEW BEST:: SOT 37753 SOS 6765 HAS SOPS 6765 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.765
AT ITER 7438 NEW BEST:: SOT 37752 SOS 6748 HAS SOPS 6748 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.748
AT ITER 7464 NEW BEST:: SOT 37750 SOS 6744 HAS SOPS 6744 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.744
AT ITER 7493 NEW BEST:: SOT 37750 SOS 6739 HAS SOPS 6739 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.739
AT ITER 7608 NEW BEST:: SOT 37738 SOS 6727 HAS SOPS 6727 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.727
AT ITER 7614 NEW BEST:: SOT 37737 SOS 6725 HAS SOPS 6725 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.725
AT ITER 7632 NEW BEST:: SOT 37719 SOS 6653 HAS SOPS 6653 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5219.653
AT ITER 7661 NEW BEST:: SOT 37715 SOS 6649 HAS SOPS 6649 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5219.649
AT ITER 7693 NEW BEST:: SOT 37700 SOS 6634 HAS SOPS 6634 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.634
AT ITER 7737 NEW BEST:: SOT 37703 SOS 6636 HAS SOPS 6636 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5215.636
AT ITER 7780 NEW BEST:: SOT 37697 SOS 6634 HAS SOPS 6634 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5213.634
AT ITER 7802 NEW BEST:: SOT 37698 SOS 6660 HAS SOPS 6660 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5202.66
AT ITER 7804 NEW BEST:: SOT 37684 SOS 6660 HAS SOPS 6660 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.66
AT ITER 7899 NEW BEST:: SOT 37686 SOS 6665 HAS SOPS 6665 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.665
AT ITER 7939 NEW BEST:: SOT 37698 SOS 6609 HAS SOPS 6609 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.609
AT ITER 7961 NEW BEST:: SOT 37698 SOS 6607 HAS SOPS 6607 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.607
AT ITER 7962 NEW BEST:: SOT 37696 SOS 6602 HAS SOPS 6602 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5183.602
AT ITER 8027 NEW BEST:: SOT 37690 SOS 6600 HAS SOPS 6600 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.6
AT ITER 8203 NEW BEST:: SOT 37694 SOS 6599 HAS SOPS 6599 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5180.599
AT ITER 8209 NEW BEST:: SOT 37694 SOS 6595 HAS SOPS 6595 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5176.595
AT ITER 8363 NEW BEST:: SOT 37693 SOS 6592 HAS SOPS 6592 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5174.592
AT ITER 8366 NEW BEST:: SOT 37687 SOS 6590 HAS SOPS 6590 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5168.59
AT ITER 8474 NEW BEST:: SOT 37686 SOS 6588 HAS SOPS 6588 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5166.588
AT ITER 8524 NEW BEST:: SOT 37685 SOS 6586 HAS SOPS 6586 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5165.586
AT ITER 8542 NEW BEST:: SOT 37682 SOS 6584 HAS SOPS 6584 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.584
AT ITER 8564 NEW BEST:: SOT 37681 SOS 6581 HAS SOPS 6581 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.581
AT ITER 8606 NEW BEST:: SOT 37673 SOS 6565 HAS SOPS 6565 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5155.565
AT ITER 8621 NEW BEST:: SOT 37679 SOS 6560 HAS SOPS 6560 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.56
AT ITER 8690 NEW BEST:: SOT 37677 SOS 6556 HAS SOPS 6556 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5137.556
AT ITER 8737 NEW BEST:: SOT 37670 SOS 6545 HAS SOPS 6545 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5131.545
AT ITER 9065 NEW BEST:: SOT 37671 SOS 6544 HAS SOPS 6544 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5130.544
AT ITER 9197 NEW BEST:: SOT 37672 SOS 6551 HAS SOPS 6551 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5120.551
AT ITER 9366 NEW BEST:: SOT 37672 SOS 6561 HAS SOPS 6561 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5113.561
AT ITER 9399 NEW BEST:: SOT 37671 SOS 6560 HAS SOPS 6560 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.56
AT ITER 9494 NEW BEST:: SOT 37674 SOS 6547 HAS SOPS 6547 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5108.547
AT ITER 9759 NEW BEST:: SOT 37673 SOS 6537 HAS SOPS 6537 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.537
AT ITER 9768 NEW BEST:: SOT 37689 SOS 6521 HAS SOPS 6521 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.521
AT ITER 9821 NEW BEST:: SOT 37688 SOS 6540 HAS SOPS 6540 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5103.54
AT ITER 9901 NEW BEST:: SOT 37678 SOS 6530 HAS SOPS 6530 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5093.53
AT ITER 9918 NEW BEST:: SOT 37676 SOS 6528 HAS SOPS 6528 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.528
AT ITER 9930 NEW BEST:: SOT 37661 SOS 6521 HAS SOPS 6521 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5084.521
AT ITER 9941 NEW BEST:: SOT 37659 SOS 6517 HAS SOPS 6517 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5080.517
STATE_SPACE STATES 201273905920339254 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3537693713743345570 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678367379799

--------------------
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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-01b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DES-PT-01b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484100376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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