About the Execution of LoLA for NoC3x3-PT-8B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5455.483 | 1800000.00 | 7167038.00 | 110.40 | [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.r276-smll-167863548000218.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 lola
Input is NoC3x3-PT-8B, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-167863548000218
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 09:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 09:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 09:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 10:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1678880385306
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=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=NoC3x3-PT-8B
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT NoC3x3-PT-8B
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 10771832 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16181944 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p782
sara: try reading problem file stateEquationProblem-ConstantPlace-6292.sara.
lola: reporting
lola: not produced: 9140
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 5712
lola: find path: 1290
lola: goal oriented search: 415
lola: symmetry: 1723
lola: 0 generators;41719604 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 4280
lola: find path: 1616
lola: goal oriented search: 415
lola: symmetry: 2829
lola: 0 generators;41192078 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 2961
lola: find path: 1885
lola: goal oriented search: 415
lola: symmetry: 3879
lola: 0 generators;41192078 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 2684
lola: find path: 1980
lola: goal oriented search: 415
lola: symmetry: 4061
lola: 0 generators;41128635 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 2303
lola: find path: 2053
lola: goal oriented search: 415
lola: symmetry: 4369
lola: 0 generators;35862159 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 2065
lola: find path: 2120
lola: goal oriented search: 415
lola: symmetry: 4540
lola: 0 generators;35862159 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 1813
lola: find path: 2187
lola: goal oriented search: 415
lola: symmetry: 4725
lola: 0 generators;34712332 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1603
lola: find path: 2277
lola: goal oriented search: 415
lola: symmetry: 4845
lola: 0 generators;29888747 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1428
lola: find path: 2331
lola: goal oriented search: 415
lola: symmetry: 4966
lola: 0 generators;28190686 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1360
lola: find path: 2357
lola: goal oriented search: 415
lola: symmetry: 5008
lola: 0 generators;28190686 candidates remain ( 0%), 45 secs
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1290
lola: find path: 2382
lola: goal oriented search: 415
lola: symmetry: 5053
lola: 0 generators;28190686 candidates remain ( 0%), 50 secs
lola: reporting
lola: not produced: 1205
lola: find path: 2408
lola: goal oriented search: 415
lola: symmetry: 5112
lola: 0 generators;28190686 candidates remain ( 0%), 55 secs
lola: STATE EQUATION TRIES PLACE p4306
sara: try reading problem file stateEquationProblem-ConstantPlace-613.sara.
lola: reporting
lola: not produced: 1151
lola: state equation: 1
lola: find path: 2444
lola: goal oriented search: 415
lola: symmetry: 5129
lola: 0 generators;28190686 candidates remain ( 0%), 60 secs
lola: reporting
lola: not produced: 1138
lola: state equation: 1
lola: find path: 2453
lola: goal oriented search: 415
lola: symmetry: 5133
lola: 0 generators;28190686 candidates remain ( 0%), 65 secs
lola: reporting
lola: not produced: 1031
lola: state equation: 1
lola: find path: 2490
lola: goal oriented search: 415
lola: symmetry: 5203
lola: 0 generators;28190686 candidates remain ( 0%), 70 secs
lola: reporting
lola: not produced: 1007
lola: state equation: 1
lola: find path: 2508
lola: goal oriented search: 415
lola: symmetry: 5209
lola: 0 generators;28190686 candidates remain ( 0%), 75 secs
lola: reporting
lola: not produced: 965
lola: state equation: 1
lola: find path: 2516
lola: goal oriented search: 415
lola: symmetry: 5243
lola: 0 generators;28190686 candidates remain ( 0%), 80 secs
lola: reporting
lola: not produced: 946
lola: state equation: 1
lola: find path: 2527
lola: goal oriented search: 415
lola: symmetry: 5251
lola: 0 generators;28190686 candidates remain ( 0%), 85 secs
lola: reporting
lola: not produced: 892
lola: state equation: 1
lola: find path: 2538
lola: goal oriented search: 415
lola: symmetry: 5294
lola: 0 generators;28190686 candidates remain ( 0%), 90 secs
lola: reporting
lola: not produced: 711
lola: state equation: 1
lola: find path: 2585
lola: goal oriented search: 415
lola: symmetry: 5428
lola: 0 generators;28190686 candidates remain ( 0%), 95 secs
lola: reporting
lola: not produced: 690
lola: state equation: 1
lola: find path: 2599
lola: goal oriented search: 415
lola: symmetry: 5435
lola: 0 generators;28190686 candidates remain ( 0%), 100 secs
lola: reporting
lola: not produced: 677
lola: state equation: 1
lola: find path: 2607
lola: goal oriented search: 415
lola: symmetry: 5440
lola: 0 generators;28190686 candidates remain ( 0%), 105 secs
lola: reporting
lola: not produced: 657
lola: state equation: 1
lola: find path: 2616
lola: goal oriented search: 415
lola: symmetry: 5451
lola: 0 generators;28190686 candidates remain ( 0%), 110 secs
lola: reporting
lola: not produced: 634
lola: state equation: 1
lola: find path: 2632
lola: goal oriented search: 415
lola: symmetry: 5458
lola: 0 generators;28190686 candidates remain ( 0%), 115 secs
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 620
lola: state equation: 1
lola: find path: 2640
lola: goal oriented search: 415
lola: symmetry: 5464
lola: 0 generators;28190686 candidates remain ( 0%), 120 secs
lola: reporting
lola: not produced: 592
lola: state equation: 1
lola: find path: 2651
lola: goal oriented search: 415
lola: symmetry: 5481
lola: 0 generators;28190686 candidates remain ( 0%), 125 secs
lola: reporting
lola: not produced: 588
lola: state equation: 1
lola: find path: 2655
lola: goal oriented search: 415
lola: symmetry: 5481
lola: 0 generators;28160693 candidates remain ( 0%), 130 secs
lola: reporting
lola: not produced: 571
lola: state equation: 1
lola: find path: 2665
lola: goal oriented search: 415
lola: symmetry: 5488
lola: 0 generators;28123228 candidates remain ( 0%), 135 secs
lola: reporting
lola: not produced: 571
lola: state equation: 1
lola: find path: 2665
lola: goal oriented search: 415
lola: symmetry: 5488
lola: 0 generators;28123228 candidates remain ( 0%), 140 secs
lola: reporting
lola: not produced: 549
lola: state equation: 1
lola: find path: 2679
lola: goal oriented search: 415
lola: symmetry: 5496
lola: 0 generators;28123228 candidates remain ( 0%), 145 secs
lola: reporting
lola: not produced: 546
lola: state equation: 1
lola: find path: 2682
lola: goal oriented search: 415
lola: symmetry: 5496
lola: 0 generators;28123228 candidates remain ( 0%), 150 secs
lola: reporting
lola: not produced: 543
lola: state equation: 1
lola: find path: 2685
lola: goal oriented search: 415
lola: symmetry: 5496
lola: 0 generators;28123228 candidates remain ( 0%), 155 secs
lola: reporting
lola: not produced: 537
lola: state equation: 1
lola: find path: 2691
lola: goal oriented search: 415
lola: symmetry: 5496
lola: 0 generators;28123228 candidates remain ( 0%), 160 secs
lola: reporting
lola: not produced: 535
lola: state equation: 1
lola: find path: 2693
lola: goal oriented search: 415
lola: symmetry: 5496
lola: 0 generators;28123228 candidates remain ( 0%), 165 secs
lola: reporting
lola: not produced: 532
lola: state equation: 1
lola: find path: 2696
lola: goal oriented search: 415
lola: symmetry: 5496
lola: 0 generators;28123228 candidates remain ( 0%), 170 secs
lola: reporting
lola: not produced: 522
lola: state equation: 1
lola: find path: 2702
lola: goal oriented search: 415
lola: symmetry: 5500
lola: 0 generators;28123228 candidates remain ( 0%), 175 secs
lola: reporting
lola: not produced: 522
lola: state equation: 1
lola: find path: 2702
lola: goal oriented search: 415
lola: symmetry: 5500
lola: 0 generators;28123228 candidates remain ( 0%), 180 secs
lola: reporting
lola: not produced: 522
lola: state equation: 1
lola: find path: 2702
lola: goal oriented search: 415
lola: symmetry: 5500
lola: 0 generators;28123228 candidates remain ( 0%), 185 secs
lola: reporting
lola: not produced: 509
lola: state equation: 1
lola: find path: 2715
lola: goal oriented search: 415
lola: symmetry: 5500
lola: 0 generators;28123228 candidates remain ( 0%), 190 secs
lola: reporting
lola: not produced: 490
lola: state equation: 1
lola: find path: 2725
lola: goal oriented search: 415
lola: symmetry: 5509
lola: 0 generators;28123228 candidates remain ( 0%), 195 secs
lola: reporting
lola: not produced: 489
lola: state equation: 1
lola: find path: 2726
lola: goal oriented search: 415
lola: symmetry: 5509
lola: 0 generators;28123228 candidates remain ( 0%), 200 secs
lola: reporting
lola: not produced: 483
lola: state equation: 1
lola: find path: 2732
lola: goal oriented search: 415
lola: symmetry: 5509
lola: 0 generators;28123228 candidates remain ( 0%), 205 secs
lola: reporting
lola: not produced: 483
lola: state equation: 1
lola: find path: 2732
lola: goal oriented search: 415
lola: symmetry: 5509
lola: 0 generators;28123228 candidates remain ( 0%), 210 secs
lola: reporting
lola: not produced: 482
lola: state equation: 1
lola: find path: 2733
lola: goal oriented search: 415
lola: symmetry: 5509
lola: 0 generators;28123228 candidates remain ( 0%), 215 secs
lola: reporting
lola: not produced: 475
lola: state equation: 1
lola: find path: 2738
lola: goal oriented search: 415
lola: symmetry: 5511
lola: 0 generators;28093278 candidates remain ( 0%), 220 secs
lola: reporting
lola: not produced: 475
lola: state equation: 1
lola: find path: 2738
lola: goal oriented search: 415
lola: symmetry: 5511
lola: 0 generators;28093278 candidates remain ( 0%), 225 secs
lola: reporting
lola: not produced: 475
lola: state equation: 1
lola: find path: 2738
lola: goal oriented search: 415
lola: symmetry: 5511
lola: 0 generators;28093278 candidates remain ( 0%), 230 secs
lola: reporting
lola: not produced: 465
lola: state equation: 1
lola: find path: 2748
lola: goal oriented search: 415
lola: symmetry: 5511
lola: 0 generators;28093278 candidates remain ( 0%), 235 secs
lola: reporting
lola: not produced: 460
lola: state equation: 1
lola: find path: 2753
lola: goal oriented search: 415
lola: symmetry: 5511
lola: 0 generators;28093278 candidates remain ( 0%), 240 secs
lola: reporting
lola: not produced: 452
lola: state equation: 1
lola: find path: 2756
lola: goal oriented search: 415
lola: symmetry: 5516
lola: 0 generators;28093278 candidates remain ( 0%), 245 secs
lola: reporting
lola: not produced: 452
lola: state equation: 1
lola: find path: 2756
lola: goal oriented search: 415
lola: symmetry: 5516
lola: 0 generators;28093278 candidates remain ( 0%), 250 secs
lola: reporting
lola: not produced: 450
lola: state equation: 1
lola: find path: 2758
lola: goal oriented search: 415
lola: symmetry: 5516
lola: 0 generators;28093278 candidates remain ( 0%), 255 secs
lola: reporting
lola: not produced: 442
lola: state equation: 1
lola: find path: 2761
lola: goal oriented search: 415
lola: symmetry: 5521
lola: 0 generators;28093278 candidates remain ( 0%), 260 secs
lola: reporting
lola: not produced: 442
lola: state equation: 1
lola: find path: 2761
lola: goal oriented search: 415
lola: symmetry: 5521
lola: 0 generators;28093278 candidates remain ( 0%), 265 secs
lola: reporting
lola: not produced: 439
lola: state equation: 1
lola: find path: 2764
lola: goal oriented search: 415
lola: symmetry: 5521
lola: 0 generators;28093278 candidates remain ( 0%), 270 secs
lola: reporting
lola: not produced: 421
lola: state equation: 1
lola: find path: 2768
lola: goal oriented search: 415
lola: symmetry: 5535
lola: 0 generators;28093278 candidates remain ( 0%), 275 secs
lola: reporting
lola: not produced: 417
lola: state equation: 1
lola: find path: 2772
lola: goal oriented search: 415
lola: symmetry: 5535
lola: 0 generators;28093278 candidates remain ( 0%), 280 secs
lola: reporting
lola: not produced: 408
lola: state equation: 1
lola: find path: 2774
lola: goal oriented search: 415
lola: symmetry: 5542
lola: 0 generators;28093278 candidates remain ( 0%), 285 secs
lola: reporting
lola: not produced: 388
lola: state equation: 1
lola: find path: 2787
lola: goal oriented search: 415
lola: symmetry: 5549
lola: 0 generators;28093278 candidates remain ( 0%), 290 secs
lola: reporting
lola: not produced: 386
lola: state equation: 1
lola: find path: 2789
lola: goal oriented search: 415
lola: symmetry: 5549
lola: 0 generators;28093278 candidates remain ( 0%), 295 secs
lola: reporting
lola: not produced: 386
lola: state equation: 1
lola: find path: 2789
lola: goal oriented search: 415
lola: symmetry: 5549
lola: 0 generators;28093278 candidates remain ( 0%), 300 secs
lola: reporting
lola: not produced: 370
lola: state equation: 1
lola: find path: 2791
lola: goal oriented search: 415
lola: symmetry: 5563
lola: 0 generators;28063341 candidates remain ( 0%), 305 secs
lola: reporting
lola: not produced: 362
lola: state equation: 1
lola: find path: 2799
lola: goal oriented search: 415
lola: symmetry: 5563
lola: 0 generators;28063341 candidates remain ( 0%), 310 secs
lola: reporting
lola: not produced: 360
lola: state equation: 1
lola: find path: 2801
lola: goal oriented search: 415
lola: symmetry: 5563
lola: 0 generators;28063341 candidates remain ( 0%), 315 secs
lola: reporting
lola: not produced: 351
lola: state equation: 1
lola: find path: 2803
lola: goal oriented search: 415
lola: symmetry: 5570
lola: 0 generators;28063341 candidates remain ( 0%), 320 secs
lola: reporting
lola: not produced: 334
lola: state equation: 1
lola: find path: 2809
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 325 secs
lola: reporting
lola: not produced: 333
lola: state equation: 1
lola: find path: 2810
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 330 secs
lola: reporting
lola: not produced: 333
lola: state equation: 1
lola: find path: 2810
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 335 secs
lola: reporting
lola: not produced: 333
lola: state equation: 1
lola: find path: 2810
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 340 secs
lola: reporting
lola: not produced: 333
lola: state equation: 1
lola: find path: 2810
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 345 secs
lola: reporting
lola: not produced: 332
lola: state equation: 1
lola: find path: 2811
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 350 secs
lola: reporting
lola: not produced: 330
lola: state equation: 1
lola: find path: 2813
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 355 secs
lola: reporting
lola: not produced: 330
lola: state equation: 1
lola: find path: 2813
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 360 secs
lola: reporting
lola: not produced: 330
lola: state equation: 1
lola: find path: 2813
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 365 secs
lola: reporting
lola: not produced: 328
lola: state equation: 1
lola: find path: 2815
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28063341 candidates remain ( 0%), 370 secs
lola: reporting
lola: not produced: 328
lola: state equation: 1
lola: find path: 2815
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28033417 candidates remain ( 0%), 375 secs
lola: reporting
lola: not produced: 328
lola: state equation: 1
lola: find path: 2815
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28033417 candidates remain ( 0%), 380 secs
lola: reporting
lola: not produced: 326
lola: state equation: 1
lola: find path: 2817
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28033417 candidates remain ( 0%), 385 secs
lola: reporting
lola: not produced: 324
lola: state equation: 1
lola: find path: 2819
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28033417 candidates remain ( 0%), 390 secs
lola: reporting
lola: not produced: 323
lola: state equation: 1
lola: find path: 2820
lola: goal oriented search: 415
lola: symmetry: 5581
lola: 0 generators;28033417 candidates remain ( 0%), 395 secs
lola: reporting
lola: not produced: 312
lola: state equation: 1
lola: find path: 2824
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 400 secs
lola: reporting
lola: not produced: 312
lola: state equation: 1
lola: find path: 2824
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 405 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 410 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 415 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 420 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 425 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 430 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;28033417 candidates remain ( 0%), 435 secs
lola: reporting
lola: not produced: 311
lola: state equation: 1
lola: find path: 2825
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27839247 candidates remain ( 0%), 440 secs
lola: reporting
lola: not produced: 306
lola: state equation: 1
lola: find path: 2830
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 445 secs
lola: reporting
lola: not produced: 303
lola: state equation: 1
lola: find path: 2833
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 450 secs
lola: reporting
lola: not produced: 303
lola: state equation: 1
lola: find path: 2833
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 455 secs
lola: reporting
lola: not produced: 301
lola: state equation: 1
lola: find path: 2835
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 460 secs
lola: reporting
lola: not produced: 301
lola: state equation: 1
lola: find path: 2835
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 465 secs
lola: reporting
lola: not produced: 299
lola: state equation: 1
lola: find path: 2837
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 470 secs
lola: reporting
lola: not produced: 299
lola: state equation: 1
lola: find path: 2837
lola: goal oriented search: 415
lola: symmetry: 5588
lola: 0 generators;27831788 candidates remain ( 0%), 475 secs
lola: reporting
lola: not produced: 286
lola: state equation: 1
lola: find path: 2845
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27831788 candidates remain ( 0%), 480 secs
lola: reporting
lola: not produced: 283
lola: state equation: 1
lola: find path: 2848
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27831788 candidates remain ( 0%), 485 secs
lola: reporting
lola: not produced: 282
lola: state equation: 1
lola: find path: 2849
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27831788 candidates remain ( 0%), 490 secs
lola: reporting
lola: not produced: 282
lola: state equation: 1
lola: find path: 2849
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27831788 candidates remain ( 0%), 495 secs
lola: reporting
lola: not produced: 279
lola: state equation: 1
lola: find path: 2852
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27831788 candidates remain ( 0%), 500 secs
lola: reporting
lola: not produced: 279
lola: state equation: 1
lola: find path: 2852
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 505 secs
lola: reporting
lola: not produced: 277
lola: state equation: 1
lola: find path: 2854
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 510 secs
lola: reporting
lola: not produced: 275
lola: state equation: 1
lola: find path: 2856
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 515 secs
lola: reporting
lola: not produced: 275
lola: state equation: 1
lola: find path: 2856
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 520 secs
lola: reporting
lola: not produced: 271
lola: state equation: 1
lola: find path: 2860
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 525 secs
lola: reporting
lola: not produced: 270
lola: state equation: 1
lola: find path: 2861
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 530 secs
lola: reporting
lola: not produced: 270
lola: state equation: 1
lola: find path: 2861
lola: goal oriented search: 415
lola: symmetry: 5593
lola: 0 generators;27764772 candidates remain ( 0%), 535 secs
lola: reporting
lola: not produced: 261
lola: state equation: 1
lola: find path: 2863
lola: goal oriented search: 415
lola: symmetry: 5600
lola: 0 generators;27764772 candidates remain ( 0%), 540 secs
lola: reporting
lola: not produced: 260
lola: state equation: 1
lola: find path: 2864
lola: goal oriented search: 415
lola: symmetry: 5600
lola: 0 generators;27764772 candidates remain ( 0%), 545 secs
lola: reporting
lola: not produced: 260
lola: state equation: 1
lola: find path: 2864
lola: goal oriented search: 415
lola: symmetry: 5600
lola: 0 generators;27764772 candidates remain ( 0%), 550 secs
lola: reporting
lola: not produced: 254
lola: state equation: 1
lola: find path: 2866
lola: goal oriented search: 415
lola: symmetry: 5604
lola: 0 generators;27764772 candidates remain ( 0%), 555 secs
lola: reporting
lola: not produced: 235
lola: state equation: 1
lola: find path: 2870
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 560 secs
lola: reporting
lola: not produced: 235
lola: state equation: 1
lola: find path: 2870
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 565 secs
lola: reporting
lola: not produced: 234
lola: state equation: 1
lola: find path: 2871
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 570 secs
lola: reporting
lola: not produced: 234
lola: state equation: 1
lola: find path: 2871
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 575 secs
lola: reporting
lola: not produced: 233
lola: state equation: 1
lola: find path: 2872
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 580 secs
lola: reporting
lola: not produced: 233
lola: state equation: 1
lola: find path: 2872
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 585 secs
lola: reporting
lola: not produced: 233
lola: state equation: 1
lola: find path: 2872
lola: goal oriented search: 415
lola: symmetry: 5619
lola: 0 generators;27653262 candidates remain ( 0%), 590 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;27653262 candidates remain ( 0%), 595 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;27653262 candidates remain ( 0%), 600 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;24774829 candidates remain ( 0%), 605 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;24774829 candidates remain ( 0%), 610 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20831270 candidates remain ( 0%), 615 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20831270 candidates remain ( 0%), 620 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 625 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 630 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 635 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 640 secs
lola: reporting
lola: not produced: 214
lola: state equation: 1
lola: find path: 2879
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 645 secs
lola: reporting
lola: not produced: 211
lola: state equation: 1
lola: find path: 2882
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 650 secs
lola: reporting
lola: not produced: 211
lola: state equation: 1
lola: find path: 2882
lola: goal oriented search: 415
lola: symmetry: 5631
lola: 0 generators;20779719 candidates remain ( 0%), 655 secs
lola: reporting
lola: not produced: 205
lola: state equation: 1
lola: find path: 2884
lola: goal oriented search: 415
lola: symmetry: 5635
lola: 0 generators;20779719 candidates remain ( 0%), 660 secs
lola: reporting
lola: not produced: 205
lola: state equation: 1
lola: find path: 2884
lola: goal oriented search: 415
lola: symmetry: 5635
lola: 0 generators;20715364 candidates remain ( 0%), 665 secs
lola: reporting
lola: not produced: 205
lola: state equation: 1
lola: find path: 2884
lola: goal oriented search: 415
lola: symmetry: 5635
lola: 0 generators;20715364 candidates remain ( 0%), 670 secs
lola: reporting
lola: not produced: 205
lola: state equation: 1
lola: find path: 2884
lola: goal oriented search: 415
lola: symmetry: 5635
lola: 0 generators;20663956 candidates remain ( 0%), 675 secs
lola: reporting
lola: not produced: 199
lola: state equation: 1
lola: find path: 2886
lola: goal oriented search: 415
lola: symmetry: 5639
lola: 0 generators;20663956 candidates remain ( 0%), 680 secs
lola: reporting
lola: not produced: 199
lola: state equation: 1
lola: find path: 2886
lola: goal oriented search: 415
lola: symmetry: 5639
lola: 0 generators;20663956 candidates remain ( 0%), 685 secs
lola: reporting
lola: not produced: 199
lola: state equation: 1
lola: find path: 2886
lola: goal oriented search: 415
lola: symmetry: 5639
lola: 0 generators;20663956 candidates remain ( 0%), 690 secs
lola: reporting
lola: not produced: 191
lola: state equation: 1
lola: find path: 2889
lola: goal oriented search: 415
lola: symmetry: 5644
lola: 0 generators;20663956 candidates remain ( 0%), 695 secs
lola: reporting
lola: not produced: 175
lola: state equation: 1
lola: find path: 2893
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 700 secs
lola: reporting
lola: not produced: 175
lola: state equation: 1
lola: find path: 2893
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 705 secs
lola: reporting
lola: not produced: 175
lola: state equation: 1
lola: find path: 2893
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 710 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 715 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 720 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 725 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 730 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 735 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 740 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20663956 candidates remain ( 0%), 745 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20497277 candidates remain ( 0%), 750 secs
lola: reporting
lola: not produced: 173
lola: state equation: 1
lola: find path: 2895
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 755 secs
lola: reporting
lola: not produced: 171
lola: state equation: 1
lola: find path: 2897
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 760 secs
lola: reporting
lola: not produced: 171
lola: state equation: 1
lola: find path: 2897
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 765 secs
lola: reporting
lola: not produced: 171
lola: state equation: 1
lola: find path: 2897
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 770 secs
lola: reporting
lola: not produced: 171
lola: state equation: 1
lola: find path: 2897
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 775 secs
lola: reporting
lola: not produced: 168
lola: state equation: 1
lola: find path: 2900
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 780 secs
lola: reporting
lola: not produced: 167
lola: state equation: 1
lola: find path: 2901
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 785 secs
lola: reporting
lola: not produced: 167
lola: state equation: 1
lola: find path: 2901
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20318509 candidates remain ( 0%), 790 secs
lola: reporting
lola: not produced: 167
lola: state equation: 1
lola: find path: 2901
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20147002 candidates remain ( 0%), 795 secs
lola: reporting
lola: not produced: 167
lola: state equation: 1
lola: find path: 2901
lola: goal oriented search: 415
lola: symmetry: 5656
lola: 0 generators;20147002 candidates remain ( 0%), 800 secs
lola: reporting
lola: not produced: 160
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 415
lola: symmetry: 5661
lola: 0 generators;20147002 candidates remain ( 0%), 805 secs
lola: reporting
lola: not produced: 160
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 415
lola: symmetry: 5661
lola: 0 generators;20147002 candidates remain ( 0%), 810 secs
lola: reporting
lola: not produced: 160
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 415
lola: symmetry: 5661
lola: 0 generators;20147002 candidates remain ( 0%), 815 secs
lola: reporting
lola: not produced: 160
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 415
lola: symmetry: 5661
lola: 0 generators;20147002 candidates remain ( 0%), 820 secs
lola: reporting
lola: not produced: 160
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 415
lola: symmetry: 5661
lola: 0 generators;20007877 candidates remain ( 0%), 825 secs
lola: reporting
lola: not produced: 151
lola: state equation: 1
lola: find path: 2905
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17324731 candidates remain ( 0%), 830 secs
lola: reporting
lola: not produced: 151
lola: state equation: 1
lola: find path: 2905
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17324731 candidates remain ( 0%), 835 secs
lola: reporting
lola: not produced: 151
lola: state equation: 1
lola: find path: 2905
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17324731 candidates remain ( 0%), 840 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17324731 candidates remain ( 0%), 845 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17324731 candidates remain ( 0%), 850 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17324731 candidates remain ( 0%), 855 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17020454 candidates remain ( 0%), 860 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17020454 candidates remain ( 0%), 865 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17020454 candidates remain ( 0%), 870 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;17020454 candidates remain ( 0%), 875 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;16962221 candidates remain ( 0%), 880 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;16962221 candidates remain ( 0%), 885 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;14558641 candidates remain ( 0%), 890 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 895 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 900 secs
lola: reporting
lola: not produced: 149
lola: state equation: 1
lola: find path: 2907
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 905 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 910 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 915 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 920 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 925 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 930 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 935 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 940 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 945 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 950 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 955 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 960 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 965 secs
lola: reporting
lola: not produced: 147
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12126742 candidates remain ( 0%), 970 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 975 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 980 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 985 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 990 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 995 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 1000 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 1005 secs
lola: reporting
lola: not produced: 145
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 415
lola: symmetry: 5668
lola: 0 generators;12053122 candidates remain ( 0%), 1010 secs
lola: reporting
lola: not produced: 138
lola: state equation: 1
lola: find path: 2913
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12053122 candidates remain ( 0%), 1015 secs
lola: reporting
lola: not produced: 138
lola: state equation: 1
lola: find path: 2913
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12053122 candidates remain ( 0%), 1020 secs
lola: reporting
lola: not produced: 138
lola: state equation: 1
lola: find path: 2913
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1025 secs
lola: reporting
lola: not produced: 138
lola: state equation: 1
lola: find path: 2913
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1030 secs
lola: reporting
lola: not produced: 138
lola: state equation: 1
lola: find path: 2913
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1035 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1040 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1045 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1050 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1055 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1060 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1065 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1070 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1075 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1080 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1085 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1090 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;12004184 candidates remain ( 0%), 1095 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1100 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1105 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1110 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1115 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1120 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1125 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1130 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1135 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1140 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1145 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1150 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2914
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1155 secs
lola: reporting
lola: not produced: 136
lola: state equation: 1
lola: find path: 2915
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1160 secs
lola: reporting
lola: not produced: 136
lola: state equation: 1
lola: find path: 2915
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11916431 candidates remain ( 0%), 1165 secs
lola: reporting
lola: not produced: 134
lola: state equation: 1
lola: find path: 2917
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1170 secs
lola: reporting
lola: not produced: 134
lola: state equation: 1
lola: find path: 2917
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1175 secs
lola: reporting
lola: not produced: 134
lola: state equation: 1
lola: find path: 2917
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1180 secs
lola: reporting
lola: not produced: 134
lola: state equation: 1
lola: find path: 2917
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1185 secs
lola: reporting
lola: not produced: 134
lola: state equation: 1
lola: find path: 2917
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1190 secs
lola: reporting
lola: not produced: 134
lola: state equation: 1
lola: find path: 2917
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1195 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1200 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1205 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1210 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1215 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1220 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1225 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1230 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11877500 candidates remain ( 0%), 1235 secs
lola: reporting
lola: not produced: 130
lola: state equation: 1
lola: find path: 2921
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11843489 candidates remain ( 0%), 1240 secs
lola: reporting
lola: not produced: 127
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11843489 candidates remain ( 0%), 1245 secs
lola: reporting
lola: not produced: 127
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11843489 candidates remain ( 0%), 1250 secs
lola: reporting
lola: not produced: 127
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11843489 candidates remain ( 0%), 1255 secs
lola: reporting
lola: not produced: 127
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11843489 candidates remain ( 0%), 1260 secs
lola: reporting
lola: not produced: 127
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 415
lola: symmetry: 5673
lola: 0 generators;11843489 candidates remain ( 0%), 1265 secs
lola: reporting
lola: not produced: 118
lola: state equation: 1
lola: find path: 2926
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11843489 candidates remain ( 0%), 1270 secs
lola: reporting
lola: not produced: 118
lola: state equation: 1
lola: find path: 2926
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11843489 candidates remain ( 0%), 1275 secs
lola: reporting
lola: not produced: 118
lola: state equation: 1
lola: find path: 2926
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11843489 candidates remain ( 0%), 1280 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11843489 candidates remain ( 0%), 1285 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11635676 candidates remain ( 0%), 1290 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11635676 candidates remain ( 0%), 1295 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11635676 candidates remain ( 0%), 1300 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11635676 candidates remain ( 0%), 1305 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11635676 candidates remain ( 0%), 1310 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11635676 candidates remain ( 0%), 1315 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1320 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1325 secs
lola: reporting
lola: not produced: 117
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1330 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1335 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1340 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1345 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1350 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1355 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1360 secs
lola: reporting
lola: not produced: 116
lola: state equation: 1
lola: find path: 2928
lola: goal oriented search: 415
lola: symmetry: 5680
lola: 0 generators;11520429 candidates remain ( 0%), 1365 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1370 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1375 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1380 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1385 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1390 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1395 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1400 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1405 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11386709 candidates remain ( 0%), 1410 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1415 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1420 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1425 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1430 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1435 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1440 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11324853 candidates remain ( 0%), 1445 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11164024 candidates remain ( 0%), 1450 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11164024 candidates remain ( 0%), 1455 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11164024 candidates remain ( 0%), 1460 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;11164024 candidates remain ( 0%), 1465 secs
lola: reporting
lola: not produced: 110
lola: state equation: 1
lola: find path: 2930
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1470 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1475 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1480 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1485 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1490 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1495 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1500 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1505 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10290191 candidates remain ( 0%), 1510 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10172948 candidates remain ( 0%), 1515 secs
lola: reporting
lola: not produced: 108
lola: state equation: 1
lola: find path: 2932
lola: goal oriented search: 415
lola: symmetry: 5684
lola: 0 generators;10172948 candidates remain ( 0%), 1520 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1525 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1530 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1535 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1540 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1545 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1550 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1555 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10172948 candidates remain ( 0%), 1560 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1565 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1570 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1575 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1580 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1585 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1590 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1595 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1600 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2934
lola: goal oriented search: 415
lola: symmetry: 5691
lola: 0 generators;10119062 candidates remain ( 0%), 1605 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1610 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1615 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1620 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1625 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1630 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1635 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10065288 candidates remain ( 0%), 1640 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1645 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1650 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1655 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1660 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1665 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1670 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators;10016174 candidates remain ( 0%), 1675 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9949325 candidates remain ( 0%), 1680 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1685 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1690 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1695 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1700 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1705 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1710 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9706052 candidates remain ( 0%), 1715 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9627098 candidates remain ( 0%), 1720 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9627098 candidates remain ( 0%), 1725 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9627098 candidates remain ( 0%), 1730 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9627098 candidates remain ( 0%), 1735 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9036961 candidates remain ( 0%), 1740 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9036961 candidates remain ( 0%), 1745 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9036961 candidates remain ( 0%), 1750 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9036961 candidates remain ( 0%), 1755 secs
lola: reporting
lola: not produced: 92
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9036961 candidates remain ( 0%), 1760 secs
lola: reporting
lola: not produced: 91
lola: state equation: 1
lola: find path: 2937
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9015765 candidates remain ( 0%), 1765 secs
lola: reporting
lola: not produced: 91
lola: state equation: 1
lola: find path: 2937
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9015765 candidates remain ( 0%), 1770 secs
lola: reporting
lola: not produced: 91
lola: state equation: 1
lola: find path: 2937
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9015765 candidates remain ( 0%), 1775 secs
lola: reporting
lola: not produced: 91
lola: state equation: 1
lola: find path: 2937
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 9015765 candidates remain ( 0%), 1780 secs
lola: reporting
lola: not produced: 91
lola: state equation: 1
lola: find path: 2937
lola: goal oriented search: 415
lola: symmetry: 5696
lola: 0 generators; 8956566 candidates remain ( 0%), 1785 secs
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 195
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="NoC3x3-PT-8B"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 lola"
echo " Input is NoC3x3-PT-8B, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r276-smll-167863548000218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;