Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / output3-server / xml / benchmark25.log

diff --git a/sypet-non-incremental/output3-server/xml/benchmark25.log b/sypet-non-incremental/output3-server/xml/benchmark25.log
new file mode 100644 (file)
index 0000000..5b578f3
--- /dev/null
+++ b/sypet-non-incremental/output3-server/xml/benchmark25.log
@@ -0,0 +1,1918 @@
+Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
+
+sypet:
+     [java] ----------Options
+     [java] Verbose: false
+     [java] Timeout: 600000
+     [java] Round Robin: true
+     [java] Round Robin Iterations: 100
+     [java] Round Robin Range: 2
+     [java] Solver limit: 5
+     [java] ----------benchmarks/xml/25/benchmark25.json
+     [java] Benchmark Id: 25
+     [java] Method name: getTitle
+     [java] Packages: [org.jsoup]
+     [java] Libraries: [./lib/jsoup-1.8.3.jar]
+     [java] Source type(s): [java.lang.String]
+     [java] Target type: java.lang.String
+     [java] --------------------------------------------------------
+     [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+     [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+     [java] Warning: javax.crypto.Cipher is a phantom class!
+     [java] Warning: javax.crypto.SealedObject is a phantom class!
+     [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+     [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
+     [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
+     [java] Warning: javax.crypto.interfaces.DHKey is a phantom class!
+     [java] Warning: javax.crypto.interfaces.DHPublicKey is a phantom class!
+     [java] Warning: javax.crypto.SecretKey is a phantom class!
+     [java] #Classes: 234
+     [java] #Methods: 1481
+     [java] Soot Time: 1019.731858
+     [java] PetriNet for path length: 1 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] PetriNet for path length: 2 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] PetriNet for path length: 3 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Path Solving Time: 2.840123
+     [java] PetriNet for path length: 4 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.707322
+     [java] Path Solving Time: 2.203027
+     [java] 1588129873285 Original Encoding Solving Time: 0.469987
+     [java] 1588129873285 Original Encoding Incremental Solving Time: 0.101533
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129873542 Original Encoding Solving Time: 0.078339
+     [java] 1588129873542 Original Encoding Incremental Solving Time: 0.023016
+     [java] Path Solving Time: 5.051516
+     [java] Path Solving Time: 2.823736
+     [java] 1588129873560 Original Encoding Solving Time: 0.538415
+     [java] 1588129873560 Original Encoding Incremental Solving Time: 0.176723
+     [java] 1588129873589 Original Encoding Solving Time: 0.071845
+     [java] 1588129873589 Original Encoding Incremental Solving Time: 0.020955
+     [java] Path Solving Time: 2.528455
+     [java] PetriNet for path length: 5 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.844677
+     [java] Path Solving Time: 2.567644
+     [java] 1588129873906 Original Encoding Solving Time: 0.447032
+     [java] 1588129873906 Original Encoding Incremental Solving Time: 0.201165
+     [java] 1588129873934 Original Encoding Solving Time: 0.067442
+     [java] 1588129873934 Original Encoding Incremental Solving Time: 0.038174
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 7.526011
+     [java] Path Solving Time: 2.126853
+     [java] 1588129873955 Original Encoding Solving Time: 0.543573
+     [java] 1588129873955 Original Encoding Incremental Solving Time: 0.156474
+     [java] 1588129873978 Original Encoding Solving Time: 0.067766
+     [java] 1588129873978 Original Encoding Incremental Solving Time: 0.023648
+     [java] Path Solving Time: 6.639269
+     [java] Path Solving Time: 1.665923
+     [java] 1588129873997 Original Encoding Solving Time: 0.581948
+     [java] 1588129873997 Original Encoding Incremental Solving Time: 0.131842
+     [java] 1588129874019 Original Encoding Solving Time: 0.054443
+     [java] 1588129874019 Original Encoding Incremental Solving Time: 0.01891
+     [java] Path Solving Time: 7.811418
+     [java] Path Solving Time: 1.53293
+     [java] 1588129874039 Original Encoding Solving Time: 0.440836
+     [java] 1588129874039 Original Encoding Incremental Solving Time: 0.127304
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129874116 Original Encoding Solving Time: 0.036411
+     [java] 1588129874116 Original Encoding Incremental Solving Time: 0.016278
+     [java] Path Solving Time: 6.05131
+     [java] Path Solving Time: 1.416949
+     [java] 1588129874134 Original Encoding Solving Time: 0.402586
+     [java] 1588129874134 Original Encoding Incremental Solving Time: 0.156697
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129874187 Original Encoding Solving Time: 0.039416
+     [java] 1588129874187 Original Encoding Incremental Solving Time: 0.017055
+     [java] Path Solving Time: 5.979758
+     [java] Path Solving Time: 1.661249
+     [java] 1588129874207 Original Encoding Solving Time: 0.566215
+     [java] 1588129874207 Original Encoding Incremental Solving Time: 0.34667
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129874252 Original Encoding Solving Time: 0.091963
+     [java] 1588129874252 Original Encoding Incremental Solving Time: 0.022295
+     [java] Path Solving Time: 3.931957
+     [java] Path Solving Time: 0.922013
+     [java] 1588129874268 Original Encoding Solving Time: 0.781977
+     [java] 1588129874268 Original Encoding Incremental Solving Time: 0.123435
+     [java] 1588129874314 Original Encoding Solving Time: 0.041185
+     [java] 1588129874314 Original Encoding Incremental Solving Time: 0.008848
+     [java] Path Solving Time: 3.564887
+     [java] Path Solving Time: 0.750457
+     [java] 1588129874329 Original Encoding Solving Time: 0.435461
+     [java] 1588129874329 Original Encoding Incremental Solving Time: 0.14668
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129874377 Original Encoding Solving Time: 0.023765
+     [java] 1588129874377 Original Encoding Incremental Solving Time: 0.007574
+     [java] Path Solving Time: 3.455891
+     [java] Path Solving Time: 0.692731
+     [java] 1588129874392 Original Encoding Solving Time: 0.372415
+     [java] 1588129874392 Original Encoding Incremental Solving Time: 0.091635
+     [java] 1588129874443 Original Encoding Solving Time: 0.025532
+     [java] 1588129874443 Original Encoding Incremental Solving Time: 0.011698
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 4.313811
+     [java] Path Solving Time: 2.270843
+     [java] 1588129874462 Original Encoding Solving Time: 0.452417
+     [java] 1588129874462 Original Encoding Incremental Solving Time: 0.183767
+     [java] 1588129874514 Original Encoding Solving Time: 0.047
+     [java] 1588129874514 Original Encoding Incremental Solving Time: 0.019807
+     [java] Path Solving Time: 4.590918
+     [java] Path Solving Time: 1.356416
+     [java] 1588129874532 Original Encoding Solving Time: 0.607631
+     [java] 1588129874532 Original Encoding Incremental Solving Time: 0.180747
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129874599 Original Encoding Solving Time: 0.022191
+     [java] 1588129874599 Original Encoding Incremental Solving Time: 0.008495
+     [java] Path Solving Time: 2.889997
+     [java] Path Solving Time: 0.802977
+     [java] 1588129874614 Original Encoding Solving Time: 0.416161
+     [java] 1588129874614 Original Encoding Incremental Solving Time: 0.110088
+     [java] 1588129874640 Original Encoding Solving Time: 0.024184
+     [java] 1588129874640 Original Encoding Incremental Solving Time: 0.013329
+     [java] Path Solving Time: 2.256135
+     [java] Path Solving Time: 0.63103
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129874653 Original Encoding Solving Time: 0.509465
+     [java] 1588129874653 Original Encoding Incremental Solving Time: 0.138108
+     [java] 1588129874679 Original Encoding Solving Time: 0.041087
+     [java] 1588129874679 Original Encoding Incremental Solving Time: 0.009082
+     [java] Path Solving Time: 2.222704
+     [java] Path Solving Time: 0.72819
+     [java] 1588129874693 Original Encoding Solving Time: 0.512827
+     [java] 1588129874693 Original Encoding Incremental Solving Time: 1.677335
+     [java] 1588129874720 Original Encoding Solving Time: 0.074121
+     [java] 1588129874720 Original Encoding Incremental Solving Time: 0.01697
+     [java] Path Solving Time: 2.155378
+     [java] Path Solving Time: 0.625926
+     [java] 1588129874734 Original Encoding Solving Time: 0.617681
+     [java] 1588129874734 Original Encoding Incremental Solving Time: 0.114892
+     [java] 1588129875142 Original Encoding Solving Time: 0.022359
+     [java] 1588129875142 Original Encoding Incremental Solving Time: 0.006627
+     [java] Path Solving Time: 2.078343
+     [java] Path Solving Time: 0.799286
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129875157 Original Encoding Solving Time: 0.439159
+     [java] 1588129875157 Original Encoding Incremental Solving Time: 0.205666
+     [java] 1588129875181 Original Encoding Solving Time: 0.022861
+     [java] 1588129875181 Original Encoding Incremental Solving Time: 0.00697
+     [java] Path Solving Time: 1.848482
+     [java] Path Solving Time: 0.488633
+     [java] 1588129875193 Original Encoding Solving Time: 0.243498
+     [java] 1588129875193 Original Encoding Incremental Solving Time: 0.084843
+     [java] 1588129875215 Original Encoding Solving Time: 0.022142
+     [java] 1588129875215 Original Encoding Incremental Solving Time: 0.006825
+     [java] Path Solving Time: 1.930021
+     [java] Path Solving Time: 0.447899
+     [java] 1588129875229 Original Encoding Solving Time: 0.459708
+     [java] 1588129875229 Original Encoding Incremental Solving Time: 0.12229
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129875260 Original Encoding Solving Time: 0.02163
+     [java] 1588129875260 Original Encoding Incremental Solving Time: 0.007019
+     [java] Path Solving Time: 1.971728
+     [java] Path Solving Time: 0.552443
+     [java] 1588129875274 Original Encoding Solving Time: 0.588766
+     [java] 1588129875274 Original Encoding Incremental Solving Time: 0.19104
+     [java] 1588129875303 Original Encoding Solving Time: 0.022614
+     [java] 1588129875303 Original Encoding Incremental Solving Time: 0.030312
+     [java] Path Solving Time: 3.033792
+     [java] Path Solving Time: 0.724426
+     [java] 1588129875319 Original Encoding Solving Time: 0.60259
+     [java] 1588129875319 Original Encoding Incremental Solving Time: 0.151839
+     [java] 1588129875339 Original Encoding Solving Time: 0.025739
+     [java] 1588129875339 Original Encoding Incremental Solving Time: 0.008124
+     [java] Path Solving Time: 4.024965
+     [java] Path Solving Time: 0.761615
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129875355 Original Encoding Solving Time: 0.42423
+     [java] 1588129875355 Original Encoding Incremental Solving Time: 0.125469
+     [java] 1588129875369 Original Encoding Solving Time: 0.021247
+     [java] 1588129875369 Original Encoding Incremental Solving Time: 0.006565
+     [java] Path Solving Time: 2.089251
+     [java] Path Solving Time: 0.49393
+     [java] 1588129875385 Original Encoding Solving Time: 1.004352
+     [java] 1588129875385 Original Encoding Incremental Solving Time: 0.13836
+     [java] 1588129875402 Original Encoding Solving Time: 0.034835
+     [java] 1588129875402 Original Encoding Incremental Solving Time: 0.009958
+     [java] Path Solving Time: 3.262896
+     [java] Path Solving Time: 0.984684
+     [java] 1588129875418 Original Encoding Solving Time: 0.593059
+     [java] 1588129875418 Original Encoding Incremental Solving Time: 0.204198
+     [java] 1588129875434 Original Encoding Solving Time: 0.02523
+     [java] 1588129875434 Original Encoding Incremental Solving Time: 0.009366
+     [java] Path Solving Time: 2.786869
+     [java] Path Solving Time: 0.852591
+     [java] 1588129875450 Original Encoding Solving Time: 0.431363
+     [java] 1588129875450 Original Encoding Incremental Solving Time: 0.157219
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129875467 Original Encoding Solving Time: 0.026284
+     [java] 1588129875467 Original Encoding Incremental Solving Time: 0.00982
+     [java] Path Solving Time: 3.143034
+     [java] Path Solving Time: 0.892333
+     [java] 1588129875483 Original Encoding Solving Time: 0.495195
+     [java] 1588129875483 Original Encoding Incremental Solving Time: 0.514087
+     [java] 1588129875500 Original Encoding Solving Time: 0.024256
+     [java] 1588129875500 Original Encoding Incremental Solving Time: 0.008531
+     [java] Path Solving Time: 2.728621
+     [java] Path Solving Time: 0.853794
+     [java] 1588129875516 Original Encoding Solving Time: 0.435461
+     [java] 1588129875516 Original Encoding Incremental Solving Time: 0.167848
+     [java] 1588129875532 Original Encoding Solving Time: 0.026849
+     [java] 1588129875532 Original Encoding Incremental Solving Time: 0.013506
+     [java] Path Solving Time: 4.278755
+     [java] Path Solving Time: 1.885245
+     [java] Path Solving Time: 1.317558
+     [java] 1588129875552 Original Encoding Solving Time: 0.500171
+     [java] 1588129875552 Original Encoding Incremental Solving Time: 0.123671
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129875570 Original Encoding Solving Time: 0.029839
+     [java] 1588129875570 Original Encoding Incremental Solving Time: 0.010674
+     [java] Path Solving Time: 2.743868
+     [java] Path Solving Time: 1.07895
+     [java] Path Solving Time: 0.580104
+     [java] Path Solving Time: 0.583396
+     [java] Path Solving Time: 3.180514
+     [java] 1588129875590 Original Encoding Solving Time: 0.574417
+     [java] 1588129875590 Original Encoding Incremental Solving Time: 0.232037
+     [java] 1588129875608 Original Encoding Solving Time: 0.029758
+     [java] 1588129875608 Original Encoding Incremental Solving Time: 0.010237
+     [java] Path Solving Time: 4.065679
+     [java] Path Solving Time: 0.832278
+     [java] 1588129875625 Original Encoding Solving Time: 0.54532
+     [java] 1588129875625 Original Encoding Incremental Solving Time: 0.30135
+     [java] 1588129875647 Original Encoding Solving Time: 0.025572
+     [java] 1588129875647 Original Encoding Incremental Solving Time: 0.007094
+     [java] Path Solving Time: 1.93591
+     [java] Path Solving Time: 0.811287
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129875661 Original Encoding Solving Time: 0.44181
+     [java] 1588129875661 Original Encoding Incremental Solving Time: 0.209584
+     [java] 1588129875707 Original Encoding Solving Time: 0.032958
+     [java] 1588129875707 Original Encoding Incremental Solving Time: 0.011614
+     [java] Path Solving Time: 2.022091
+     [java] Path Solving Time: 0.624017
+     [java] 1588129875724 Original Encoding Solving Time: 1.219466
+     [java] 1588129875724 Original Encoding Incremental Solving Time: 0.209557
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129875766 Original Encoding Solving Time: 0.04601
+     [java] 1588129875766 Original Encoding Incremental Solving Time: 0.006942
+     [java] Path Solving Time: 2.039182
+     [java] Path Solving Time: 0.823022
+     [java] 1588129875780 Original Encoding Solving Time: 0.422448
+     [java] 1588129875780 Original Encoding Incremental Solving Time: 0.181187
+     [java] 1588129875822 Original Encoding Solving Time: 0.039865
+     [java] 1588129875822 Original Encoding Incremental Solving Time: 0.015018
+     [java] Path Solving Time: 1.557602
+     [java] Path Solving Time: 0.597192
+     [java] 1588129875835 Original Encoding Solving Time: 0.397385
+     [java] 1588129875835 Original Encoding Incremental Solving Time: 0.216842
+     [java] Done with finding holes : Flag = false
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129875876 Original Encoding Solving Time: 0.018791
+     [java] 1588129875876 Original Encoding Incremental Solving Time: 0.016584
+     [java] Path Solving Time: 1.565683
+     [java] Path Solving Time: 0.655351
+     [java] 1588129875891 Original Encoding Solving Time: 2.667184
+     [java] 1588129875891 Original Encoding Incremental Solving Time: 0.211414
+     [java] 1588129875932 Original Encoding Solving Time: 0.01965
+     [java] 1588129875932 Original Encoding Incremental Solving Time: 0.006323
+     [java] Path Solving Time: 1.560713
+     [java] Path Solving Time: 0.393072
+     [java] 1588129875945 Original Encoding Solving Time: 0.269044
+     [java] 1588129875945 Original Encoding Incremental Solving Time: 0.103681
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588129875984 Original Encoding Solving Time: 0.028544
+     [java] 1588129875984 Original Encoding Incremental Solving Time: 0.007673
+     [java] Path Solving Time: 8.727566
+     [java] Path Solving Time: 0.88547
+     [java] Path Solving Time: 0.603272
+     [java] 1588129876005 Original Encoding Solving Time: 0.431857
+     [java] 1588129876005 Original Encoding Incremental Solving Time: 0.334946
+     [java] Path Solving Time: 1.882298
+     [java] Path Solving Time: 0.743743
+     [java] 1588129876030 Original Encoding Solving Time: 0.50001
+     [java] 1588129876030 Original Encoding Incremental Solving Time: 0.895246
+     [java] Path Solving Time: 2.282029
+     [java] Path Solving Time: 0.613882
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129876059 Original Encoding Solving Time: 0.537464
+     [java] 1588129876059 Original Encoding Incremental Solving Time: 0.275562
+     [java] 1588129876072 Original Encoding Solving Time: 0.021375
+     [java] 1588129876072 Original Encoding Incremental Solving Time: 0.00604
+     [java] Path Solving Time: 1.639805
+     [java] Path Solving Time: 0.629479
+     [java] 1588129876087 Original Encoding Solving Time: 1.664666
+     [java] 1588129876087 Original Encoding Incremental Solving Time: 0.131414
+     [java] 1588129876099 Original Encoding Solving Time: 0.019163
+     [java] 1588129876099 Original Encoding Incremental Solving Time: 0.005713
+     [java] Path Solving Time: 1.886624
+     [java] PetriNet for path length: 6 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.733555
+     [java] Path Solving Time: 1.218445
+     [java] 1588129876580 Original Encoding Solving Time: 0.460549
+     [java] 1588129876580 Original Encoding Incremental Solving Time: 1.624023
+     [java] 1588129876601 Original Encoding Solving Time: 0.038487
+     [java] 1588129876601 Original Encoding Incremental Solving Time: 0.030012
+     [java] Path Solving Time: 2.948268
+     [java] Path Solving Time: 0.704783
+     [java] 1588129876618 Original Encoding Solving Time: 2.246531
+     [java] 1588129876618 Original Encoding Incremental Solving Time: 0.433066
+     [java] 1588129876637 Original Encoding Solving Time: 0.03573
+     [java] 1588129876637 Original Encoding Incremental Solving Time: 0.008404
+     [java] Path Solving Time: 2.440581
+     [java] Path Solving Time: 0.659001
+     [java] 1588129876652 Original Encoding Solving Time: 0.254449
+     [java] 1588129876652 Original Encoding Incremental Solving Time: 0.213084
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129876666 Original Encoding Solving Time: 0.031154
+     [java] 1588129876666 Original Encoding Incremental Solving Time: 0.010067
+     [java] Path Solving Time: 2.439757
+     [java] Path Solving Time: 0.473873
+     [java] 1588129876682 Original Encoding Solving Time: 0.433546
+     [java] 1588129876682 Original Encoding Incremental Solving Time: 0.149275
+     [java] 1588129876696 Original Encoding Solving Time: 0.035851
+     [java] 1588129876696 Original Encoding Incremental Solving Time: 0.009389
+     [java] Path Solving Time: 2.818026
+     [java] Path Solving Time: 0.742991
+     [java] 1588129876718 Original Encoding Solving Time: 0.440719
+     [java] 1588129876718 Original Encoding Incremental Solving Time: 0.205077
+     [java] 1588129876734 Original Encoding Solving Time: 0.02675
+     [java] 1588129876734 Original Encoding Incremental Solving Time: 0.00757
+     [java] Path Solving Time: 2.513748
+     [java] Path Solving Time: 0.451727
+     [java] 1588129876752 Original Encoding Solving Time: 0.412363
+     [java] 1588129876752 Original Encoding Incremental Solving Time: 0.145806
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129876766 Original Encoding Solving Time: 0.02648
+     [java] 1588129876766 Original Encoding Incremental Solving Time: 0.006805
+     [java] Path Solving Time: 2.302962
+     [java] Path Solving Time: 0.407522
+     [java] 1588129876784 Original Encoding Solving Time: 0.305766
+     [java] 1588129876784 Original Encoding Incremental Solving Time: 0.556289
+     [java] 1588129876798 Original Encoding Solving Time: 0.023262
+     [java] 1588129876798 Original Encoding Incremental Solving Time: 0.006737
+     [java] Path Solving Time: 2.366036
+     [java] Path Solving Time: 0.407218
+     [java] 1588129876812 Original Encoding Solving Time: 0.316628
+     [java] 1588129876812 Original Encoding Incremental Solving Time: 0.106816
+     [java] 1588129876828 Original Encoding Solving Time: 0.031827
+     [java] 1588129876828 Original Encoding Incremental Solving Time: 0.037871
+     [java] Path Solving Time: 2.414758
+     [java] Path Solving Time: 0.449938
+     [java] 1588129876845 Original Encoding Solving Time: 0.457522
+     [java] 1588129876845 Original Encoding Incremental Solving Time: 0.100567
+     [java] 1588129876858 Original Encoding Solving Time: 0.026666
+     [java] 1588129876858 Original Encoding Incremental Solving Time: 0.006435
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.445336
+     [java] Path Solving Time: 0.602537
+     [java] 1588129876880 Original Encoding Solving Time: 0.492111
+     [java] 1588129876880 Original Encoding Incremental Solving Time: 1.498759
+     [java] 1588129876904 Original Encoding Solving Time: 0.020888
+     [java] 1588129876904 Original Encoding Incremental Solving Time: 0.006947
+     [java] Path Solving Time: 2.631668
+     [java] Path Solving Time: 0.539168
+     [java] 1588129876922 Original Encoding Solving Time: 0.45761
+     [java] 1588129876922 Original Encoding Incremental Solving Time: 0.135079
+     [java] 1588129876945 Original Encoding Solving Time: 0.023312
+     [java] 1588129876945 Original Encoding Incremental Solving Time: 0.006786
+     [java] Path Solving Time: 2.792816
+     [java] Path Solving Time: 0.501144
+     [java] 1588129876961 Original Encoding Solving Time: 0.443701
+     [java] 1588129876961 Original Encoding Incremental Solving Time: 0.146784
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129877327 Original Encoding Solving Time: 0.021175
+     [java] 1588129877327 Original Encoding Incremental Solving Time: 0.007893
+     [java] Path Solving Time: 3.866172
+     [java] Path Solving Time: 0.458346
+     [java] 1588129877346 Original Encoding Solving Time: 0.250099
+     [java] 1588129877346 Original Encoding Incremental Solving Time: 0.087678
+     [java] Done with finding holes : Flag = true
+     [java] 1588129877447 Original Encoding Solving Time: 0.019315
+     [java] 1588129877447 Original Encoding Incremental Solving Time: 0.005983
+     [java] Path Solving Time: 3.876601
+     [java] Path Solving Time: 0.75752
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129877467 Original Encoding Solving Time: 0.432071
+     [java] 1588129877467 Original Encoding Incremental Solving Time: 0.115293
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129877604 Original Encoding Solving Time: 0.017256
+     [java] 1588129877604 Original Encoding Incremental Solving Time: 0.006179
+     [java] Path Solving Time: 2.082019
+     [java] Path Solving Time: 0.655036
+     [java] 1588129877621 Original Encoding Solving Time: 0.225458
+     [java] 1588129877621 Original Encoding Incremental Solving Time: 0.16693
+     [java] Done with finding holes : Flag = false
+     [java] 1588129877731 Original Encoding Solving Time: 0.016229
+     [java] 1588129877731 Original Encoding Incremental Solving Time: 0.005446
+     [java] Path Solving Time: 2.721292
+     [java] Path Solving Time: 0.412362
+     [java] 1588129877750 Original Encoding Solving Time: 0.290137
+     [java] 1588129877750 Original Encoding Incremental Solving Time: 0.12405
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129877768 Original Encoding Solving Time: 0.017398
+     [java] 1588129877768 Original Encoding Incremental Solving Time: 0.00475
+     [java] Path Solving Time: 2.239231
+     [java] Path Solving Time: 0.385015
+     [java] 1588129877784 Original Encoding Solving Time: 0.230631
+     [java] 1588129877784 Original Encoding Incremental Solving Time: 0.079935
+     [java] 1588129877808 Original Encoding Solving Time: 0.020855
+     [java] 1588129877808 Original Encoding Incremental Solving Time: 0.006905
+     [java] Path Solving Time: 3.369432
+     [java] Path Solving Time: 0.677601
+     [java] 1588129877826 Original Encoding Solving Time: 0.419652
+     [java] 1588129877826 Original Encoding Incremental Solving Time: 0.127587
+     [java] 1588129877847 Original Encoding Solving Time: 0.017147
+     [java] 1588129877847 Original Encoding Incremental Solving Time: 0.005425
+     [java] Path Solving Time: 2.265497
+     [java] Path Solving Time: 0.429202
+     [java] Done with finding holes : Flag = false
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129877866 Original Encoding Solving Time: 2.803486
+     [java] serializing ...
+     [java] {BooleanLogic<0x7fa4592271e0>: OR
+     [java] {BooleanPredicate<0x7fa4592d4aa0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4592fa4b0>:{Set(1)<0x7fa4587669f0>:Members: 103, } 0x7fa4592fa4b0 UNASSIGNED }{ElementConst<0x7fa459275640>: 103}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4585aeb10>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458f11600>:{Set(1)<0x7fa459202810>:Members: 103, 105, } 0x7fa458f11600 UNASSIGNED }{ElementConst<0x7fa459275640>: 103}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa459291fb0>: OR
+     [java] {BooleanPredicate<0x7fa4592fbef0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458f15950>:{Set(1)<0x7fa4592017d0>:Members: 104, } 0x7fa458f15950 UNASSIGNED }{ElementConst<0x7fa459274a60>: 104}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa45926da40>: OR
+     [java] {BooleanPredicate<0x7fa4591926a0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458f11600>:{Set(1)<0x7fa459202810>:Members: 103, 105, } 0x7fa458f11600 UNASSIGNED }{ElementConst<0x7fa459291300>: 105}
+     [java] }
+     [java] }
+     [java] 
+     [java] serializing ...
+     [java] {BooleanLogic<0x7fa459203100>: OR
+     [java] {BooleanPredicate<0x7fa458745f30>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458618380>:{Set(1)<0x7fa45827aef0>:Members: 121, } 0x7fa458618380 UNASSIGNED }{ElementConst<0x7fa4592212d0>: 121}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4587333f0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458e13390>:{Set(1)<0x7fa45827af30>:Members: 121, 122, } 0x7fa458e13390 UNASSIGNED }{ElementConst<0x7fa4592212d0>: 121}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4592da3b0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458603260>:{Set(1)<0x7fa4583b2230>:Members: 121, 122, 123, } 0x7fa458603260 UNASSIGNED }{ElementConst<0x7fa4592212d0>: 121}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4592b11e0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa45827aff0>:Members: 121, 122, 123, 124, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa4592212d0>: 121}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4586154a0>: OR
+     [java] {BooleanPredicate<0x7fa45874c940>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458e13390>:{Set(1)<0x7fa45827af30>:Members: 121, 122, } 0x7fa458e13390 UNASSIGNED }{ElementConst<0x7fa459263310>: 122}
+     [java] }
+     [java] {BooleanPredicate<0x7fa45874c6d0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458603260>:{Set(1)<0x7fa4583b2230>:Members: 121, 122, 123, } 0x7fa458603260 UNASSIGNED }{ElementConst<0x7fa459263310>: 122}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458e13140>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa45827aff0>:Members: 121, 122, 123, 124, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa459263310>: 122}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4583b0670>: OR
+     [java] {BooleanPredicate<0x7fa45861a8b0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458603260>:{Set(1)<0x7fa4583b2230>:Members: 121, 122, 123, } 0x7fa458603260 UNASSIGNED }{ElementConst<0x7fa459151440>: 123}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4583b03b0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa45827aff0>:Members: 121, 122, 123, 124, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa459151440>: 123}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4586179e0>: OR
+     [java] {BooleanPredicate<0x7fa4591acd20>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa45827aff0>:Members: 121, 122, 123, 124, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa458608c20>: 124}
+     [java] }
+     [java] }
+     [java] 
+     [java] serializing ...
+     [java] {BooleanLogic<0x7fa45878bef0>: OR
+     [java] {BooleanPredicate<0x7fa4586c85c0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa4587083f0>:Members: 189, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa459151440>: 189}
+     [java] }
+     [java] {BooleanPredicate<0x7fa45874c6d0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458618380>:{Set(1)<0x7fa4587c1fc0>:Members: 189, 192, } 0x7fa458618380 UNASSIGNED }{ElementConst<0x7fa459151440>: 189}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4586d0a90>: OR
+     [java] {BooleanPredicate<0x7fa458580520>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458603260>:{Set(1)<0x7fa458705ca0>:Members: 190, } 0x7fa458603260 UNASSIGNED }{ElementConst<0x7fa45842dc60>: 190}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa45827fbb0>: OR
+     [java] {BooleanPredicate<0x7fa45843b280>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458e13390>:{Set(1)<0x7fa4587c1cf0>:Members: 191, } 0x7fa458e13390 UNASSIGNED }{Ele1588129877866 Original Encoding Incremental Solving Time: 0.201544
+     [java] 1588129877886 Original Encoding Solving Time: 0.017182
+     [java] 1588129877886 Original Encoding Incremental Solving Time: 0.007428
+     [java] Path Solving Time: 2.545646
+     [java] Path Solving Time: 0.625096
+     [java] 1588129877904 Original Encoding Solving Time: 0.364764
+     [java] 1588129877904 Original Encoding Incremental Solving Time: 0.148434
+     [java] 1588129877924 Original Encoding Solving Time: 0.018976
+     [java] 1588129877924 Original Encoding Incremental Solving Time: 0.00732
+     [java] Path Solving Time: 2.46355
+     [java] Path Solving Time: 0.650178
+     [java] 1588129877941 Original Encoding Solving Time: 0.403501
+     [java] 1588129877941 Original Encoding Incremental Solving Time: 0.139509
+     [java] 1588129878047 Original Encoding Solving Time: 0.019818
+     [java] 1588129878047 Original Encoding Incremental Solving Time: 0.021059
+     [java] Path Solving Time: 3.68743
+     [java] Path Solving Time: 0.674176
+     [java] 1588129878066 Original Encoding Solving Time: 0.57658
+     [java] 1588129878066 Original Encoding Incremental Solving Time: 0.105033
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129878164 Original Encoding Solving Time: 0.016593
+     [java] 1588129878164 Original Encoding Incremental Solving Time: 0.004362
+     [java] Path Solving Time: 2.971308
+     [java] Path Solving Time: 0.709039
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129878182 Original Encoding Solving Time: 0.245712
+     [java] 1588129878182 Original Encoding Incremental Solving Time: 0.095247
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129878276 Original Encoding Solving Time: 0.016324
+     [java] 1588129878276 Original Encoding Incremental Solving Time: 0.00502
+     [java] Path Solving Time: 3.43459
+     [java] Path Solving Time: 0.620528
+     [java] 1588129878297 Original Encoding Solving Time: 0.241874
+     [java] 1588129878297 Original Encoding Incremental Solving Time: 0.112078
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129878399 Original Encoding Solving Time: 0.018467
+     [java] 1588129878399 Original Encoding Incremental Solving Time: 0.006475
+     [java] Path Solving Time: 4.039015
+     [java] Path Solving Time: 0.724552
+     [java] 1588129878419 Original Encoding Solving Time: 0.226264
+     [java] 1588129878419 Original Encoding Incremental Solving Time: 0.104696
+     [java] 1588129878436 Original Encoding Solving Time: 0.014858
+     [java] 1588129878436 Original Encoding Incremental Solving Time: 0.003895
+     [java] Path Solving Time: 2.317787
+     [java] Path Solving Time: 0.41098
+     [java] 1588129878452 Original Encoding Solving Time: 0.303793
+     [java] 1588129878452 Original Encoding Incremental Solving Time: 0.082478
+     [java] 1588129878469 Original Encoding Solving Time: 0.015494
+     [java] 1588129878469 Original Encoding Incremental Solving Time: 0.0042
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 2.189697
+     [java] Path Solving Time: 0.422699
+     [java] 1588129878485 Original Encoding Solving Time: 0.232782
+     [java] 1588129878485 Original Encoding Incremental Solving Time: 0.083201
+     [java] 1588129878502 Original Encoding Solving Time: 0.015088
+     [java] 1588129878502 Original Encoding Incremental Solving Time: 0.004103
+     [java] Path Solving Time: 3.744154
+     [java] Path Solving Time: 0.387234
+     [java] 1588129878523 Original Encoding Solving Time: 3.895589
+     [java] 1588129878523 Original Encoding Incremental Solving Time: 0.11564
+     [java] 1588129878543 Original Encoding Solving Time: 0.019249
+     [java] 1588129878543 Original Encoding Incremental Solving Time: 0.005079
+     [java] Path Solving Time: 2.793741
+     [java] Path Solving Time: 0.499191
+     [java] 1588129878560 Original Encoding Solving Time: 0.333126
+     [java] 1588129878560 Original Encoding Incremental Solving Time: 0.105946
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129878598 Original Encoding Solving Time: 0.021069
+     [java] 1588129878598 Original Encoding Incremental Solving Time: 0.005838
+     [java] Path Solving Time: 2.502771
+     [java] Path Solving Time: 0.645453
+     [java] 1588129878615 Original Encoding Solving Time: 0.403339
+     [java] 1588129878615 Original Encoding Incremental Solving Time: 0.109007
+     [java] 1588129878653 Original Encoding Solving Time: 0.02229
+     [java] 1588129878653 Original Encoding Incremental Solving Time: 0.006435
+     [java] Path Solving Time: 2.661475
+     [java] Path Solving Time: 0.654884
+     [java] 1588129878671 Original Encoding Solving Time: 0.391287
+     [java] 1588129878671 Original Encoding Incremental Solving Time: 0.347972
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129878710 Original Encoding Solving Time: 0.020393
+     [java] 1588129878710 Original Encoding Incremental Solving Time: 0.006082
+     [java] Path Solving Time: 2.522879
+     [java] Path Solving Time: 0.652567
+     [java] 1588129878727 Original Encoding Solving Time: 0.244238
+     [java] 1588129878727 Original Encoding Incremental Solving Time: 0.259983
+     [java] 1588129879051 Original Encoding Solving Time: 0.019852
+     [java] 1588129879051 Original Encoding Incremental Solving Time: 0.005343
+     [java] Path Solving Time: 2.115957
+     [java] Path Solving Time: 0.394216
+     [java] 1588129879070 Original Encoding Solving Time: 0.339136
+     [java] 1588129879070 Original Encoding Incremental Solving Time: 0.121215
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129879118 Original Encoding Solving Time: 0.024673
+     [java] 1588129879118 Original Encoding Incremental Solving Time: 0.009429
+     [java] Path Solving Time: 3.601077
+     [java] Path Solving Time: 0.993689
+     [java] 1588129879137 Original Encoding Solving Time: 0.386745
+     [java] 1588129879137 Original Encoding Incremental Solving Time: 0.219565
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129879177 Original Encoding Solving Time: 0.020513
+     [java] 1588129879177 Original Encoding Incremental Solving Time: 0.005497
+     [java] Path Solving Time: 2.415592
+     [java] Path Solving Time: 0.627185
+     [java] 1588129879194 Original Encoding Solving Time: 0.383578
+     [java] 1588129879194 Original Encoding Incremental Solving Time: 0.160784
+     [java] 1588129879243 Original Encoding Solving Time: 0.020825
+     [java] 1588129879243 Original Encoding Incremental Solving Time: 0.005544
+     [java] Path Solving Time: 2.471911
+     [java] Path Solving Time: 0.630603
+     [java] 1588129879260 Original Encoding Solving Time: 0.284429
+     [java] 1588129879260 Original Encoding Incremental Solving Time: 0.137039
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129879300 Original Encoding Solving Time: 0.020635
+     [java] 1588129879300 Original Encoding Incremental Solving Time: 0.005292
+     [java] Path Solving Time: 2.289548
+     [java] Path Solving Time: 0.374648
+     [java] 1588129879316 Original Encoding Solving Time: 0.260187
+     [java] 1588129879316 Original Encoding Incremental Solving Time: 0.106445
+     [java] 1588129879336 Original Encoding Solving Time: 0.0195
+     [java] 1588129879336 Original Encoding Incremental Solving Time: 0.006089
+     [java] Path Solving Time: 2.232139
+     [java] Path Solving Time: 0.373479
+     [java] 1588129879352 Original Encoding Solving Time: 0.43735
+     [java] 1588129879352 Original Encoding Incremental Solving Time: 0.141592
+     [java] 1588129879373 Original Encoding Solving Time: 0.019528
+     [java] 1588129879373 Original Encoding Incremental Solving Time: 0.005213
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 2.244692
+     [java] Path Solving Time: 0.376801
+     [java] 1588129879390 Original Encoding Solving Time: 0.359379
+     [java] 1588129879390 Original Encoding Incremental Solving Time: 0.105007
+     [java] 1588129879409 Original Encoding Solving Time: 0.019079
+     [java] 1588129879409 Original Encoding Incremental Solving Time: 0.004824
+     [java] Path Solving Time: 2.244538
+     [java] Path Solving Time: 0.436226
+     [java] 1588129879426 Original Encoding Solving Time: 0.342194
+     [java] 1588129879426 Original Encoding Incremental Solving Time: 0.104947
+     [java] 1588129879446 Original Encoding Solving Time: 0.04356
+     [java] 1588129879446 Original Encoding Incremental Solving Time: 0.004956
+     [java] Path Solving Time: 5.253954
+     [java] Path Solving Time: 0.630886
+     [java] 1588129879466 Original Encoding Solving Time: 0.273554
+     [java] 1588129879466 Original Encoding Incremental Solving Time: 0.088302
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129879476 Original Encoding Solving Time: 0.024439
+     [java] 1588129879476 Original Encoding Incremental Solving Time: 0.005786
+     [java] Path Solving Time: 3.320839
+     [java] Path Solving Time: 0.485921
+     [java] 1588129879499 Original Encoding Solving Time: 0.299191
+     [java] 1588129879499 Original Encoding Incremental Solving Time: 0.094856
+     [java] 1588129879510 Original Encoding Solving Time: 0.024447
+     [java] 1588129879510 Original Encoding Incremental Solving Time: 0.005927
+     [java] Path Solving Time: 3.766711
+     [java] Path Solving Time: 0.589773
+     [java] 1588129879536 Original Encoding Solving Time: 0.418274
+     [java] 1588129879536 Original Encoding Incremental Solving Time: 0.09893
+     [java] 1588129879547 Original Encoding Solving Time: 0.023981
+     [java] 1588129879547 Original Encoding Incremental Solving Time: 0.035758
+     [java] Path Solving Time: 3.135352
+     [java] Path Solving Time: 0.467343
+     [java] 1588129879568 Original Encoding Solving Time: 0.235361
+     [java] 1588129879568 Original Encoding Incremental Solving Time: 0.091551
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129879580 Original Encoding Solving Time: 0.020859
+     [java] 1588129879580 Original Encoding Incremental Solving Time: 0.005681
+     [java] Path Solving Time: 3.010231
+     [java] Path Solving Time: 0.555125
+     [java] 1588129879601 Original Encoding Solving Time: 0.264726
+     [java] 1588129879601 Original Encoding Incremental Solving Time: 0.115533
+     [java] 1588129879616 Original Encoding Solving Time: 0.021249
+     [java] 1588129879616 Original Encoding Incremental Solving Time: 0.007795
+     [java] Path Solving Time: 3.755848
+     [java] Path Solving Time: 0.779828
+     [java] 1588129879638 Original Encoding Solving Time: 1.500672
+     [java] 1588129879638 Original Encoding Incremental Solving Time: 0.125945
+     [java] 1588129879650 Original Encoding Solving Time: 0.023458
+     [java] 1588129879650 Original Encoding Incremental Solving Time: 0.005361
+     [java] Path Solving Time: 3.43783
+     [java] Path Solving Time: 0.882413
+     [java] 1588129879672 Original Encoding Solving Time: 0.324631
+     [java] 1588129879672 Original Encoding Incremental Solving Time: 0.124318
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129879687 Original Encoding Solving Time: 0.021054
+     [java] 1588129879687 Original Encoding Incremental Solving Time: 0.005792
+     [java] Path Solving Time: 2.947611
+     [java] Path Solving Time: 0.71204
+     [java] 1588129879707 Original Encoding Solving Time: 0.285442
+     [java] 1588129879707 Original Encoding Incremental Solving Time: 0.127597
+     [java] 1588129879721 Original Encoding Solving Time: 0.024985
+     [java] 1588129879721 Original Encoding Incremental Solving Time: 0.005101
+     [java] Path Solving Time: 3.017425
+     [java] Path Solving Time: 0.709083
+     [java] 1588129879740 Original Encoding Solving Time: 0.240584
+     [java] 1588129879740 Original Encoding Incremental Solving Time: 0.115512
+     [java] 1588129879753 Original Encoding Solving Time: 0.025832
+     [java] 1588129879753 Original Encoding Incremental Solving Time: 0.006282
+     [java] Path Solving Time: 3.368463
+     [java] Path Solving Time: 0.763699
+     [java] 1588129879774 Original Encoding Solving Time: 0.369355
+     [java] 1588129879774 Original Encoding Incremental Solving Time: 0.091538
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129879784 Original Encoding Solving Time: 0.025024
+     [java] 1588129879784 Original Encoding Incremental Solving Time: 0.007115
+     [java] Path Solving Time: 3.072796
+     [java] Path Solving Time: 0.723994
+     [java] 1588129879807 Original Encoding Solving Time: 0.396082
+     [java] 1588129879807 Original Encoding Incremental Solving Time: 0.155844
+     [java] 1588129879819 Original Encoding Solving Time: 0.021803
+     [java] 1588129879819 Original Encoding Incremental Solving Time: 0.005327
+     [java] Path Solving Time: 3.043013
+     [java] Path Solving Time: 0.570043
+     [java] 1588129879839 Original Encoding Solving Time: 0.284169
+     [java] 1588129879839 Original Encoding Incremental Solving Time: 0.118742
+     [java] 1588129879850 Original Encoding Solving Time: 0.020835
+     [java] 1588129879850 Original Encoding Incremental Solving Time: 0.005076
+     [java] Path Solving Time: 2.78891
+     [java] Path Solving Time: 0.431105
+     [java] 1588129879871 Original Encoding Solving Time: 0.28806
+     [java] 1588129879871 Original Encoding Incremental Solving Time: 0.105252
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129879883 Original Encoding Solving Time: 0.031058
+     [java] 1588129879883 Original Encoding Incremental Solving Time: 0.034264
+     [java] Path Solving Time: 2.909991
+     [java] Path Solving Time: 0.52406
+     [java] 1588129879904 Original Encoding Solving Time: 0.348384
+     [java] 1588129879904 Original Encoding Incremental Solving Time: 0.089489
+     [java] 1588129879917 Original Encoding Solving Time: 0.022141
+     [java] 1588129879917 Original Encoding Incremental Solving Time: 0.028999
+     [java] Path Solving Time: 2.780226
+     [java] Path Solving Time: 0.52041
+     [java] 1588129879937 Original Encoding Solving Time: 0.365877
+     [java] 1588129879937 Original Encoding Incremental Solving Time: 0.111339
+     [java] 1588129879951 Original Encoding Solving Time: 0.021659
+     [java] 1588129879951 Original Encoding Incremental Solving Time: 0.006194
+     [java] Path Solving Time: 2.919887
+     [java] Path Solving Time: 0.608704
+     [java] 1588129879970 Original Encoding Solving Time: 0.414319
+     [java] 1588129879970 Original Encoding Incremental Solving Time: 0.076385
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129879986 Original Encoding Solving Time: 0.03168
+     [java] 1588129879986 Original Encoding Incremental Solving Time: 0.010166
+     [java] Path Solving Time: 4.40733
+     [java] Path Solving Time: 0.696984
+     [java] 1588129880009 Original Encoding Solving Time: 0.400614
+     [java] 1588129880009 Original Encoding Incremental Solving Time: 2.085231
+     [java] 1588129880038 Original Encoding Solving Time: 0.021037
+     [java] 1588129880038 Original Encoding Incremental Solving Time: 0.005868
+     [java] Path Solving Time: 4.461519
+     [java] Path Solving Time: 0.891864
+     [java] 1588129880058 Original Encoding Solving Time: 0.371879
+     [java] 1588129880058 Original Encoding Incremental Solving Time: 0.145002
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129880081 Original Encoding Solving Time: 0.018298
+     [java] 1588129880081 Original Encoding Incremental Solving Time: 0.005774
+     [java] Path Solving Time: 3.278593
+     [java] Path Solving Time: 0.780183
+     [java] 1588129880099 Original Encoding Solving Time: 0.30174
+     [java] 1588129880099 Original Encoding Incremental Solving Time: 0.084363
+     [java] 1588129880125 Original Encoding Solving Time: 0.016147
+     [java] 1588129880125 Original Encoding Incremental Solving Time: 0.004276
+     [java] Path Solving Time: 3.129825
+     [java] Path Solving Time: 0.747611
+     [java] 1588129880143 Original Encoding Solving Time: 0.417718
+     [java] 1588129880143 Original Encoding Incremental Solving Time: 0.106845
+     [java] 1588129880164 Original Encoding Solving Time: 0.014122
+     [java] 1588129880164 Original Encoding Incremental Solving Time: 0.00405
+     [java] Path Solving Time: 3.098355
+     [java] Path Solving Time: 0.703885
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129880183 Original Encoding Solving Time: 0.344159
+     [java] 1588129880183 Original Encoding Incremental Solving Time: 0.090486
+     [java] 1588129880204 Original Encoding Solving Time: 0.013875
+     [java] 1588129880204 Original Encoding Incremental Solving Time: 0.004327
+     [java] Path Solving Time: 2.867925
+     [java] Path Solving Time: 0.739495
+     [java] 1588129880222 Original Encoding Solving Time: 0.316749
+     [java] 1588129880222 Original Encoding Incremental Solving Time: 0.073895
+     [java] 1588129880246 Original Encoding Solving Time: 0.015206
+     [java] 1588129880246 Original Encoding Incremental Solving Time: 0.003862
+     [java] Path Solving Time: 3.294693
+     [java] Path Solving Time: 0.435097
+     [java] 1588129880264 Original Encoding Solving Time: 0.261613
+     [java] 1588129880264 Original Encoding Incremental Solving Time: 0.061532
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129880287 Original Encoding Solving Time: 0.01764
+     [java] 1588129880287 Original Encoding Incremental Solving Time: 0.0229
+     [java] Path Solving Time: 2.957752
+     [java] Path Solving Time: 0.683157
+     [java] 1588129880305 Original Encoding Solving Time: 0.251326
+     [java] 1588129880305 Original Encoding Incremental Solving Time: 0.078174
+     [java] 1588129880322 Original Encoding Solving Time: 0.019565
+     [java] 1588129880322 Original Encoding Incremental Solving Time: 0.004102
+     [java] Path Solving Time: 2.93143
+     [java] Path Solving Time: 0.441464
+     [java] 1588129880340 Original Encoding Solving Time: 0.238176
+     [java] 1588129880340 Original Encoding Incremental Solving Time: 0.074236
+     [java] 1588129880358 Original Encoding Solving Time: 0.01876
+     [java] 1588129880358 Original Encoding Incremental Solving Time: 0.004772
+     [java] Path Solving Time: 4.596067
+     [java] Path Solving Time: 0.480919
+     [java] 1588129880377 Original Encoding Solving Time: 0.238081
+     [java] 1588129880377 Original Encoding Incremental Solving Time: 0.076248
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129880476 Original Encoding Solving Time: 0.016249
+     [java] 1588129880476 Original Encoding Incremental Solving Time: 0.004506
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.70504
+     [java] Path Solving Time: 0.833142
+     [java] 1588129880500 Original Encoding Solving Time: 0.353365
+     [java] 1588129880500 Original Encoding Incremental Solving Time: 0.111414
+     [java] 1588129880519 Original Encoding Solving Time: 0.014741
+     [java] 1588129880519 Original Encoding Incremental Solving Time: 0.003495
+     [java] Path Solving Time: 2.963525
+     [java] Path Solving Time: 0.530325
+     [java] 1588129880536 Original Encoding Solving Time: 0.336731
+     [java] 1588129880536 Original Encoding Incremental Solving Time: 0.100155
+     [java] Done with finding holes : Flag = false
+     [java] 1588129880633 Original Encoding Solving Time: 0.015725
+     [java] 1588129880633 Original Encoding Incremental Solving Time: 0.004546
+     [java] Path Solving Time: 4.486921
+     [java] Path Solving Time: 0.818482
+     [java] 1588129880656 Original Encoding Solving Time: 0.256045
+     [java] 1588129880656 Original Encoding Incremental Solving Time: 0.099684
+     [java] 1588129880674 Original Encoding Solving Time: 0.013711
+     [java] 1588129880674 Original Encoding Incremental Solving Time: 0.003465
+     [java] Path Solving Time: 3.120139
+     [java] Path Solving Time: 0.44382
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129880692 Original Encoding Solving Time: 0.256385
+     [java] 1588129880692 Original Encoding Incremental Solving Time: 0.077708
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129880789 Original Encoding Solving Time: 0.026602
+     [java] 1588129880789 Original Encoding Incremental Solving Time: 0.008966
+     [java] Path Solving Time: 6.550216
+     [java] Path Solving Time: 1.256012
+     [java] 1588129880812 Original Encoding Solving Time: 0.375111
+     [java] 1588129880812 Original Encoding Incremental Solving Time: 0.145495
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129880916 Original Encoding Solving Time: 0.021696
+     [java] 1588129880916 Original Encoding Incremental Solving Time: 0.007658
+     [java] Path Solving Time: 4.846315
+     [java] Path Solving Time: 0.828296
+     [java] 1588129880937 Original Encoding Solving Time: 0.468391
+     [java] 1588129880937 Original Encoding Incremental Solving Time: 0.100656
+     [java] Done with finding holes : Flag = false
+     [java] 1588129881040 Original Encoding Solving Time: 0.027842
+     [java] 1588129881040 Original Encoding Incremental Solving Time: 0.008877
+     [java] Path Solving Time: 6.694747
+     [java] Path Solving Time: 1.197108
+     [java] 1588129881064 Original Encoding Solving Time: 0.537031
+     [java] 1588129881064 Original Encoding Incremental Solving Time: 0.147618
+     [java] Done with finding holes : Flag = true
+     [java] 1588129881159 Original Encoding Solving Time: 0.02266
+     [java] 1588129881159 Original Encoding Incremental Solving Time: 0.008617
+     [java] Path Solving Time: 4.515684
+     [java] Path Solving Time: 0.801077
+     [java] 1588129881179 Original Encoding Solving Time: 0.261966
+     [java] 1588129881179 Original Encoding Incremental Solving Time: 0.168131
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129881280 Original Encoding Solving Time: 0.021652
+     [java] 1588129881280 Original Encoding Incremental Solving Time: 0.006348
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.06653
+     [java] Path Solving Time: 0.852476
+     [java] 1588129881304 Original Encoding Solving Time: 0.414441
+     [java] 1588129881304 Original Encoding Incremental Solving Time: 0.13888
+     [java] 1588129881322 Original Encoding Solving Time: 0.018479
+     [java] 1588129881322 Original Encoding Incremental Solving Time: 0.004612
+     [java] Path Solving Time: 2.923153
+     [java] Path Solving Time: 0.438763
+     [java] 1588129881340 Original Encoding Solving Time: 0.347805
+     [java] 1588129881340 Original Encoding Incremental Solving Time: 0.508065
+     [java] 1588129881359 Original Encoding Solving Time: 0.018644
+     [java] 1588129881359 Original Encoding Incremental Solving Time: 0.004576
+     [java] Path Solving Time: 2.894886
+     [java] Path Solving Time: 0.436234
+     [java] 1588129881376 Original Encoding Solving Time: 0.467556
+     [java] 1588129881376 Original Encoding Incremental Solving Time: 0.06415
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129881395 Original Encoding Solving Time: 0.028237
+     [java] 1588129881395 Original Encoding Incremental Solving Time: 0.004239
+     [java] Path Solving Time: 2.830641
+     [java] Path Solving Time: 0.437765
+     [java] 1588129881413 Original Encoding Solving Time: 0.305312
+     [java] 1588129881413 Original Encoding Incremental Solving Time: 0.116121
+     [java] 1588129881433 Original Encoding Solving Time: 0.018681
+     [java] 1588129881433 Original Encoding Incremental Solving Time: 0.005581
+     [java] Path Solving Time: 3.09208
+     [java] Path Solving Time: 0.570528
+     [java] 1588129881451 Original Encoding Solving Time: 0.308216
+     [java] 1588129881451 Original Encoding Incremental Solving Time: 0.098792
+     [java] 1588129881469 Original Encoding Solving Time: 0.017428
+     [java] 1588129881469 Original Encoding Incremental Solving Time: 0.004212
+     [java] Path Solving Time: 2.894999
+     [java] Path Solving Time: 0.4405
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129881486 Original Encoding Solving Time: 0.269919
+     [java] 1588129881486 Original Encoding Incremental Solving Time: 0.063246
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129881585 Original Encoding Solving Time: 0.02041
+     [java] 1588129881585 Original Encoding Incremental Solving Time: 0.005357
+     [java] Path Solving Time: 13.199074
+     [java] Path Solving Time: 0.719337
+     [java] 1588129881613 Original Encoding Solving Time: 0.373392
+     [java] 1588129881613 Original Encoding Incremental Solving Time: 0.141558
+     [java] 1588129881625 Original Encoding Solving Time: 0.022821
+     [java] 1588129881625 Original Encoding Incremental Solving Time: 0.005504
+     [java] Path Solving Time: 4.830973
+     [java] Path Solving Time: 0.656725
+     [java] 1588129881651 Original Encoding Solving Time: 0.259163
+     [java] 1588129881651 Original Encoding Incremental Solving Time: 0.077539
+     [java] 1588129881664 Original Encoding Solving Time: 0.047912
+     [java] 1588129881664 Original Encoding Incremental Solving Time: 0.009058
+     [java] Path Solving Time: 5.218649
+     [java] Path Solving Time: 1.194699
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129881688 Original Encoding Solving Time: 0.419642
+     [java] 1588129881688 Original Encoding Incremental Solving Time: 0.256646
+     [java] 1588129881705 Original Encoding Solving Time: 0.022255
+     [java] 1588129881705 Original Encoding Incremental Solving Time: 0.005812
+     [java] Path Solving Time: 3.570186
+     [java] Path Solving Time: 0.696859
+     [java] 1588129881727 Original Encoding Solving Time: 2.289652
+     [java] mentConst<0x7fa458708060>: 191}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa458263280>: OR
+     [java] {BooleanPredicate<0x7fa45874c940>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458618380>:{Set(1)<0x7fa4587c1fc0>:Members: 189, 192, } 0x7fa458618380 UNASSIGNED }{ElementConst<0x7fa459263310>: 192}
+     [java] }
+     [java] }
+     [java] 
+     [java] serializing ...
+     [java] {BooleanLogic<0x7fa4586d0a90>: OR
+     [java] {BooleanPredicate<0x7fa458580520>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458618380>:{Set(1)<0x7fa4587f3010>:Members: 225, } 0x7fa458618380 UNASSIGNED }{ElementConst<0x7fa45878c240>: 225}
+     [java] }
+     [java] {BooleanPredicate<0x7fa45874c6d0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458603260>:{Set(1)<0x7fa4588a92d0>:Members: 225, 227, } 0x7fa458603260 UNASSIGNED }{ElementConst<0x7fa45878c240>: 225}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4586c85c0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa4588a9550>:Members: 225, 227, 228, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa45878c240>: 225}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4586bb260>: OR
+     [java] {BooleanPredicate<0x7fa4586ed4a0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458e13390>:{Set(1)<0x7fa4588115c0>:Members: 226, } 0x7fa458e13390 UNASSIGNED }{ElementConst<0x7fa458262ed0>: 226}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa45878ae60>: OR
+     [java] {BooleanPredicate<0x7fa458825950>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458603260>:{Set(1)<0x7fa4588a92d0>:Members: 225, 227, } 0x7fa458603260 UNASSIGNED }{ElementConst<0x7fa4582635e0>: 227}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4588270c0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa4588a9550>:Members: 225, 227, 228, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa4582635e0>: 227}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa458873f50>: OR
+     [java] {BooleanPredicate<0x7fa45883dcf0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458602e20>:{Set(1)<0x7fa4588a9550>:Members: 225, 227, 228, } 0x7fa458602e20 UNASSIGNED }{ElementConst<0x7fa458789fd0>: 228}
+     [java] }
+     [java] }
+     [java] 
+     [java] serializing ...
+     [java] {BooleanLogic<0x7fa4588a94e0>: OR
+     [java] {BooleanPredicate<0x7fa458a4ace0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458a83c10>:{Set(1)<0x7fa4583d3880>:Members: 495, } 0x7fa458a83c10 UNASSIGNED }{ElementConst<0x7fa458a4ce30>: 495}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458951440>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa45892f0f0>:{Set(1)<0x7fa4583d86e0>:Members: 495, 496, } 0x7fa45892f0f0 UNASSIGNED }{ElementConst<0x7fa458a4ce30>: 495}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a4cc40>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4585b77c0>:{Set(1)<0x7fa4583d8940>:Members: 495, 496, 497, } 0x7fa4585b77c0 UNASSIGNED }{ElementConst<0x7fa458a4ce30>: 495}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4589e6350>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4587bbff0>:{Set(1)<0x7fa4583d8c70>:Members: 495, 496, 497, 498, } 0x7fa4587bbff0 UNASSIGNED }{ElementConst<0x7fa458a4ce30>: 495}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a33de0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458a96ca0>:{Set(1)<0x7fa4580e24d0>:Members: 495, 496, 497, 498, 499, } 0x7fa458a96ca0 UNASSIGNED }{ElementConst<0x7fa458a4ce30>: 495}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a66b90>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4580cea80>:{Set(1)<0x7fa458a7c490>:Members: 495, 496, 497, 498, 499, 500, } 0x7fa4580cea80 UNASSIGNED }{ElementConst<0x7fa458a4ce30>: 495}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa458a96c50>: OR
+     [java] {BooleanPredicate<0x7fa458794730>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa45892f0f0>:{Set(1)<0x7fa4583d86e0>:Members: 495, 496, } 0x7fa45892f0f0 UNASSIGNED }{ElementConst<0x7fa459338500>: 496}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a97b60>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4585b77c0>:{Set(1)<0x7fa4583d8940>:Members: 495, 496, 497, } 0x7fa4585b77c0 UNASSIGNED }{ElementConst<0x7fa459338500>: 496}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a01880>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4587bbff0>:{Set(1)<0x7fa4583d8c70>:Members: 495, 496, 497, 498, } 0x7fa4587bbff0 UNASSIGNED }{ElementConst<0x7fa459338500>: 496}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a95690>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458a96ca0>:{Set(1)<0x7fa4580e24d0>:Members: 495, 496, 497, 498, 499, } 0x7fa458a96ca0 UNASSIGNED }{ElementConst<0x7fa459338500>: 496}
+     [java] }
+     [java] {1588129881727 Original Encoding Incremental Solving Time: 0.093775
+     [java] 1588129881741 Original Encoding Solving Time: 0.023741
+     [java] 1588129881741 Original Encoding Incremental Solving Time: 0.005924
+     [java] Path Solving Time: 3.619539
+     [java] Path Solving Time: 0.835514
+     [java] 1588129881762 Original Encoding Solving Time: 0.422281
+     [java] 1588129881762 Original Encoding Incremental Solving Time: 0.114536
+     [java] 1588129881777 Original Encoding Solving Time: 0.030137
+     [java] 1588129881777 Original Encoding Incremental Solving Time: 0.006944
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 4.569187
+     [java] Path Solving Time: 0.915529
+     [java] 1588129881804 Original Encoding Solving Time: 0.440194
+     [java] 1588129881804 Original Encoding Incremental Solving Time: 0.147885
+     [java] 1588129881818 Original Encoding Solving Time: 0.024667
+     [java] 1588129881818 Original Encoding Incremental Solving Time: 0.006843
+     [java] Path Solving Time: 3.648597
+     [java] Path Solving Time: 0.844241
+     [java] 1588129881840 Original Encoding Solving Time: 0.368996
+     [java] 1588129881840 Original Encoding Incremental Solving Time: 0.122289
+     [java] 1588129881855 Original Encoding Solving Time: 0.023923
+     [java] 1588129881855 Original Encoding Incremental Solving Time: 0.006295
+     [java] Path Solving Time: 3.577763
+     [java] Path Solving Time: 0.817462
+     [java] 1588129881875 Original Encoding Solving Time: 0.275481
+     [java] 1588129881875 Original Encoding Incremental Solving Time: 0.069498
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129881888 Original Encoding Solving Time: 0.025336
+     [java] 1588129881888 Original Encoding Incremental Solving Time: 0.006513
+     [java] Path Solving Time: 3.713245
+     [java] Path Solving Time: 0.888463
+     [java] 1588129881910 Original Encoding Solving Time: 0.290414
+     [java] 1588129881910 Original Encoding Incremental Solving Time: 0.116259
+     [java] 1588129881924 Original Encoding Solving Time: 0.032765
+     [java] 1588129881924 Original Encoding Incremental Solving Time: 0.01307
+     [java] Path Solving Time: 4.611409
+     [java] Path Solving Time: 1.071566
+     [java] 1588129881953 Original Encoding Solving Time: 0.379405
+     [java] 1588129881953 Original Encoding Incremental Solving Time: 0.124862
+     [java] 1588129881967 Original Encoding Solving Time: 0.023256
+     [java] 1588129881967 Original Encoding Incremental Solving Time: 0.006253
+     [java] Path Solving Time: 4.389812
+     [java] Path Solving Time: 1.094984
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129881998 Original Encoding Solving Time: 0.330051
+     [java] 1588129881998 Original Encoding Incremental Solving Time: 0.114037
+     [java] 1588129882010 Original Encoding Solving Time: 0.0236
+     [java] 1588129882010 Original Encoding Incremental Solving Time: 0.006362
+     [java] Path Solving Time: 3.725039
+     [java] Path Solving Time: 0.846861
+     [java] 1588129882035 Original Encoding Solving Time: 0.25985
+     [java] 1588129882035 Original Encoding Incremental Solving Time: 0.138542
+     [java] 1588129882047 Original Encoding Solving Time: 0.025484
+     [java] 1588129882047 Original Encoding Incremental Solving Time: 0.006778
+     [java] Path Solving Time: 3.747859
+     [java] Path Solving Time: 0.79458
+     [java] 1588129882070 Original Encoding Solving Time: 0.468705
+     [java] 1588129882070 Original Encoding Incremental Solving Time: 0.143866
+     [java] 1588129882083 Original Encoding Solving Time: 0.025326
+     [java] 1588129882083 Original Encoding Incremental Solving Time: 0.006052
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.362035
+     [java] Path Solving Time: 1.004571
+     [java] 1588129882108 Original Encoding Solving Time: 0.328632
+     [java] 1588129882108 Original Encoding Incremental Solving Time: 0.114529
+     [java] 1588129882121 Original Encoding Solving Time: 0.025466
+     [java] 1588129882121 Original Encoding Incremental Solving Time: 0.007718
+     [java] Path Solving Time: 4.435267
+     [java] Path Solving Time: 0.982057
+     [java] 1588129882148 Original Encoding Solving Time: 0.272295
+     [java] 1588129882148 Original Encoding Incremental Solving Time: 0.097296
+     [java] 1588129882159 Original Encoding Solving Time: 0.022645
+     [java] 1588129882159 Original Encoding Incremental Solving Time: 0.005603
+     [java] Path Solving Time: 4.307218
+     [java] Path Solving Time: 0.979203
+     [java] 1588129882185 Original Encoding Solving Time: 0.32725
+     [java] 1588129882185 Original Encoding Incremental Solving Time: 0.114091
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129882199 Original Encoding Solving Time: 0.033116
+     [java] 1588129882199 Original Encoding Incremental Solving Time: 0.012364
+     [java] Path Solving Time: 3.681014
+     [java] Path Solving Time: 0.814237
+     [java] 1588129882222 Original Encoding Solving Time: 0.275802
+     [java] 1588129882222 Original Encoding Incremental Solving Time: 0.088524
+     [java] 1588129882232 Original Encoding Solving Time: 0.023421
+     [java] 1588129882232 Original Encoding Incremental Solving Time: 0.006099
+     [java] Path Solving Time: 4.743983
+     [java] Path Solving Time: 1.037931
+     [java] 1588129882263 Original Encoding Solving Time: 0.227956
+     [java] 1588129882263 Original Encoding Incremental Solving Time: 0.109833
+     [java] 1588129882274 Original Encoding Solving Time: 0.024675
+     [java] 1588129882274 Original Encoding Incremental Solving Time: 0.007122
+     [java] Path Solving Time: 4.443354
+     [java] Path Solving Time: 0.986037
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129882302 Original Encoding Solving Time: 0.338541
+     [java] 1588129882302 Original Encoding Incremental Solving Time: 0.094854
+     [java] 1588129882315 Original Encoding Solving Time: 0.023848
+     [java] 1588129882315 Original Encoding Incremental Solving Time: 0.006563
+     [java] Path Solving Time: 3.768251
+     [java] Path Solving Time: 0.828223
+     [java] 1588129882337 Original Encoding Solving Time: 0.258659
+     [java] 1588129882337 Original Encoding Incremental Solving Time: 0.088195
+     [java] 1588129882348 Original Encoding Solving Time: 0.024141
+     [java] 1588129882348 Original Encoding Incremental Solving Time: 0.00662
+     [java] Path Solving Time: 3.733688
+     [java] Path Solving Time: 0.815538
+     [java] 1588129882372 Original Encoding Solving Time: 0.297605
+     [java] 1588129882372 Original Encoding Incremental Solving Time: 0.111989
+     [java] 1588129882384 Original Encoding Solving Time: 0.027225
+     [java] 1588129882384 Original Encoding Incremental Solving Time: 0.006691
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.832092
+     [java] Path Solving Time: 0.826992
+     [java] 1588129882407 Original Encoding Solving Time: 0.252225
+     [java] 1588129882407 Original Encoding Incremental Solving Time: 0.152091
+     [java] 1588129882419 Original Encoding Solving Time: 0.023422
+     [java] 1588129882419 Original Encoding Incremental Solving Time: 0.008356
+     [java] Path Solving Time: 3.775356
+     [java] Path Solving Time: 0.813261
+     [java] 1588129882444 Original Encoding Solving Time: 0.264905
+     [java] 1588129882444 Original Encoding Incremental Solving Time: 0.10474
+     [java] 1588129882457 Original Encoding Solving Time: 0.02575
+     [java] 1588129882457 Original Encoding Incremental Solving Time: 0.005892
+     [java] Path Solving Time: 4.443658
+     [java] Path Solving Time: 0.980376
+     [java] 1588129882481 Original Encoding Solving Time: 0.272817
+     [java] 1588129882481 Original Encoding Incremental Solving Time: 0.097181
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129882493 Original Encoding Solving Time: 0.024934
+     [java] 1588129882493 Original Encoding Incremental Solving Time: 0.009291
+     [java] Path Solving Time: 4.367721
+     [java] Path Solving Time: 0.979747
+     [java] 1588129882524 Original Encoding Solving Time: 0.322352
+     [java] 1588129882524 Original Encoding Incremental Solving Time: 0.115289
+     [java] 1588129882538 Original Encoding Solving Time: 0.025575
+     [java] 1588129882538 Original Encoding Incremental Solving Time: 0.005952
+     [java] Path Solving Time: 3.906385
+     [java] Path Solving Time: 0.81016
+     [java] 1588129882562 Original Encoding Solving Time: 0.277895
+     [java] 1588129882562 Original Encoding Incremental Solving Time: 0.086191
+     [java] 1588129882573 Original Encoding Solving Time: 0.025907
+     [java] 1588129882573 Original Encoding Incremental Solving Time: 0.006485
+     [java] Path Solving Time: 4.481394
+     [java] Path Solving Time: 0.977608
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129882601 Original Encoding Solving Time: 0.313838
+     [java] 1588129882601 Original Encoding Incremental Solving Time: 0.105161
+     [java] 1588129882612 Original Encoding Solving Time: 0.024028
+     [java] 1588129882612 Original Encoding Incremental Solving Time: 0.009242
+     [java] Path Solving Time: 3.984492
+     [java] Path Solving Time: 0.867129
+     [java] 1588129882644 Original Encoding Solving Time: 0.393009
+     [java] 1588129882644 Original Encoding Incremental Solving Time: 0.189725
+     [java] 1588129882655 Original Encoding Solving Time: 0.02428
+     [java] 1588129882655 Original Encoding Incremental Solving Time: 0.006801
+     [java] Path Solving Time: 4.509511
+     [java] Path Solving Time: 1.019493
+     [java] 1588129882689 Original Encoding Solving Time: 0.471065
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129882689 Original Encoding Incremental Solving Time: 0.150861
+     [java] 1588129882700 Original Encoding Solving Time: 0.024074
+     [java] 1588129882700 Original Encoding Incremental Solving Time: 0.005719
+     [java] Path Solving Time: 4.469777
+     [java] Path Solving Time: 1.008656
+     [java] 1588129882733 Original Encoding Solving Time: 0.306026
+     [java] 1588129882733 Original Encoding Incremental Solving Time: 0.100198
+     [java] 1588129882744 Original Encoding Solving Time: 0.023698
+     [java] 1588129882744 Original Encoding Incremental Solving Time: 0.005896
+     [java] Path Solving Time: 4.301814
+     [java] Path Solving Time: 0.576238
+     [java] 1588129882773 Original Encoding Solving Time: 0.267636
+     [java] 1588129882773 Original Encoding Incremental Solving Time: 0.0822
+     [java] 1588129882784 Original Encoding Solving Time: 0.025757
+     [java] 1588129882784 Original Encoding Incremental Solving Time: 0.005714
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.684213
+     [java] Path Solving Time: 0.851254
+     [java] 1588129882810 Original Encoding Solving Time: 0.346108
+     [java] 1588129882810 Original Encoding Incremental Solving Time: 0.111866
+     [java] 1588129882822 Original Encoding Solving Time: 0.025433
+     [java] 1588129882822 Original Encoding Incremental Solving Time: 0.006493
+     [java] Path Solving Time: 7.348647
+     [java] Path Solving Time: 0.990291
+     [java] 1588129882856 Original Encoding Solving Time: 0.264984
+     [java] 1588129882856 Original Encoding Incremental Solving Time: 0.115631
+     [java] 1588129882876 Original Encoding Solving Time: 0.020301
+     [java] 1588129882876 Original Encoding Incremental Solving Time: 0.004975
+     [java] Path Solving Time: 4.603023
+     [java] Path Solving Time: 0.837128
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129882898 Original Encoding Solving Time: 0.355594
+     [java] 1588129882898 Original Encoding Incremental Solving Time: 0.09588
+     [java] 1588129882916 Original Encoding Solving Time: 0.021045
+     [java] 1588129882916 Original Encoding Incremental Solving Time: 0.004901
+     [java] Path Solving Time: 3.549482
+     [java] Path Solving Time: 0.57726
+     [java] 1588129882936 Original Encoding Solving Time: 0.231729
+     [java] 1588129882936 Original Encoding Incremental Solving Time: 0.068839
+     [java] 1588129882968 Original Encoding Solving Time: 0.021343
+     [java] 1588129882968 Original Encoding Incremental Solving Time: 0.004562
+     [java] Path Solving Time: 3.703934
+     [java] Path Solving Time: 0.817067
+     [java] 1588129882988 Original Encoding Solving Time: 0.278463
+     [java] 1588129882988 Original Encoding Incremental Solving Time: 0.091536
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129883007 Original Encoding Solving Time: 0.018331
+     [java] 1588129883007 Original Encoding Incremental Solving Time: 0.004829
+     [java] Path Solving Time: 3.729836
+     [java] Path Solving Time: 0.854965
+     [java] 1588129883028 Original Encoding Solving Time: 0.22837
+     [java] 1588129883028 Original Encoding Incremental Solving Time: 0.072725
+     [java] 1588129883060 Original Encoding Solving Time: 0.01834
+     [java] 1588129883060 Original Encoding Incremental Solving Time: 0.004309
+     [java] Path Solving Time: 3.441495
+     [java] Path Solving Time: 0.551428
+     [java] 1588129883080 Original Encoding Solving Time: 0.237162
+     [java] 1588129883080 Original Encoding Incremental Solving Time: 0.07238
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129883097 Original Encoding Solving Time: 0.019701
+     [java] 1588129883097 Original Encoding Incremental Solving Time: 0.004468
+     [java] Path Solving Time: 3.478548
+     [java] Path Solving Time: 0.553545
+     [java] 1588129883117 Original Encoding Solving Time: 0.232108
+     [java] 1588129883117 Original Encoding Incremental Solving Time: 0.07343
+     [java] 1588129883154 Original Encoding Solving Time: 0.020672
+     [java] 1588129883154 Original Encoding Incremental Solving Time: 0.004425
+     [java] Path Solving Time: 3.578177
+     [java] Path Solving Time: 0.527881
+     [java] 1588129883174 Original Encoding Solving Time: 0.242213
+     [java] 1588129883174 Original Encoding Incremental Solving Time: 0.069028
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129883208 Original Encoding Solving Time: 0.040677
+     [java] 1588129883208 Original Encoding Incremental Solving Time: 0.005221
+     [java] Path Solving Time: 2.359646
+     [java] Path Solving Time: 0.467099
+     [java] 1588129883227 Original Encoding Solving Time: 0.321946
+     [java] 1588129883227 Original Encoding Incremental Solving Time: 0.081281
+     [java] 1588129883249 Original Encoding Solving Time: 0.033248
+     [java] 1588129883249 Original Encoding Incremental Solving Time: 0.006166
+     [java] Path Solving Time: 2.784083
+     [java] Path Solving Time: 0.44801
+     [java] 1588129883269 Original Encoding Solving Time: 0.217611
+     [java] 1588129883269 Original Encoding Incremental Solving Time: 0.05566
+     [java] 1588129883287 Original Encoding Solving Time: 0.01724
+     [java] 1588129883287 Original Encoding Incremental Solving Time: 0.004227
+     [java] Path Solving Time: 2.291655
+     [java] Path Solving Time: 0.41983
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129883306 Original Encoding Solving Time: 0.303917
+     [java] 1588129883306 Original Encoding Incremental Solving Time: 0.095729
+     [java] 1588129883324 Original Encoding Solving Time: 0.019535
+     [java] 1588129883324 Original Encoding Incremental Solving Time: 0.004365
+     [java] Path Solving Time: 2.475154
+     [java] Path Solving Time: 0.397378
+     [java] 1588129883344 Original Encoding Solving Time: 0.242304
+     [java] 1588129883344 Original Encoding Incremental Solving Time: 0.075124
+     [java] 1588129883365 Original Encoding Solving Time: 0.018046
+     [java] 1588129883365 Original Encoding Incremental Solving Time: 0.004348
+     [java] Path Solving Time: 2.468267
+     [java] Path Solving Time: 0.523913
+     [java] 1588129883384 Original Encoding Solving Time: 0.251318
+     [java] 1588129883384 Original Encoding Incremental Solving Time: 0.057499
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129883421 Original Encoding Solving Time: 0.016009
+     [java] 1588129883421 Original Encoding Incremental Solving Time: 0.004442
+     [java] Path Solving Time: 2.481783
+     [java] Path Solving Time: 0.653925
+     [java] 1588129883441 Original Encoding Solving Time: 0.259843
+     [java] 1588129883441 Original Encoding Incremental Solving Time: 0.097062
+     [java] 1588129883478 Original Encoding Solving Time: 0.017316
+     [java] 1588129883478 Original Encoding Incremental Solving Time: 0.005112
+     [java] Path Solving Time: 2.582765
+     [java] Path Solving Time: 0.654024
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129883498 Original Encoding Solving Time: 0.287933
+     [java] 1588129883498 Original Encoding Incremental Solving Time: 0.106035
+     [java] 1588129883536 Original Encoding Solving Time: 0.016801
+     [java] 1588129883536 Original Encoding Incremental Solving Time: 0.003988
+     [java] Path Solving Time: 2.321168
+     [java] Path Solving Time: 0.395114
+     [java] 1588129883555 Original Encoding Solving Time: 0.243828
+     [java] 1588129883555 Original Encoding Incremental Solving Time: 0.077551
+     [java] 1588129883590 Original Encoding Solving Time: 0.017008
+     [java] 1588129883590 Original Encoding Incremental Solving Time: 0.003973
+     [java] Path Solving Time: 2.314035
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 0.426555
+     [java] 1588129883609 Original Encoding Solving Time: 0.244719
+     [java] 1588129883609 Original Encoding Incremental Solving Time: 0.087691
+     [java] 1588129883645 Original Encoding Solving Time: 0.01684
+     [java] 1588129883645 Original Encoding Incremental Solving Time: 0.003696
+     [java] Path Solving Time: 2.373592
+     [java] Path Solving Time: 0.404276
+     [java] 1588129883665 Original Encoding Solving Time: 0.258181
+     [java] 1588129883665 Original Encoding Incremental Solving Time: 0.074747
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129883703 Original Encoding Solving Time: 0.018812
+     [java] 1588129883703 Original Encoding Incremental Solving Time: 0.004025
+     [java] Path Solving Time: 2.300936
+     [java] Path Solving Time: 0.391939
+     [java] 1588129883723 Original Encoding Solving Time: 0.281393
+     [java] 1588129883723 Original Encoding Incremental Solving Time: 0.084437
+     [java] 1588129883759 Original Encoding Solving Time: 0.016911
+     [java] 1588129883759 Original Encoding Incremental Solving Time: 0.00405
+     [java] Path Solving Time: 2.341261
+     [java] Path Solving Time: 0.409075
+     [java] 1588129883778 Original Encoding Solving Time: 0.231607
+     [java] 1588129883778 Original Encoding Incremental Solving Time: 0.077254
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129883815 Original Encoding Solving Time: 0.015549
+     [java] 1588129883815 Original Encoding Incremental Solving Time: 0.003776
+     [java] Path Solving Time: 2.34955
+     [java] Path Solving Time: 0.399884
+     [java] 1588129883834 Original Encoding Solving Time: 0.264267
+     [java] 1588129883834 Original Encoding Incremental Solving Time: 0.079495
+     [java] 1588129883855 Original Encoding Solving Time: 0.018898
+     [java] 1588129883855 Original Encoding Incremental Solving Time: 0.004594
+     [java] Path Solving Time: 2.310964
+     [java] Path Solving Time: 0.390197
+     [java] 1588129883874 Original Encoding Solving Time: 0.257983
+     [java] 1588129883874 Original Encoding Incremental Solving Time: 0.075793
+     [java] 1588129883893 Original Encoding Solving Time: 0.018483
+     [java] 1588129883893 Original Encoding Incremental Solving Time: 0.004446
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.411236
+     [java] Path Solving Time: 0.389294
+     [java] 1588129883914 Original Encoding Solving Time: 0.259041
+     [java] 1588129883914 Original Encoding Incremental Solving Time: 0.060246
+     [java] 1588129883933 Original Encoding Solving Time: 0.01864
+     [java] 1588129883933 Original Encoding Incremental Solving Time: 0.004576
+     [java] Path Solving Time: 2.318937
+     [java] Path Solving Time: 0.393358
+     [java] 1588129883953 Original Encoding Solving Time: 0.269241
+     [java] 1588129883953 Original Encoding Incremental Solving Time: 0.078564
+     [java] 1588129883972 Original Encoding Solving Time: 0.019221
+     [java] 1588129883972 Original Encoding Incremental Solving Time: 0.003933
+     [java] Path Solving Time: 2.415328
+     [java] Path Solving Time: 0.406066
+     [java] 1588129883993 Original Encoding Solving Time: 0.33609
+     [java] 1588129883993 Original Encoding Incremental Solving Time: 0.510345
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129884012 Original Encoding Solving Time: 0.026534
+     [java] 1588129884012 Original Encoding Incremental Solving Time: 0.007723
+     [java] Path Solving Time: 2.309924
+     [java] Path Solving Time: 0.413031
+     [java] 1588129884032 Original Encoding Solving Time: 0.263463
+     [java] 1588129884032 Original Encoding Incremental Solving Time: 0.078253
+     [java] 1588129884050 Original Encoding Solving Time: 0.01934
+     [java] 1588129884050 Original Encoding Incremental Solving Time: 0.004898
+     [java] Path Solving Time: 2.280899
+     [java] Path Solving Time: 0.399717
+     [java] 1588129884072 Original Encoding Solving Time: 0.278424
+     [java] 1588129884072 Original Encoding Incremental Solving Time: 0.072448
+     [java] 1588129884090 Original Encoding Solving Time: 0.016394
+     [java] 1588129884090 Original Encoding Incremental Solving Time: 0.004113
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.702392
+     [java] Path Solving Time: 0.426711
+     [java] 1588129884112 Original Encoding Solving Time: 0.376115
+     [java] 1588129884112 Original Encoding Incremental Solving Time: 1.408638
+     [java] 1588129884174 Original Encoding Solving Time: 0.014697
+     [java] 1588129884174 Original Encoding Incremental Solving Time: 0.004378
+     [java] Path Solving Time: 6.922257
+     [java] Path Solving Time: 0.73856
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129884205 Original Encoding Solving Time: 0.299733
+     [java] 1588129884205 Original Encoding Incremental Solving Time: 0.064226
+     [java] 1588129884363 Original Encoding Solving Time: 0.010139
+     [java] 1588129884363 Original Encoding Incremental Solving Time: 0.005448
+     [java] Path Solving Time: 2.875825
+     [java] Path Solving Time: 0.493341
+     [java] 1588129884388 Original Encoding Solving Time: 0.28465
+     [java] 1588129884388 Original Encoding Incremental Solving Time: 0.096254
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129884520 Original Encoding Solving Time: 0.011537
+     [java] 1588129884520 Original Encoding Incremental Solving Time: 0.004037
+     [java] Path Solving Time: 2.817519
+     [java] Path Solving Time: 0.42562
+     [java] 1588129884545 Original Encoding Solving Time: 0.300479
+     [java] 1588129884545 Original Encoding Incremental Solving Time: 0.079095
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129884604 Original Encoding Solving Time: 0.015307
+     [java] 1588129884604 Original Encoding Incremental Solving Time: 0.00417
+     [java] Path Solving Time: 4.708324
+     [java] Path Solving Time: 0.79969
+     [java] 1588129884634 Original Encoding Solving Time: 0.266699
+     [java] 1588129884634 Original Encoding Incremental Solving Time: 0.095201
+     [java] Done with finding holes : Flag = false
+     [java] 1588129884750 Original Encoding Solving Time: 0.013675
+     [java] 1588129884750 Original Encoding Incremental Solving Time: 0.00336
+     [java] Path Solving Time: 2.875283
+     [java] Path Solving Time: 0.426249
+     [java] 1588129884775 Original Encoding Solving Time: 0.261529
+     [java] 1588129884775 Original Encoding Incremental Solving Time: 0.103156
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129884836 Original Encoding Solving Time: 0.014563
+     [java] 1588129884836 Original Encoding Incremental Solving Time: 0.004937
+     [java] Path Solving Time: 4.502373
+     [java] Path Solving Time: 0.662019
+     [java] 1588129884864 Original Encoding Solving Time: 0.246523
+     [java] 1588129884864 Original Encoding Incremental Solving Time: 0.078459
+     [java] Done with finding holes : Flag = true
+     [java] 1588129884975 Original Encoding Solving Time: 0.011129
+     [java] 1588129884975 Original Encoding Incremental Solving Time: 0.002883
+     [java] Path Solving Time: 2.331499
+     [java] Path Solving Time: 0.394924
+     [java] 1588129884996 Original Encoding Solving Time: 0.371358
+     [java] 1588129884996 Original Encoding Incremental Solving Time: 0.077274
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129885053 Original Encoding Solving Time: 0.013798
+     [java] 1588129885053 Original Encoding Incremental Solving Time: 0.004584
+     [java] Path Solving Time: 6.787289
+     [java] Path Solving Time: 0.726204
+     [java] 1588129885084 Original Encoding Solving Time: 0.264585
+     [java] 1588129885084 Original Encoding Incremental Solving Time: 0.103739
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588129885210 Original Encoding Solving Time: 0.011674
+     [java] 1588129885210 Original Encoding Incremental Solving Time: 0.003213
+     [java] Path Solving Time: 2.438394
+     [java] Path Solving Time: 0.397966
+     [java] 1588129885232 Original Encoding Solving Time: 0.4652
+     [java] 1588129885232 Original Encoding Incremental Solving Time: 0.142829
+     [java] Done with finding holes : Flag = false
+     [java] 1588129885355 Original Encoding Solving Time: 0.014008
+     [java] 1588129885355 Original Encoding Incremental Solving Time: 0.005682
+     [java] Path Solving Time: 3.438501
+     [java] Path Solving Time: 0.442005
+     [java] 1588129885379 Original Encoding Solving Time: 0.270929
+     [java] 1588129885379 Original Encoding Incremental Solving Time: 0.066281
+     [java] Done with finding holes : Flag = true
+     [java] 1588129885496 Original Encoding Solving Time: 0.009528
+     [java] 1588129885496 Original Encoding Incremental Solving Time: 0.003255
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.806049
+     [java] Path Solving Time: 0.488586
+     [java] 1588129885519 Original Encoding Solving Time: 0.241418
+     [java] 1588129885519 Original Encoding Incremental Solving Time: 0.126972
+     [java] 1588129885577 Original Encoding Solving Time: 0.012575
+     [java] 1588129885577 Original Encoding Incremental Solving Time: 0.003267
+     [java] Path Solving Time: 3.686423
+     [java] Path Solving Time: 0.434409
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588129885601 Original Encoding Solving Time: 0.239001
+     [java] 1588129885601 Original Encoding Incremental Solving Time: 0.064251
+     [java] 1588129885649 Original Encoding Solving Time: 0.015265
+     [java] 1588129885649 Original Encoding Incremental Solving Time: 0.004209
+     [java] Path Solving Time: 4.184461
+     [java] Path Solving Time: 0.672836
+     [java] 1588129885675 Original Encoding Solving Time: 0.260646
+     [java] 1588129885675 Original Encoding Incremental Solving Time: 0.06889
+     [java] Done with finding holes : Flag = true
+     [java] =========Statistics (time in milliseconds)=========
+     [java] Benchmark Id: 25
+     [java] Sketch Generation Time: 928.5124689999994
+     [java] Sketch Completion Time: 3376.357667
+     [java] Compilation Time: 2187.9580269999983
+     [java] Running Test cases Time: 5289.900517
+     [java] Synthesis Time: 9594.770653
+     [java] Total Time: 11782.728679999998
+     [java] Number of components: 3
+     [java] Number of holes: 4
+     [java] Number of completed programs: 387
+     [java] Number of sketches: 194
+     [java] Solution:
+     [java]  org.jsoup.Connection sypet_var846 = org.jsoup.Jsoup.connect(sypet_arg0);
+     [java]  org.jsoup.nodes.Document sypet_var847 = sypet_var846.get();
+     [java]  java.lang.String sypet_var848 = sypet_var847.title();
+     [java]  return sypet_var848;
+     [java]  
+     [java] ============================
+     [java] BooleanPredicate<0x7fa458a644a0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4580cea80>:{Set(1)<0x7fa458a7c490>:Members: 495, 496, 497, 498, 499, 500, } 0x7fa4580cea80 UNASSIGNED }{ElementConst<0x7fa459338500>: 496}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4580e14a0>: OR
+     [java] {BooleanPredicate<0x7fa4580e3390>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4585b77c0>:{Set(1)<0x7fa4583d8940>:Members: 495, 496, 497, } 0x7fa4585b77c0 UNASSIGNED }{ElementConst<0x7fa4584270a0>: 497}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a95fc0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4587bbff0>:{Set(1)<0x7fa4583d8c70>:Members: 495, 496, 497, 498, } 0x7fa4587bbff0 UNASSIGNED }{ElementConst<0x7fa4584270a0>: 497}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4580e13c0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458a96ca0>:{Set(1)<0x7fa4580e24d0>:Members: 495, 496, 497, 498, 499, } 0x7fa458a96ca0 UNASSIGNED }{ElementConst<0x7fa4584270a0>: 497}
+     [java] }
+     [java] {BooleanPredicate<0x7fa4580e1200>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4580cea80>:{Set(1)<0x7fa458a7c490>:Members: 495, 496, 497, 498, 499, 500, } 0x7fa4580cea80 UNASSIGNED }{ElementConst<0x7fa4584270a0>: 497}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa458e5c9f0>: OR
+     [java] {BooleanPredicate<0x7fa4580ce500>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4587bbff0>:{Set(1)<0x7fa4583d8c70>:Members: 495, 496, 497, 498, } 0x7fa4587bbff0 UNASSIGNED }{ElementConst<0x7fa458a1aaf0>: 498}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a959c0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458a96ca0>:{Set(1)<0x7fa4580e24d0>:Members: 495, 496, 497, 498, 499, } 0x7fa458a96ca0 UNASSIGNED }{ElementConst<0x7fa458a1aaf0>: 498}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458a97f20>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4580cea80>:{Set(1)<0x7fa458a7c490>:Members: 495, 496, 497, 498, 499, 500, } 0x7fa4580cea80 UNASSIGNED }{ElementConst<0x7fa458a1aaf0>: 498}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa4589e6950>: OR
+     [java] {BooleanPredicate<0x7fa458e7cd40>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa458a96ca0>:{Set(1)<0x7fa4580e24d0>:Members: 495, 496, 497, 498, 499, } 0x7fa458a96ca0 UNASSIGNED }{ElementConst<0x7fa458e0fee0>: 499}
+     [java] }
+     [java] {BooleanPredicate<0x7fa458966530>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4580cea80>:{Set(1)<0x7fa458a7c490>:Members: 495, 496, 497, 498, 499, 500, } 0x7fa4580cea80 UNASSIGNED }{ElementConst<0x7fa458e0fee0>: 499}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7fa458a4aef0>: OR
+     [java] {BooleanPredicate<0x7fa4584cc470>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7fa4580cea80>:{Set(1)<0x7fa458a7c490>:Members: 495, 496, 497, 498, 499, 500, } 0x7fa4580cea80 UNASSIGNED }{ElementConst<0x7fa459151440>: 500}
+     [java] }
+     [java] }
+     [java] 
+
+BUILD SUCCESSFUL
+Total time: 14 seconds