Adding sypet to repo

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

diff --git a/sypet-non-incremental/output1/xml/benchmark25.log b/sypet-non-incremental/output1/xml/benchmark25.log
new file mode 100644 (file)
index 0000000..d2f6b8e
--- /dev/null
+++ b/sypet-non-incremental/output1/xml/benchmark25.log
@@ -0,0 +1,1803 @@
+Buildfile: /scratch/satcheck/satproject/constraint_compiler_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: 1079.301408
+     [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: 3.047663
+     [java] PetriNet for path length: 4 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Path Solving Time: 8.949
+     [java] Path Solving Time: 2.274528
+     [java] 1588114720294 Original Encoding Solving Time: 0.68989
+     [java] 1588114720294 Original Encoding Incremental Solving Time: 0.117823
+     [java] Done with finding holes : Flag = false
+     [java] 1588114720538 Original Encoding Solving Time: 0.051106
+     [java] 1588114720538 Original Encoding Incremental Solving Time: 0.016675
+     [java] Path Solving Time: 4.425494
+     [java] Path Solving Time: 2.088789
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114720559 Original Encoding Solving Time: 1.110008
+     [java] 1588114720559 Original Encoding Incremental Solving Time: 0.178029
+     [java] 1588114720585 Original Encoding Solving Time: 0.040692
+     [java] 1588114720585 Original Encoding Incremental Solving Time: 0.014882
+     [java] Path Solving Time: 1.889154
+     [java] PetriNet for path length: 5 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Path Solving Time: 11.046777
+     [java] Path Solving Time: 3.334681
+     [java] 1588114720923 Original Encoding Solving Time: 0.418195
+     [java] 1588114720923 Original Encoding Incremental Solving Time: 2.613601
+     [java] 1588114720946 Original Encoding Solving Time: 0.076265
+     [java] 1588114720946 Original Encoding Incremental Solving Time: 0.020106
+     [java] Path Solving Time: 6.418558
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 1.937704
+     [java] 1588114720966 Original Encoding Solving Time: 0.45712
+     [java] 1588114720966 Original Encoding Incremental Solving Time: 0.167266
+     [java] 1588114720985 Original Encoding Solving Time: 0.049611
+     [java] 1588114720985 Original Encoding Incremental Solving Time: 0.018459
+     [java] Path Solving Time: 5.551602
+     [java] Path Solving Time: 1.282365
+     [java] 1588114721002 Original Encoding Solving Time: 0.395924
+     [java] 1588114721002 Original Encoding Incremental Solving Time: 0.11177
+     [java] 1588114721020 Original Encoding Solving Time: 0.037161
+     [java] 1588114721020 Original Encoding Incremental Solving Time: 0.02134
+     [java] Path Solving Time: 6.992271
+     [java] Path Solving Time: 1.571377
+     [java] 1588114721040 Original Encoding Solving Time: 0.424757
+     [java] 1588114721040 Original Encoding Incremental Solving Time: 0.187362
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114721101 Original Encoding Solving Time: 0.02688
+     [java] 1588114721101 Original Encoding Incremental Solving Time: 0.014417
+     [java] Path Solving Time: 4.2868
+     [java] Path Solving Time: 1.175247
+     [java] 1588114721117 Original Encoding Solving Time: 0.371931
+     [java] 1588114721117 Original Encoding Incremental Solving Time: 0.527364
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114721175 Original Encoding Solving Time: 0.029175
+     [java] 1588114721175 Original Encoding Incremental Solving Time: 0.012929
+     [java] Path Solving Time: 6.734512
+     [java] Path Solving Time: 1.961422
+     [java] 1588114721196 Original Encoding Solving Time: 0.41514
+     [java] 1588114721196 Original Encoding Incremental Solving Time: 2.245726
+     [java] 1588114721245 Original Encoding Solving Time: 0.027924
+     [java] 1588114721245 Original Encoding Incremental Solving Time: 0.012757
+     [java] Path Solving Time: 4.615201
+     [java] Path Solving Time: 0.744246
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114721262 Original Encoding Solving Time: 0.487609
+     [java] 1588114721262 Original Encoding Incremental Solving Time: 0.094005
+     [java] 1588114721308 Original Encoding Solving Time: 0.041215
+     [java] 1588114721308 Original Encoding Incremental Solving Time: 0.016715
+     [java] Path Solving Time: 3.658042
+     [java] Path Solving Time: 0.588457
+     [java] 1588114721323 Original Encoding Solving Time: 0.363325
+     [java] 1588114721323 Original Encoding Incremental Solving Time: 0.110445
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114721374 Original Encoding Solving Time: 0.024281
+     [java] 1588114721374 Original Encoding Incremental Solving Time: 0.009134
+     [java] Path Solving Time: 3.729555
+     [java] Path Solving Time: 0.736052
+     [java] 1588114721390 Original Encoding Solving Time: 0.369575
+     [java] 1588114721390 Original Encoding Incremental Solving Time: 0.11222
+     [java] 1588114721439 Original Encoding Solving Time: 0.023023
+     [java] 1588114721439 Original Encoding Incremental Solving Time: 0.00967
+     [java] Path Solving Time: 3.873789
+     [java] Path Solving Time: 0.7746
+     [java] 1588114721455 Original Encoding Solving Time: 0.375496
+     [java] 1588114721455 Original Encoding Incremental Solving Time: 0.123217
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114721505 Original Encoding Solving Time: 0.02812
+     [java] 1588114721505 Original Encoding Incremental Solving Time: 0.023147
+     [java] Path Solving Time: 3.905705
+     [java] Path Solving Time: 1.094563
+     [java] 1588114721522 Original Encoding Solving Time: 0.498166
+     [java] 1588114721522 Original Encoding Incremental Solving Time: 0.14819
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114721579 Original Encoding Solving Time: 0.023262
+     [java] 1588114721579 Original Encoding Incremental Solving Time: 0.011141
+     [java] Path Solving Time: 2.977356
+     [java] Path Solving Time: 0.847814
+     [java] 1588114721595 Original Encoding Solving Time: 0.503227
+     [java] 1588114721595 Original Encoding Incremental Solving Time: 1.024675
+     [java] 1588114721624 Original Encoding Solving Time: 0.024806
+     [java] 1588114721624 Original Encoding Incremental Solving Time: 0.014946
+     [java] Path Solving Time: 2.387154
+     [java] Path Solving Time: 0.750436
+     [java] 1588114721639 Original Encoding Solving Time: 0.726647
+     [java] 1588114721639 Original Encoding Incremental Solving Time: 0.21727
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114721668 Original Encoding Solving Time: 0.042949
+     [java] 1588114721668 Original Encoding Incremental Solving Time: 0.012536
+     [java] Path Solving Time: 2.218312
+     [java] Path Solving Time: 0.654245
+     [java] 1588114721682 Original Encoding Solving Time: 0.585323
+     [java] 1588114721682 Original Encoding Incremental Solving Time: 0.191371
+     [java] 1588114721712 Original Encoding Solving Time: 0.020249
+     [java] 1588114721712 Original Encoding Incremental Solving Time: 0.00725
+     [java] Path Solving Time: 2.257956
+     [java] Path Solving Time: 0.767812
+     [java] 1588114721726 Original Encoding Solving Time: 0.485965
+     [java] 1588114721726 Original Encoding Incremental Solving Time: 0.149568
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114722186 Original Encoding Solving Time: 0.01954
+     [java] 1588114722186 Original Encoding Incremental Solving Time: 0.008052
+     [java] Path Solving Time: 1.73598
+     [java] Path Solving Time: 0.500776
+     [java] 1588114722201 Original Encoding Solving Time: 0.544484
+     [java] 1588114722201 Original Encoding Incremental Solving Time: 0.536007
+     [java] 1588114722228 Original Encoding Solving Time: 0.020535
+     [java] 1588114722228 Original Encoding Incremental Solving Time: 0.008413
+     [java] Path Solving Time: 1.983909
+     [java] Path Solving Time: 0.495324
+     [java] 1588114722243 Original Encoding Solving Time: 0.348596
+     [java] 1588114722243 Original Encoding Incremental Solving Time: 0.102617
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114722267 Original Encoding Solving Time: 0.022521
+     [java] 1588114722267 Original Encoding Incremental Solving Time: 0.007637
+     [java] Path Solving Time: 1.955581
+     [java] Path Solving Time: 0.484426
+     [java] 1588114722282 Original Encoding Solving Time: 0.472391
+     [java] 1588114722282 Original Encoding Incremental Solving Time: 0.146771
+     [java] 1588114722306 Original Encoding Solving Time: 0.019778
+     [java] 1588114722306 Original Encoding Incremental Solving Time: 0.007147
+     [java] Path Solving Time: 1.876923
+     [java] Path Solving Time: 0.393789
+     [java] 1588114722321 Original Encoding Solving Time: 0.41233
+     [java] 1588114722321 Original Encoding Incremental Solving Time: 0.182958
+     [java] 1588114722345 Original Encoding Solving Time: 0.021864
+     [java] 1588114722345 Original Encoding Incremental Solving Time: 0.030932
+     [java] Path Solving Time: 2.43401
+     [java] Path Solving Time: 0.419078
+     [java] 1588114722360 Original Encoding Solving Time: 0.466099
+     [java] 1588114722360 Original Encoding Incremental Solving Time: 0.135469
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [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] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114722375 Original Encoding Solving Time: 0.018583
+     [java] 1588114722375 Original Encoding Incremental Solving Time: 0.006648
+     [java] Path Solving Time: 4.215685
+     [java] Path Solving Time: 0.740803
+     [java] 1588114722393 Original Encoding Solving Time: 0.524588
+     [java] 1588114722393 Original Encoding Incremental Solving Time: 0.16431
+     [java] 1588114722408 Original Encoding Solving Time: 0.033472
+     [java] 1588114722408 Original Encoding Incremental Solving Time: 0.007719
+     [java] Path Solving Time: 2.081633
+     [java] Path Solving Time: 0.493251
+     [java] 1588114722424 Original Encoding Solving Time: 0.835484
+     [java] 1588114722424 Original Encoding Incremental Solving Time: 0.207638
+     [java] 1588114722443 Original Encoding Solving Time: 0.029137
+     [java] 1588114722443 Original Encoding Incremental Solving Time: 0.009808
+     [java] Path Solving Time: 2.722815
+     [java] Path Solving Time: 1.068671
+     [java] 1588114722460 Original Encoding Solving Time: 0.495222
+     [java] 1588114722460 Original Encoding Incremental Solving Time: 0.165685
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114722482 Original Encoding Solving Time: 0.031722
+     [java] 1588114722482 Original Encoding Incremental Solving Time: 0.01716
+     [java] Path Solving Time: 2.569479
+     [java] Path Solving Time: 1.002878
+     [java] 1588114722499 Original Encoding Solving Time: 0.673179
+     [java] 1588114722499 Original Encoding Incremental Solving Time: 0.223769
+     [java] 1588114722520 Original Encoding Solving Time: 0.026627
+     [java] 1588114722520 Original Encoding Incremental Solving Time: 0.012039
+     [java] Path Solving Time: 2.619251
+     [java] Path Solving Time: 0.901967
+     [java] 1588114722538 Original Encoding Solving Time: 0.642333
+     [java] 1588114722538 Original Encoding Incremental Solving Time: 0.364743
+     [java] 1588114722563 Original Encoding Solving Time: 0.071759
+     [java] 1588114722563 Original Encoding Incremental Solving Time: 0.035916
+     [java] Path Solving Time: 3.194107
+     [java] Path Solving Time: 1.219265
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114722584 Original Encoding Solving Time: 1.327035
+     [java] 1588114722584 Original Encoding Incremental Solving Time: 0.269052
+     [java] 1588114722603 Original Encoding Solving Time: 0.025781
+     [java] 1588114722603 Original Encoding Incremental Solving Time: 0.018692
+     [java] Path Solving Time: 5.075345
+     [java] Path Solving Time: 2.105393
+     [java] Path Solving Time: 2.228707
+     [java] 1588114722626 Original Encoding Solving Time: 0.55936
+     [java] 1588114722626 Original Encoding Incremental Solving Time: 0.389517
+     [java] 1588114722646 Original Encoding Solving Time: 0.023923
+     [java] 1588114722646 Original Encoding Incremental Solving Time: 0.016718
+     [java] Path Solving Time: 3.481271
+     [java] Path Solving Time: 1.112144
+     [java] Path Solving Time: 0.562149
+     [java] Path Solving Time: 0.53839
+     [java] Path Solving Time: 4.787948
+     [java] 1588114722669 Original Encoding Solving Time: 0.443601
+     [java] 1588114722669 Original Encoding Incremental Solving Time: 0.271144
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114722686 Original Encoding Solving Time: 0.022266
+     [java] 1588114722686 Original Encoding Incremental Solving Time: 0.007444
+     [java] Path Solving Time: 3.954747
+     [java] Path Solving Time: 1.403877
+     [java] 1588114722704 Original Encoding Solving Time: 0.549928
+     [java] 1588114722704 Original Encoding Incremental Solving Time: 0.267194
+     [java] 1588114722728 Original Encoding Solving Time: 0.020171
+     [java] 1588114722728 Original Encoding Incremental Solving Time: 0.008397
+     [java] Path Solving Time: 3.40693
+     [java] Path Solving Time: 0.853986
+     [java] 1588114722744 Original Encoding Solving Time: 0.413609
+     [java] 1588114722744 Original Encoding Incremental Solving Time: 0.19726
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114722794 Original Encoding Solving Time: 0.019625
+     [java] 1588114722794 Original Encoding Incremental Solving Time: 0.007498
+     [java] Path Solving Time: 3.239091
+     [java] Path Solving Time: 0.829438
+     [java] 1588114722810 Original Encoding Solving Time: 1.131958
+     [java] 1588114722810 Original Encoding Incremental Solving Time: 0.184679
+     [java] 1588114722854 Original Encoding Solving Time: 0.041176
+     [java] 1588114722854 Original Encoding Incremental Solving Time: 0.022063
+     [java] Path Solving Time: 2.349424
+     [java] Path Solving Time: 1.075846
+     [java] 1588114722870 Original Encoding Solving Time: 0.487595
+     [java] 1588114722870 Original Encoding Incremental Solving Time: 0.174531
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114722917 Original Encoding Solving Time: 0.019582
+     [java] 1588114722917 Original Encoding Incremental Solving Time: 0.018947
+     [java] Path Solving Time: 1.791474
+     [java] Path Solving Time: 0.604045
+     [java] 1588114722932 Original Encoding Solving Time: 0.405921
+     [java] 1588114722932 Original Encoding Incremental Solving Time: 0.818281
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114722983 Original Encoding Solving Time: 0.018223
+     [java] 1588114722983 Original Encoding Incremental Solving Time: 0.007254
+     [java] Path Solving Time: 1.758853
+     [java] Path Solving Time: 0.518657
+     [java] 1588114722996 Original Encoding Solving Time: 0.32869
+     [java] 1588114722996 Original Encoding Incremental Solving Time: 0.124794
+     [java] 1588114723044 Original Encoding Solving Time: 0.018373
+     [java] 1588114723044 Original Encoding Incremental Solving Time: 0.006746
+     [java] Path Solving Time: 1.79881
+     [java] Path Solving Time: 0.463049
+     [java] 1588114723057 Original Encoding Solving Time: 0.29409
+     [java] 1588114723057 Original Encoding Incremental Solving Time: 0.106872
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114723100 Original Encoding Solving Time: 0.018903
+     [java] 1588114723100 Original Encoding Incremental Solving Time: 0.007747
+     [java] Path Solving Time: 10.01852
+     [java] Path Solving Time: 1.156035
+     [java] Path Solving Time: 0.765822
+     [java] 1588114723125 Original Encoding Solving Time: 1.351297
+     [java] 1588114723125 Original Encoding Incremental Solving Time: 0.253105
+     [java] Path Solving Time: 3.059779
+     [java] Path Solving Time: 1.002532
+     [java] 1588114723156 Original Encoding Solving Time: 0.537193
+     [java] 1588114723156 Original Encoding Incremental Solving Time: 0.806233
+     [java] Path Solving Time: 2.162672
+     [java] Path Solving Time: 0.711012
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [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] 1588114723186 Original Encoding Solving Time: 0.497813
+     [java] 1588114723186 Original Encoding Incremental Solving Time: 0.157222
+     [java] 1588114723201 Original Encoding Solving Time: 0.020062
+     [java] 1588114723201 Original Encoding Incremental Solving Time: 0.007893
+     [java] Path Solving Time: 2.144766
+     [java] Path Solving Time: 0.817216
+     [java] 1588114723218 Original Encoding Solving Time: 0.989456
+     [java] 1588114723218 Original Encoding Incremental Solving Time: 0.142822
+     [java] 1588114723232 Original Encoding Solving Time: 0.017469
+     [java] 1588114723232 Original Encoding Incremental Solving Time: 0.006496
+     [java] Path Solving Time: 1.712868
+     [java] PetriNet for path length: 6 [places: 159 ; transitions: 891 ; edges: 2186]
+     [java] Path Solving Time: 8.692546
+     [java] Path Solving Time: 0.644929
+     [java] 1588114723774 Original Encoding Solving Time: 0.405698
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588114723774 Original Encoding Incremental Solving Time: 1.454817
+     [java] 1588114723789 Original Encoding Solving Time: 0.02794
+     [java] 1588114723789 Original Encoding Incremental Solving Time: 0.018602
+     [java] Path Solving Time: 3.105975
+     [java] Path Solving Time: 0.590558
+     [java] 1588114723806 Original Encoding Solving Time: 0.479736
+     [java] 1588114723806 Original Encoding Incremental Solving Time: 0.200276
+     [java] 1588114723821 Original Encoding Solving Time: 0.042877
+     [java] 1588114723821 Original Encoding Incremental Solving Time: 0.006848
+     [java] Path Solving Time: 2.635177
+     [java] Path Solving Time: 0.541101
+     [java] 1588114723837 Original Encoding Solving Time: 0.331367
+     [java] 1588114723837 Original Encoding Incremental Solving Time: 0.171802
+     [java] 1588114723851 Original Encoding Solving Time: 0.023359
+     [java] 1588114723851 Original Encoding Incremental Solving Time: 0.007123
+     [java] Path Solving Time: 2.526167
+     [java] Path Solving Time: 0.604932
+     [java] 1588114723872 Original Encoding Solving Time: 4.169928
+     [java] 1588114723872 Original Encoding Incremental Solving Time: 0.158254
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588114723889 Original Encoding Solving Time: 0.03404
+     [java] 1588114723889 Original Encoding Incremental Solving Time: 0.028829
+     [java] Path Solving Time: 3.678242
+     [java] Path Solving Time: 1.074379
+     [java] 1588114723909 Original Encoding Solving Time: 0.58186
+     [java] 1588114723909 Original Encoding Incremental Solving Time: 0.154188
+     [java] 1588114723928 Original Encoding Solving Time: 0.02784
+     [java] 1588114723928 Original Encoding Incremental Solving Time: 0.010741
+     [java] Path Solving Time: 2.590092
+     [java] Path Solving Time: 0.470062
+     [java] 1588114723944 Original Encoding Solving Time: 0.258039
+     [java] 1588114723944 Original Encoding Incremental Solving Time: 0.07862
+     [java] 1588114723955 Original Encoding Solving Time: 0.024525
+     [java] 1588114723955 Original Encoding Incremental Solving Time: 0.007287
+     [java] Path Solving Time: 2.400736
+     [java] Path Solving Time: 0.45825
+     [java] 1588114723974 Original Encoding Solving Time: 0.247428
+     [java] 1588114723974 Original Encoding Incremental Solving Time: 0.120057
+     [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] 1588114723985 Original Encoding Solving Time: 0.022564
+     [java] 1588114723985 Original Encoding Incremental Solving Time: 0.007009
+     [java] Path Solving Time: 2.37225
+     [java] Path Solving Time: 0.44962
+     [java] 1588114724004 Original Encoding Solving Time: 0.259993
+     [java] 1588114724004 Original Encoding Incremental Solving Time: 0.083118
+     [java] 1588114724019 Original Encoding Solving Time: 0.025565
+     [java] 1588114724019 Original Encoding Incremental Solving Time: 0.006892
+     [java] Path Solving Time: 2.448777
+     [java] Path Solving Time: 0.516769
+     [java] 1588114724040 Original Encoding Solving Time: 0.355789
+     [java] 1588114724040 Original Encoding Incremental Solving Time: 0.101443
+     [java] 1588114724054 Original Encoding Solving Time: 0.02801
+     [java] 1588114724054 Original Encoding Incremental Solving Time: 0.009319
+     [java] Path Solving Time: 3.579371
+     [java] Path Solving Time: 0.848778
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114724079 Original Encoding Solving Time: 0.464642
+     [java] 1588114724079 Original Encoding Incremental Solving Time: 0.120421
+     [java] 1588114724102 Original Encoding Solving Time: 0.016931
+     [java] 1588114724102 Original Encoding Incremental Solving Time: 0.00633
+     [java] Path Solving Time: 2.503044
+     [java] Path Solving Time: 0.688189
+     [java] 1588114724120 Original Encoding Solving Time: 0.345574
+     [java] 1588114724120 Original Encoding Incremental Solving Time: 0.132029
+     [java] 1588114724143 Original Encoding Solving Time: 0.016825
+     [java] 1588114724143 Original Encoding Incremental Solving Time: 0.005926
+     [java] Path Solving Time: 4.110011
+     [java] Path Solving Time: 0.754339
+     [java] 1588114724162 Original Encoding Solving Time: 0.289152
+     [java] 1588114724162 Original Encoding Incremental Solving Time: 0.075789
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114724512 Original Encoding Solving Time: 0.016292
+     [java] 1588114724512 Original Encoding Incremental Solving Time: 0.006685
+     [java] Path Solving Time: 2.638412
+     [java] Path Solving Time: 0.658162
+     [java] 1588114724530 Original Encoding Solving Time: 0.29551
+     [java] 1588114724530 Original Encoding Incremental Solving Time: 0.110202
+     [java] 1588114724677 Original Encoding Solving Time: 0.01483
+     [java] 1588114724677 Original Encoding Incremental Solving Time: 0.004995
+     [java] Path Solving Time: 2.098154
+     [java] Path Solving Time: 0.428359
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114724696 Original Encoding Solving Time: 0.346603
+     [java] 1588114724696 Original Encoding Incremental Solving Time: 0.121124
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114724795 Original Encoding Solving Time: 0.015762
+     [java] 1588114724795 Original Encoding Incremental Solving Time: 0.006154
+     [java] Path Solving Time: 2.447812
+     [java] Path Solving Time: 0.466384
+     [java] 1588114724813 Original Encoding Solving Time: 0.252783
+     [java] 1588114724813 Original Encoding Incremental Solving Time: 0.145493
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114724917 Original Encoding Solving Time: 0.01561
+     [java] 1588114724917 Original Encoding Incremental Solving Time: 0.004683
+     [java] Path Solving Time: 2.463616
+     [java] Path Solving Time: 0.43291
+     [java] 1588114724935 Original Encoding Solving Time: 0.289757
+     [java] 1588114724935 Original Encoding Incremental Solving Time: 0.109082
+     [java] 1588114724957 Original Encoding Solving Time: 0.022103
+     [java] 1588114724957 Original Encoding Incremental Solving Time: 0.009184
+     [java] Path Solving Time: 2.530909
+     [java] Path Solving Time: 0.491736
+     [java] 1588114724976 Original Encoding Solving Time: 0.305113
+     [java] 1588114724976 Original Encoding Incremental Solving Time: 0.104655
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588114725001 Original Encoding Solving Time: 0.017835
+     [java] 1588114725001 Original Encoding Incremental Solving Time: 0.005824
+     [java] Path Solving Time: 2.513509
+     [java] Path Solving Time: 0.568219
+     [java] 1588114725019 Original Encoding Solving Time: 0.378966
+     [java] 1588114725019 Original Encoding Incremental Solving Time: 1.958707
+     [java] 1588114725045 Original Encoding Solving Time: 0.017995
+     [java] 1588114725045 Original Encoding Incremental Solving Time: 0.005714
+     [java] Path Solving Time: 2.550446
+     [java] Path Solving Time: 0.662195
+     [java] 1588114725064 Original Encoding Solving Time: 0.373052
+     [java] 1588114725064 Original Encoding Incremental Solving Time: 0.109536
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114725088 Original Encoding Solving Time: 0.017708
+     [java] 1588114725088 Original Encoding Incremental Solving Time: 0.005599
+     [java] Path Solving Time: 2.567956
+     [java] Path Solving Time: 0.497851
+     [java] 1588114725108 Original Encoding Solving Time: 0.358071
+     [java] 1588114725108 Original Encoding Incremental Solving Time: 0.113609
+     [java] 1588114725130 Original Encoding Solving Time: 0.017071
+     [java] 1588114725130 Original Encoding Incremental Solving Time: 0.005306
+     [java] Path Solving Time: 2.488432
+     [java] Path Solving Time: 0.622793
+     [java] 1588114725149 Original Encoding Solving Time: 0.328911
+     [java] 1588114725149 Original Encoding Incremental Solving Time: 0.088802
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114725260 Original Encoding Solving Time: 0.017429
+     [java] 1588114725260 Original Encoding Incremental Solving Time: 0.018731
+     [java] Path Solving Time: 2.619956
+     [java] Path Solving Time: 0.668714
+     [java] 1588114725279 Original Encoding Solving Time: 0.418219
+     [java] 1588114725279 Original Encoding Incremental Solving Time: 0.151084
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114725382 Original Encoding Solving Time: 0.016005
+     [java] 1588114725382 Original Encoding Incremental Solving Time: 0.005053
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Path Solving Time: 2.387933
+     [java] Path Solving Time: 0.501606
+     [java] 1588114725400 Original Encoding Solving Time: 0.262834
+     [java] 1588114725400 Original Encoding Incremental Solving Time: 0.091287
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114725492 Original Encoding Solving Time: 0.013204
+     [java] 1588114725492 Original Encoding Incremental Solving Time: 0.00397
+     [java] Path Solving Time: 2.420942
+     [java] Path Solving Time: 0.461026
+     [java] 1588114725510 Original Encoding Solving Time: 0.243463
+     [java] 1588114725510 Original Encoding Incremental Solving Time: 0.079355
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114725616 Original Encoding Solving Time: 0.013747
+     [java] 1588114725616 Original Encoding Incremental Solving Time: 0.005453
+     [java] Path Solving Time: 2.537214
+     [java] Path Solving Time: 0.473262
+     [java] 1588114725634 Original Encoding Solving Time: 0.245471
+     [java] 1588114725634 Original Encoding Incremental Solving Time: 0.077277
+     [java] 1588114725657 Original Encoding Solving Time: 0.014035
+     [java] 1588114725657 Original Encoding Incremental Solving Time: 0.004338
+     [java] Path Solving Time: 2.456544
+     [java] Path Solving Time: 0.488261
+     [java] 1588114725676 Original Encoding Solving Time: 0.282877
+     [java] 1588114725676 Original Encoding Incremental Solving Time: 0.090677
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114725696 Original Encoding Solving Time: 0.013917
+     [java] 1588114725696 Original Encoding Incremental Solving Time: 0.004267
+     [java] Path Solving Time: 2.276892
+     [java] Path Solving Time: 0.431255
+     [java] 1588114725714 Original Encoding Solving Time: 0.291853
+     [java] 1588114725714 Original Encoding Incremental Solving Time: 0.079121
+     [java] 1588114725733 Original Encoding Solving Time: 0.013871
+     [java] 1588114725733 Original Encoding Incremental Solving Time: 0.004316
+     [java] Path Solving Time: 3.985186
+     [java] Path Solving Time: 0.43881
+     [java] 1588114725752 Original Encoding Solving Time: 0.253376
+     [java] 1588114725752 Original Encoding Incremental Solving Time: 0.080995
+     [java] 1588114725775 Original Encoding Solving Time: 0.023153
+     [java] 1588114725775 Original Encoding Incremental Solving Time: 0.007343
+     [java] Path Solving Time: 3.169711
+     [java] Path Solving Time: 0.50746
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114725794 Original Encoding Solving Time: 0.35078
+     [java] 1588114725794 Original Encoding Incremental Solving Time: 0.08897
+     [java] 1588114725848 Original Encoding Solving Time: 0.022229
+     [java] 1588114725848 Original Encoding Incremental Solving Time: 0.007314
+     [java] Path Solving Time: 2.999838
+     [java] Path Solving Time: 0.504772
+     [java] 1588114725867 Original Encoding Solving Time: 0.363329
+     [java] 1588114725867 Original Encoding Incremental Solving Time: 0.203296
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114725907 Original Encoding Solving Time: 0.0172
+     [java] 1588114725907 Original Encoding Incremental Solving Time: 0.005403
+     [java] Path Solving Time: 2.493958
+     [java] Path Solving Time: 0.487153
+     [java] 1588114725925 Original Encoding Solving Time: 0.262927
+     [java] 1588114725925 Original Encoding Incremental Solving Time: 0.227027
+     [java] 1588114725967 Original Encoding Solving Time: 0.016975
+     [java] 1588114725967 Original Encoding Incremental Solving Time: 0.005484
+     [java] Path Solving Time: 2.39739
+     [java] Path Solving Time: 0.481875
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114725985 Original Encoding Solving Time: 0.274818
+     [java] 1588114725985 Original Encoding Incremental Solving Time: 0.708739
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114726322 Original Encoding Solving Time: 0.01757
+     [java] 1588114726322 Original Encoding Incremental Solving Time: 0.005699
+     [java] Path Solving Time: 1.632532
+     [java] Path Solving Time: 0.405121
+     [java] 1588114726341 Original Encoding Solving Time: 0.273755
+     [java] 1588114726341 Original Encoding Incremental Solving Time: 0.107316
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114726390 Original Encoding Solving Time: 0.016936
+     [java] 1588114726390 Original Encoding Incremental Solving Time: 0.005379
+     [java] Path Solving Time: 2.406589
+     [java] Path Solving Time: 0.427008
+     [java] 1588114726409 Original Encoding Solving Time: 0.414138
+     [java] 1588114726409 Original Encoding Incremental Solving Time: 0.229964
+     [java] 1588114726452 Original Encoding Solving Time: 0.017894
+     [java] 1588114726452 Original Encoding Incremental Solving Time: 0.005587
+     [java] Path Solving Time: 2.369037
+     [java] Path Solving Time: 0.429482
+     [java] 1588114726471 Original Encoding Solving Time: 0.387443
+     [java] 1588114726471 Original Encoding Incremental Solving Time: 0.152913
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114726518 Original Encoding Solving Time: 0.019676
+     [java] 1588114726518 Original Encoding Incremental Solving Time: 0.005383
+     [java] Path Solving Time: 2.416019
+     [java] Path Solving Time: 0.463219
+     [java] 1588114726537 Original Encoding Solving Time: 0.287121
+     [java] 1588114726537 Original Encoding Incremental Solving Time: 0.107454
+     [java] 1588114726584 Original Encoding Solving Time: 0.018626
+     [java] 1588114726584 Original Encoding Incremental Solving Time: 0.005325
+     [java] Path Solving Time: 2.442154
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Path Solving Time: 0.435425
+     [java] 1588114726603 Original Encoding Solving Time: 0.295811
+     [java] 1588114726603 Original Encoding Incremental Solving Time: 0.108284
+     [java] 1588114726625 Original Encoding Solving Time: 0.017234
+     [java] 1588114726625 Original Encoding Incremental Solving Time: 0.005204
+     [java] Path Solving Time: 2.411535
+     [java] Path Solving Time: 0.440727
+     [java] 1588114726644 Original Encoding Solving Time: 0.388645
+     [java] 1588114726644 Original Encoding Incremental Solving Time: 0.114321
+     [java] 1588114726665 Original Encoding Solving Time: 0.018203
+     [java] 1588114726665 Original Encoding Incremental Solving Time: 0.004828
+     [java] Path Solving Time: 2.385548
+     [java] Path Solving Time: 0.433163
+     [java] 1588114726685 Original Encoding Solving Time: 0.352818
+     [java] 1588114726685 Original Encoding Incremental Solving Time: 0.089142
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114726707 Original Encoding Solving Time: 0.018951
+     [java] 1588114726707 Original Encoding Incremental Solving Time: 0.00549
+     [java] Path Solving Time: 2.34952
+     [java] Path Solving Time: 0.433907
+     [java] 1588114726726 Original Encoding Solving Time: 0.326893
+     [java] 1588114726726 Original Encoding Incremental Solving Time: 0.147791
+     [java] 1588114726749 Original Encoding Solving Time: 0.018276
+     [java] 1588114726749 Original Encoding Incremental Solving Time: 0.005132
+     [java] Path Solving Time: 5.585901
+     [java] Path Solving Time: 0.680095
+     [java] 1588114726772 Original Encoding Solving Time: 0.299483
+     [java] 1588114726772 Original Encoding Incremental Solving Time: 0.089353
+     [java] 1588114726787 Original Encoding Solving Time: 0.030623
+     [java] 1588114726787 Original Encoding Incremental Solving Time: 0.007396
+     [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.490109
+     [java] Path Solving Time: 0.51522
+     [java] 1588114726814 Original Encoding Solving Time: 0.315461
+     [java] 1588114726814 Original Encoding Incremental Solving Time: 0.119354
+     [java] 1588114726830 Original Encoding Solving Time: 0.026174
+     [java] 1588114726830 Original Encoding Incremental Solving Time: 0.008058
+     [java] Path Solving Time: 3.400585
+     [java] Path Solving Time: 0.56058
+     [java] 1588114726857 Original Encoding Solving Time: 0.413413
+     [java] 1588114726857 Original Encoding Incremental Solving Time: 0.137091
+     [java] 1588114726869 Original Encoding Solving Time: 0.024193
+     [java] 1588114726869 Original Encoding Incremental Solving Time: 0.038782
+     [java] Path Solving Time: 3.329605
+     [java] Path Solving Time: 0.565987
+     [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] 1588114726894 Original Encoding Solving Time: 0.306311
+     [java] 1588114726894 Original Encoding Incremental Solving Time: 0.089474
+     [java] 1588114726906 Original Encoding Solving Time: 0.019803
+     [java] 1588114726906 Original Encoding Incremental Solving Time: 0.005172
+     [java] Path Solving Time: 2.966245
+     [java] Path Solving Time: 0.492803
+     [java] 1588114726931 Original Encoding Solving Time: 0.334831
+     [java] 1588114726931 Original Encoding Incremental Solving Time: 0.092195
+     [java] 1588114726945 Original Encoding Solving Time: 0.020306
+     [java] 1588114726945 Original Encoding Incremental Solving Time: 0.005577
+     [java] Path Solving Time: 3.28835
+     [java] Path Solving Time: 0.527493
+     [java] 1588114726967 Original Encoding Solving Time: 0.270412
+     [java] 1588114726967 Original Encoding Incremental Solving Time: 0.076664
+     [java] 1588114726980 Original Encoding Solving Time: 0.022392
+     [java] 1588114726980 Original Encoding Incremental Solving Time: 0.005347
+     [java] Path Solving Time: 2.947165
+     [java] Path Solving Time: 0.496245
+     [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] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114727004 Original Encoding Solving Time: 0.276731
+     [java] 1588114727004 Original Encoding Incremental Solving Time: 0.093314
+     [java] 1588114727016 Original Encoding Solving Time: 0.020002
+     [java] 1588114727016 Original Encoding Incremental Solving Time: 0.005429
+     [java] Path Solving Time: 2.951519
+     [java] Path Solving Time: 0.491119
+     [java] 1588114727041 Original Encoding Solving Time: 0.408666
+     [java] 1588114727041 Original Encoding Incremental Solving Time: 0.125984
+     [java] 1588114727060 Original Encoding Solving Time: 0.019937
+     [java] 1588114727060 Original Encoding Incremental Solving Time: 0.005327
+     [java] Path Solving Time: 3.033572
+     [java] Path Solving Time: 0.553849
+     [java] 1588114727081 Original Encoding Solving Time: 0.382138
+     [java] 1588114727081 Original Encoding Incremental Solving Time: 0.12761
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [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] 1588114727099 Original Encoding Solving Time: 0.026577
+     [java] 1588114727099 Original Encoding Incremental Solving Time: 0.008307
+     [java] Path Solving Time: 5.065303
+     [java] Path Solving Time: 1.076594
+     [java] 1588114727123 Original Encoding Solving Time: 0.459867
+     [java] 1588114727123 Original Encoding Incremental Solving Time: 0.141562
+     [java] 1588114727137 Original Encoding Solving Time: 0.019272
+     [java] 1588114727137 Original Encoding Incremental Solving Time: 0.021706
+     [java] Path Solving Time: 3.009111
+     [java] Path Solving Time: 0.564239
+     [java] 1588114727160 Original Encoding Solving Time: 0.362844
+     [java] 1588114727160 Original Encoding Incremental Solving Time: 0.075758
+     [java] 1588114727173 Original Encoding Solving Time: 0.019414
+     [java] 1588114727173 Original Encoding Incremental Solving Time: 0.026367
+     [java] Path Solving Time: 3.057098
+     [java] Path Solving Time: 0.520099
+     [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] 1588114727196 Original Encoding Solving Time: 0.277104
+     [java] 1588114727196 Original Encoding Incremental Solving Time: 0.079032
+     [java] 1588114727208 Original Encoding Solving Time: 0.020201
+     [java] 1588114727208 Original Encoding Incremental Solving Time: 0.026894
+     [java] Path Solving Time: 2.975025
+     [java] Path Solving Time: 0.513934
+     [java] 1588114727234 Original Encoding Solving Time: 0.365097
+     [java] 1588114727234 Original Encoding Incremental Solving Time: 0.106298
+     [java] 1588114727247 Original Encoding Solving Time: 0.026787
+     [java] 1588114727247 Original Encoding Incremental Solving Time: 0.006214
+     [java] Path Solving Time: 3.228892
+     [java] Path Solving Time: 0.71956
+     [java] 1588114727272 Original Encoding Solving Time: 0.454253
+     [java] 1588114727272 Original Encoding Incremental Solving Time: 0.126117
+     [java] 1588114727288 Original Encoding Solving Time: 0.021602
+     [java] 1588114727288 Original Encoding Incremental Solving Time: 0.005184
+     [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.079737
+     [java] Path Solving Time: 0.706102
+     [java] 1588114727313 Original Encoding Solving Time: 0.411319
+     [java] 1588114727313 Original Encoding Incremental Solving Time: 0.122566
+     [java] 1588114727328 Original Encoding Solving Time: 0.021481
+     [java] 1588114727328 Original Encoding Incremental Solving Time: 0.005498
+     [java] Path Solving Time: 2.981261
+     [java] Path Solving Time: 0.6215
+     [java] 1588114727351 Original Encoding Solving Time: 0.376825
+     [java] 1588114727351 Original Encoding Incremental Solving Time: 0.118815
+     [java] 1588114727364 Original Encoding Solving Time: 0.019891
+     [java] 1588114727364 Original Encoding Incremental Solving Time: 0.005311
+     [java] Path Solving Time: 5.581968
+     [java] Path Solving Time: 1.19913
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114727392 Original Encoding Solving Time: 0.476334
+     [java] 1588114727392 Original Encoding Incremental Solving Time: 0.08701
+     [java] 1588114727416 Original Encoding Solving Time: 0.017614
+     [java] 1588114727416 Original Encoding Incremental Solving Time: 0.006974
+     [java] Path Solving Time: 5.023891
+     [java] Path Solving Time: 1.1338
+     [java] 1588114727439 Original Encoding Solving Time: 0.433856
+     [java] 1588114727439 Original Encoding Incremental Solving Time: 0.172534
+     [java] 1588114727460 Original Encoding Solving Time: 0.017304
+     [java] 1588114727460 Original Encoding Incremental Solving Time: 0.004448
+     [java] Path Solving Time: 3.144538
+     [java] Path Solving Time: 0.508907
+     [java] 1588114727480 Original Encoding Solving Time: 0.3938
+     [java] 1588114727480 Original Encoding Incremental Solving Time: 0.095252
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114727511 Original Encoding Solving Time: 0.018157
+     [java] 1588114727511 Original Encoding Incremental Solving Time: 0.005535
+     [java] Path Solving Time: 3.205452
+     [java] Path Solving Time: 0.536197
+     [java] 1588114727531 Original Encoding Solving Time: 0.255967
+     [java] 1588114727531 Original Encoding Incremental Solving Time: 0.065145
+     [java] 1588114727552 Original Encoding Solving Time: 0.027599
+     [java] 1588114727552 Original Encoding Incremental Solving Time: 0.005532
+     [java] Path Solving Time: 3.560049
+     [java] Path Solving Time: 0.786421
+     [java] 1588114727575 Original Encoding Solving Time: 0.254795
+     [java] 1588114727575 Original Encoding Incremental Solving Time: 0.067141
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114727598 Original Encoding Solving Time: 0.015045
+     [java] 1588114727598 Original Encoding Incremental Solving Time: 0.00537
+     [java] Path Solving Time: 4.238278
+     [java] Path Solving Time: 0.839385
+     [java] 1588114727620 Original Encoding Solving Time: 0.238492
+     [java] 1588114727620 Original Encoding Incremental Solving Time: 0.072301
+     [java] 1588114727644 Original Encoding Solving Time: 0.013581
+     [java] 1588114727644 Original Encoding Incremental Solving Time: 0.003796
+     [java] Path Solving Time: 3.640712
+     [java] Path Solving Time: 0.508122
+     [java] 1588114727664 Original Encoding Solving Time: 0.26709
+     [java] 1588114727664 Original Encoding Incremental Solving Time: 0.072222
+     [java] 1588114727687 Original Encoding Solving Time: 0.016771
+     [java] 1588114727687 Original Encoding Incremental Solving Time: 0.004394
+     [java] Path Solving Time: 2.983074
+     [java] Path Solving Time: 0.558245
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114727707 Original Encoding Solving Time: 0.377444
+     [java] 1588114727707 Original Encoding Incremental Solving Time: 0.09963
+     [java] 1588114727727 Original Encoding Solving Time: 0.017959
+     [java] 1588114727727 Original Encoding Incremental Solving Time: 0.006359
+     [java] Path Solving Time: 3.165218
+     [java] Path Solving Time: 0.502117
+     [java] 1588114727748 Original Encoding Solving Time: 0.250689
+     [java] 1588114727748 Original Encoding Incremental Solving Time: 0.070369
+     [java] 1588114727767 Original Encoding Solving Time: 0.018399
+     [java] 1588114727767 Original Encoding Incremental Solving Time: 0.004433
+     [java] Path Solving Time: 5.119058
+     [java] Path Solving Time: 0.567218
+     [java] 1588114727789 Original Encoding Solving Time: 0.245708
+     [java] 1588114727789 Original Encoding Incremental Solving Time: 0.072193
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114727884 Original Encoding Solving Time: 0.012146
+     [java] 1588114727884 Original Encoding Incremental Solving Time: 0.004217
+     [java] Path Solving Time: 3.213782
+     [java] Path Solving Time: 0.749535
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114727904 Original Encoding Solving Time: 0.234693
+     [java] 1588114727904 Original Encoding Incremental Solving Time: 0.098275
+     [java] 1588114727925 Original Encoding Solving Time: 0.012613
+     [java] 1588114727925 Original Encoding Incremental Solving Time: 0.004886
+     [java] Path Solving Time: 3.210512
+     [java] Path Solving Time: 0.62577
+     [java] 1588114727945 Original Encoding Solving Time: 0.270903
+     [java] 1588114727945 Original Encoding Incremental Solving Time: 0.08849
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114728046 Original Encoding Solving Time: 0.013328
+     [java] 1588114728046 Original Encoding Incremental Solving Time: 0.004032
+     [java] Path Solving Time: 3.039393
+     [java] Path Solving Time: 0.777948
+     [java] 1588114728066 Original Encoding Solving Time: 0.248001
+     [java] 1588114728066 Original Encoding Incremental Solving Time: 0.098567
+     [java] 1588114728086 Original Encoding Solving Time: 0.013045
+     [java] 1588114728086 Original Encoding Incremental Solving Time: 0.004015
+     [java] Path Solving Time: 3.566557
+     [java] Path Solving Time: 0.744756
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114728107 Original Encoding Solving Time: 0.249487
+     [java] 1588114728107 Original Encoding Incremental Solving Time: 0.088493
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114728214 Original Encoding Solving Time: 0.019963
+     [java] 1588114728214 Original Encoding Incremental Solving Time: 0.006997
+     [java] Path Solving Time: 4.805606
+     [java] Path Solving Time: 1.166744
+     [java] 1588114728238 Original Encoding Solving Time: 0.348541
+     [java] 1588114728238 Original Encoding Incremental Solving Time: 0.213534
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114728340 Original Encoding Solving Time: 0.019366
+     [java] 1588114728340 Original Encoding Incremental Solving Time: 0.006854
+     [java] Path Solving Time: 4.206426
+     [java] Path Solving Time: 0.750815
+     [java] 1588114728362 Original Encoding Solving Time: 0.335093
+     [java] 1588114728362 Original Encoding Incremental Solving Time: 0.112304
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114728461 Original Encoding Solving Time: 0.015493
+     [java] 1588114728461 Original Encoding Incremental Solving Time: 0.004559
+     [java] Path Solving Time: 3.302335
+     [java] Path Solving Time: 0.751957
+     [java] 1588114728481 Original Encoding Solving Time: 0.422025
+     [java] 1588114728481 Original Encoding Incremental Solving Time: 0.109411
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114728580 Original Encoding Solving Time: 0.015575
+     [java] 1588114728580 Original Encoding Incremental Solving Time: 0.004477
+     [java] Path Solving Time: 3.112331
+     [java] Path Solving Time: 0.518181
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114728600 Original Encoding Solving Time: 0.249544
+     [java] 1588114728600 Original Encoding Incremental Solving Time: 0.105467
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114728701 Original Encoding Solving Time: 0.015514
+     [java] 1588114728701 Original Encoding Incremental Solving Time: 0.004593
+     [java] Path Solving Time: 3.154604
+     [java] Path Solving Time: 0.514429
+     [java] 1588114728721 Original Encoding Solving Time: 0.242263
+     [java] 1588114728721 Original Encoding Incremental Solving Time: 0.069456
+     [java] 1588114728742 Original Encoding Solving Time: 0.018497
+     [java] 1588114728742 Original Encoding Incremental Solving Time: 0.004787
+     [java] Path Solving Time: 3.112883
+     [java] Path Solving Time: 0.500097
+     [java] 1588114728761 Original Encoding Solving Time: 0.348852
+     [java] 1588114728761 Original Encoding Incremental Solving Time: 0.534613
+     [java] 1588114728784 Original Encoding Solving Time: 0.017841
+     [java] 1588114728784 Original Encoding Incremental Solving Time: 0.006701
+     [java] Path Solving Time: 3.333135
+     [java] Path Solving Time: 0.764607
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114728805 Original Encoding Solving Time: 0.422403
+     [java] 1588114728805 Original Encoding Incremental Solving Time: 0.101893
+     [java] 1588114728826 Original Encoding Solving Time: 0.018601
+     [java] 1588114728826 Original Encoding Incremental Solving Time: 0.004947
+     [java] Path Solving Time: 3.291406
+     [java] Path Solving Time: 0.775853
+     [java] 1588114728846 Original Encoding Solving Time: 0.34302
+     [java] 1588114728846 Original Encoding Incremental Solving Time: 3.400367
+     [java] 1588114728870 Original Encoding Solving Time: 0.017037
+     [java] 1588114728870 Original Encoding Incremental Solving Time: 0.004825
+     [java] Path Solving Time: 3.286741
+     [java] Path Solving Time: 0.546413
+     [java] 1588114728890 Original Encoding Solving Time: 0.302793
+     [java] 1588114728890 Original Encoding Incremental Solving Time: 0.083745
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114728909 Original Encoding Solving Time: 0.018443
+     [java] 1588114728909 Original Encoding Incremental Solving Time: 0.005609
+     [java] Path Solving Time: 3.219882
+     [java] Path Solving Time: 0.551746
+     [java] 1588114728929 Original Encoding Solving Time: 0.266905
+     [java] 1588114728929 Original Encoding Incremental Solving Time: 0.074403
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114729028 Original Encoding Solving Time: 0.01731
+     [java] 1588114729028 Original Encoding Incremental Solving Time: 0.00435
+     [java] Path Solving Time: 12.361398
+     [java] Path Solving Time: 0.733044
+     [java] 1588114729058 Original Encoding Solving Time: 0.321921
+     [java] 1588114729058 Original Encoding Incremental Solving Time: 0.134358
+     [java] 1588114729070 Original Encoding Solving Time: 0.020557
+     [java] 1588114729070 Original Encoding Incremental Solving Time: 0.00828
+     [java] Path Solving Time: 5.205994
+     [java] Path Solving Time: 0.67774
+     [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] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114729099 Original Encoding Solving Time: 0.304037
+     [java] 1588114729099 Original Encoding Incremental Solving Time: 0.091363
+     [java] 1588114729114 Original Encoding Solving Time: 0.030272
+     [java] 1588114729114 Original Encoding Incremental Solving Time: 0.013144
+     [java] Path Solving Time: 5.455136
+     [java] Path Solving Time: 1.172349
+     [java] 1588114729142 Original Encoding Solving Time: 0.455039
+     [java] 1588114729142 Original Encoding Incremental Solving Time: 4.023
+     [java] 1588114729162 Original Encoding Solving Time: 0.021616
+     [java] 1588114729162 Original Encoding Incremental Solving Time: 0.005765
+     [java] Path Solving Time: 3.878124
+     [java] Path Solving Time: 0.871035
+     [java] 1588114729184 Original Encoding Solving Time: 0.384629
+     [java] 1588114729184 Original Encoding Incremental Solving Time: 0.111244
+     [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] 1588114729199 Original Encoding Solving Time: 0.026249
+     [java] 1588114729199 Original Encoding Incremental Solving Time: 0.006699
+     [java] Path Solving Time: 3.81143
+     [java] Path Solving Time: 0.890625
+     [java] 1588114729224 Original Encoding Solving Time: 1.072973
+     [java] 1588114729224 Original Encoding Incremental Solving Time: 0.128583
+     [java] 1588114729237 Original Encoding Solving Time: 0.021873
+     [java] 1588114729237 Original Encoding Incremental Solving Time: 0.008295
+     [java] Path Solving Time: 3.926487
+     [java] Path Solving Time: 0.844462
+     [java] 1588114729264 Original Encoding Solving Time: 0.293146
+     [java] 1588114729264 Original Encoding Incremental Solving Time: 0.103964
+     [java] 1588114729277 Original Encoding Solving Time: 0.022119
+     [java] 1588114729277 Original Encoding Incremental Solving Time: 0.006452
+     [java] Path Solving Time: 3.798888
+     [java] Path Solving Time: 0.857162
+     [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] 1588114729302 Original Encoding Solving Time: 0.293037
+     [java] 1588114729302 Original Encoding Incremental Solving Time: 0.093357
+     [java] 1588114729318 Original Encoding Solving Time: 0.023897
+     [java] 1588114729318 Original Encoding Incremental Solving Time: 0.008683
+     [java] Path Solving Time: 3.769822
+     [java] Path Solving Time: 0.833861
+     [java] 1588114729340 Original Encoding Solving Time: 0.264166
+     [java] 1588114729340 Original Encoding Incremental Solving Time: 0.089764
+     [java] 1588114729353 Original Encoding Solving Time: 0.022869
+     [java] 1588114729353 Original Encoding Incremental Solving Time: 0.006586
+     [java] Path Solving Time: 3.596474
+     [java] Path Solving Time: 0.596247
+     [java] 1588114729379 Original Encoding Solving Time: 0.266718
+     [java] 1588114729379 Original Encoding Incremental Solving Time: 0.065831
+     [java] 1588114729394 Original Encoding Solving Time: 0.030063
+     [java] 1588114729394 Original Encoding Incremental Solving Time: 0.010285
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.999098
+     [java] Path Solving Time: 1.236804
+     [java] 1588114729422 Original Encoding Solving Time: 0.450371
+     [java] 1588114729422 Original Encoding Incremental Solving Time: 0.103383
+     [java] 1588114729441 Original Encoding Solving Time: 0.028206
+     [java] 1588114729441 Original Encoding Incremental Solving Time: 0.008493
+     [java] Path Solving Time: 5.285852
+     [java] Path Solving Time: 0.710739
+     [java] 1588114729464 Original Encoding Solving Time: 0.283732
+     [java] 1588114729464 Original Encoding Incremental Solving Time: 0.073471
+     [java] 1588114729476 Original Encoding Solving Time: 0.022074
+     [java] 1588114729476 Original Encoding Incremental Solving Time: 0.007275
+     [java] Path Solving Time: 3.593778
+     [java] Path Solving Time: 0.588633
+     [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] 1588114729502 Original Encoding Solving Time: 0.273917
+     [java] 1588114729502 Original Encoding Incremental Solving Time: 0.080309
+     [java] 1588114729513 Original Encoding Solving Time: 0.022975
+     [java] 1588114729513 Original Encoding Incremental Solving Time: 0.007484
+     [java] Path Solving Time: 3.630164
+     [java] Path Solving Time: 0.582038
+     [java] 1588114729540 Original Encoding Solving Time: 0.437275
+     [java] 1588114729540 Original Encoding Incremental Solving Time: 0.084527
+     [java] 1588114729556 Original Encoding Solving Time: 0.029093
+     [java] 1588114729556 Original Encoding Incremental Solving Time: 0.006947
+     [java] Path Solving Time: 3.971528
+     [java] Path Solving Time: 0.792066
+     [java] 1588114729584 Original Encoding Solving Time: 0.302302
+     [java] 1588114729584 Original Encoding Incremental Solving Time: 0.083435
+     [java] 1588114729597 Original Encoding Solving Time: 0.024401
+     [java] 1588114729597 Original Encoding Incremental Solving Time: 0.005803
+     [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.673756
+     [java] Path Solving Time: 0.987909
+     [java] 1588114729623 Original Encoding Solving Time: 0.324862
+     [java] 1588114729623 Original Encoding Incremental Solving Time: 0.123939
+     [java] 1588114729637 Original Encoding Solving Time: 0.021653
+     [java] 1588114729637 Original Encoding Incremental Solving Time: 0.005831
+     [java] Path Solving Time: 3.538992
+     [java] Path Solving Time: 0.61031
+     [java] 1588114729661 Original Encoding Solving Time: 0.261414
+     [java] 1588114729661 Original Encoding Incremental Solving Time: 0.076257
+     [java] 1588114729673 Original Encoding Solving Time: 0.024081
+     [java] 1588114729673 Original Encoding Incremental Solving Time: 0.005983
+     [java] Path Solving Time: 3.563553
+     [java] Path Solving Time: 0.589969
+     [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] 1588114729699 Original Encoding Solving Time: 0.256957
+     [java] 1588114729699 Original Encoding Incremental Solving Time: 0.068329
+     [java] 1588114729710 Original Encoding Solving Time: 0.021529
+     [java] 1588114729710 Original Encoding Incremental Solving Time: 0.008511
+     [java] Path Solving Time: 3.897458
+     [java] Path Solving Time: 0.579177
+     [java] 1588114729737 Original Encoding Solving Time: 0.263259
+     [java] 1588114729737 Original Encoding Incremental Solving Time: 0.079105
+     [java] 1588114729750 Original Encoding Solving Time: 0.02131
+     [java] 1588114729750 Original Encoding Incremental Solving Time: 0.005994
+     [java] Path Solving Time: 3.594655
+     [java] Path Solving Time: 0.581936
+     [java] 1588114729775 Original Encoding Solving Time: 0.248683
+     [java] 1588114729775 Original Encoding Incremental Solving Time: 0.070936
+     [java] 1588114729788 Original Encoding Solving Time: 0.023563
+     [java] 1588114729788 Original Encoding Incremental Solving Time: 0.005614
+     [java] Path Solving Time: 3.67638
+     [java] Path Solving Time: 0.607199
+     [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] 1588114729814 Original Encoding Solving Time: 0.309241
+     [java] 1588114729814 Original Encoding Incremental Solving Time: 0.077192
+     [java] 1588114729825 Original Encoding Solving Time: 0.021197
+     [java] 1588114729825 Original Encoding Incremental Solving Time: 0.006006
+     [java] Path Solving Time: 3.594888
+     [java] Path Solving Time: 0.58475
+     [java] 1588114729852 Original Encoding Solving Time: 0.263617
+     [java] 1588114729852 Original Encoding Incremental Solving Time: 0.072997
+     [java] 1588114729864 Original Encoding Solving Time: 0.021922
+     [java] 1588114729864 Original Encoding Incremental Solving Time: 0.005818
+     [java] Path Solving Time: 3.718945
+     [java] Path Solving Time: 0.604358
+     [java] 1588114729891 Original Encoding Solving Time: 0.262161
+     [java] 1588114729891 Original Encoding Incremental Solving Time: 0.070788
+     [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] 1588114729902 Original Encoding Solving Time: 0.023776
+     [java] 1588114729902 Original Encoding Incremental Solving Time: 0.007071
+     [java] Path Solving Time: 3.576727
+     [java] Path Solving Time: 0.581211
+     [java] 1588114729929 Original Encoding Solving Time: 0.268102
+     [java] 1588114729929 Original Encoding Incremental Solving Time: 0.073763
+     [java] 1588114729942 Original Encoding Solving Time: 0.023689
+     [java] 1588114729942 Original Encoding Incremental Solving Time: 0.005648
+     [java] Path Solving Time: 3.58456
+     [java] Path Solving Time: 0.593162
+     [java] 1588114729969 Original Encoding Solving Time: 0.237565
+     [java] 1588114729969 Original Encoding Incremental Solving Time: 0.073883
+     [java] 1588114729982 Original Encoding Solving Time: 0.037985
+     [java] 1588114729982 Original Encoding Incremental Solving Time: 0.005689
+     [java] Path Solving Time: 3.596928
+     [java] Path Solving Time: 0.628931
+     [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] 1588114730006 Original Encoding Solving Time: 0.270828
+     [java] 1588114730006 Original Encoding Incremental Solving Time: 0.065192
+     [java] 1588114730021 Original Encoding Solving Time: 0.027247
+     [java] 1588114730021 Original Encoding Incremental Solving Time: 0.008628
+     [java] Path Solving Time: 3.737105
+     [java] Path Solving Time: 0.585948
+     [java] 1588114730045 Original Encoding Solving Time: 0.313912
+     [java] 1588114730045 Original Encoding Incremental Solving Time: 0.070037
+     [java] 1588114730057 Original Encoding Solving Time: 0.021226
+     [java] 1588114730057 Original Encoding Incremental Solving Time: 0.005586
+     [java] Path Solving Time: 3.650605
+     [java] Path Solving Time: 0.606395
+     [java] 1588114730083 Original Encoding Solving Time: 0.271443
+     [java] 1588114730083 Original Encoding Incremental Solving Time: 0.069482
+     [java] 1588114730097 Original Encoding Solving Time: 0.029625
+     [java] 1588114730097 Original Encoding Incremental Solving Time: 0.009145
+     [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: 5.556695
+     [java] Path Solving Time: 1.144749
+     [java] 1588114730125 Original Encoding Solving Time: 0.364015
+     [java] 1588114730125 Original Encoding Incremental Solving Time: 0.106179
+     [java] 1588114730142 Original Encoding Solving Time: 0.035604
+     [java] 1588114730142 Original Encoding Incremental Solving Time: 0.008453
+     [java] Path Solving Time: 4.780215
+     [java] Path Solving Time: 0.84141
+     [java] 1588114730166 Original Encoding Solving Time: 0.458591
+     [java] 1588114730166 Original Encoding Incremental Solving Time: 0.095423
+     [java] 1588114730179 Original Encoding Solving Time: 0.023343
+     [java] 1588114730179 Original Encoding Incremental Solving Time: 0.007662
+     [java] Path Solving Time: 3.747153
+     [java] Path Solving Time: 0.744107
+     [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] 1588114730206 Original Encoding Solving Time: 0.353624
+     [java] 1588114730206 Original Encoding Incremental Solving Time: 0.119638
+     [java] 1588114730218 Original Encoding Solving Time: 0.02171
+     [java] 1588114730218 Original Encoding Incremental Solving Time: 0.006542
+     [java] Path Solving Time: 3.764765
+     [java] Path Solving Time: 0.612568
+     [java] 1588114730245 Original Encoding Solving Time: 0.269516
+     [java] 1588114730245 Original Encoding Incremental Solving Time: 0.070686
+     [java] 1588114730255 Original Encoding Solving Time: 0.022688
+     [java] 1588114730255 Original Encoding Incremental Solving Time: 0.005949
+     [java] Path Solving Time: 3.562484
+     [java] Path Solving Time: 0.607495
+     [java] 1588114730284 Original Encoding Solving Time: 0.260807
+     [java] 1588114730284 Original Encoding Incremental Solving Time: 0.068457
+     [java] 1588114730295 Original Encoding Solving Time: 0.021784
+     [java] 1588114730295 Original Encoding Incremental Solving Time: 0.006004
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 6.635259
+     [java] Path Solving Time: 0.776301
+     [java] 1588114730327 Original Encoding Solving Time: 0.254577
+     [java] 1588114730327 Original Encoding Incremental Solving Time: 0.067248
+     [java] 1588114730347 Original Encoding Solving Time: 0.018507
+     [java] 1588114730347 Original Encoding Incremental Solving Time: 0.004768
+     [java] Path Solving Time: 4.56356
+     [java] Path Solving Time: 0.681488
+     [java] 1588114730370 Original Encoding Solving Time: 0.3478
+     [java] 1588114730370 Original Encoding Incremental Solving Time: 0.067139
+     [java] 1588114730390 Original Encoding Solving Time: 0.019057
+     [java] 1588114730390 Original Encoding Incremental Solving Time: 0.005569
+     [java] Path Solving Time: 3.73346
+     [java] Path Solving Time: 0.637386
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114730411 Original Encoding Solving Time: 0.249496
+     [java] 1588114730411 Original Encoding Incremental Solving Time: 0.068758
+     [java] 1588114730447 Original Encoding Solving Time: 0.016601
+     [java] 1588114730447 Original Encoding Incremental Solving Time: 0.004574
+     [java] Path Solving Time: 3.656622
+     [java] Path Solving Time: 0.613504
+     [java] 1588114730469 Original Encoding Solving Time: 0.262115
+     [java] 1588114730469 Original Encoding Incremental Solving Time: 0.064535
+     [java] 1588114730488 Original Encoding Solving Time: 0.017449
+     [java] 1588114730488 Original Encoding Incremental Solving Time: 0.004147
+     [java] Path Solving Time: 3.700683
+     [java] Path Solving Time: 0.616304
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114730510 Original Encoding Solving Time: 0.290124
+     [java] 1588114730510 Original Encoding Incremental Solving Time: 0.065474
+     [java] 1588114730547 Original Encoding Solving Time: 0.02244
+     [java] 1588114730547 Original Encoding Incremental Solving Time: 0.005664
+     [java] Path Solving Time: 4.597959
+     [java] Path Solving Time: 0.901543
+     [java] 1588114730573 Original Encoding Solving Time: 0.271222
+     [java] 1588114730573 Original Encoding Incremental Solving Time: 0.059334
+     [java] 1588114730591 Original Encoding Solving Time: 0.018782
+     [java] 1588114730591 Original Encoding Incremental Solving Time: 0.00529
+     [java] Path Solving Time: 3.651648
+     [java] Path Solving Time: 0.609566
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114730614 Original Encoding Solving Time: 0.262556
+     [java] 1588114730614 Original Encoding Incremental Solving Time: 0.063036
+     [java] 1588114730654 Original Encoding Solving Time: 0.018414
+     [java] 1588114730654 Original Encoding Incremental Solving Time: 0.008867
+     [java] Path Solving Time: 3.646665
+     [java] Path Solving Time: 0.598615
+     [java] 1588114730676 Original Encoding Solving Time: 0.264864
+     [java] 1588114730676 Original Encoding Incremental Solving Time: 0.062438
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114730714 Original Encoding Solving Time: 0.038924
+     [java] 1588114730714 Original Encoding Incremental Solving Time: 0.0063
+     [java] Path Solving Time: 2.51092
+     [java] Path Solving Time: 0.483716
+     [java] 1588114730736 Original Encoding Solving Time: 0.351256
+     [java] 1588114730736 Original Encoding Incremental Solving Time: 0.094271
+     [java] 1588114730759 Original Encoding Solving Time: 0.034692
+     [java] 1588114730759 Original Encoding Incremental Solving Time: 0.006912
+     [java] Path Solving Time: 3.573025
+     [java] Path Solving Time: 0.763472
+     [java] 1588114730783 Original Encoding Solving Time: 0.347608
+     [java] 1588114730783 Original Encoding Incremental Solving Time: 0.093719
+     [java] 1588114730802 Original Encoding Solving Time: 0.017099
+     [java] 1588114730802 Original Encoding Incremental Solving Time: 0.004471
+     [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.546442
+     [java] Path Solving Time: 0.475745
+     [java] 1588114730824 Original Encoding Solving Time: 0.25172
+     [java] 1588114730824 Original Encoding Incremental Solving Time: 0.064685
+     [java] 1588114730844 Original Encoding Solving Time: 0.01697
+     [java] 1588114730844 Original Encoding Incremental Solving Time: 0.004002
+     [java] Path Solving Time: 2.526308
+     [java] Path Solving Time: 0.443044
+     [java] 1588114730866 Original Encoding Solving Time: 0.250477
+     [java] 1588114730866 Original Encoding Incremental Solving Time: 0.06499
+     [java] 1588114730888 Original Encoding Solving Time: 0.015451
+     [java] 1588114730888 Original Encoding Incremental Solving Time: 0.004351
+     [java] Path Solving Time: 2.518721
+     [java] Path Solving Time: 0.483928
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114730910 Original Encoding Solving Time: 0.252686
+     [java] 1588114730910 Original Encoding Incremental Solving Time: 0.108295
+     [java] 1588114730950 Original Encoding Solving Time: 0.015566
+     [java] 1588114730950 Original Encoding Incremental Solving Time: 0.004137
+     [java] Path Solving Time: 2.455873
+     [java] Path Solving Time: 0.472368
+     [java] 1588114730973 Original Encoding Solving Time: 0.231053
+     [java] 1588114730973 Original Encoding Incremental Solving Time: 0.062988
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114731012 Original Encoding Solving Time: 0.015215
+     [java] 1588114731012 Original Encoding Incremental Solving Time: 0.004212
+     [java] Path Solving Time: 2.530847
+     [java] Path Solving Time: 0.441854
+     [java] 1588114731035 Original Encoding Solving Time: 0.336098
+     [java] 1588114731035 Original Encoding Incremental Solving Time: 0.092059
+     [java] 1588114731077 Original Encoding Solving Time: 0.015246
+     [java] 1588114731077 Original Encoding Incremental Solving Time: 0.004461
+     [java] Path Solving Time: 2.4687
+     [java] Path Solving Time: 0.445859
+     [java] 1588114731099 Original Encoding Solving Time: 0.258831
+     [java] 1588114731099 Original Encoding Incremental Solving Time: 0.06166
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114731138 Original Encoding Solving Time: 0.015434
+     [java] 1588114731138 Original Encoding Incremental Solving Time: 0.004101
+     [java] Path Solving Time: 2.389231
+     [java] Path Solving Time: 0.440607
+     [java] 1588114731160 Original Encoding Solving Time: 0.256509
+     [java] 1588114731160 Original Encoding Incremental Solving Time: 0.06406
+     [java] 1588114731202 Original Encoding Solving Time: 0.015715
+     [java] 1588114731202 Original Encoding Incremental Solving Time: 0.004246
+     [java] Path Solving Time: 2.446335
+     [java] Path Solving Time: 0.480308
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114731224 Original Encoding Solving Time: 0.251826
+     [java] 1588114731224 Original Encoding Incremental Solving Time: 0.071512
+     [java] 1588114731274 Original Encoding Solving Time: 0.015708
+     [java] 1588114731274 Original Encoding Incremental Solving Time: 0.00444
+     [java] Path Solving Time: 2.416497
+     [java] Path Solving Time: 0.445252
+     [java] 1588114731296 Original Encoding Solving Time: 0.265582
+     [java] 1588114731296 Original Encoding Incremental Solving Time: 0.06335
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114731337 Original Encoding Solving Time: 0.015564
+     [java] 1588114731337 Original Encoding Incremental Solving Time: 0.004498
+     [java] Path Solving Time: 2.497314
+     [java] Path Solving Time: 0.445515
+     [java] 1588114731369 Original Encoding Solving Time: 0.255467
+     [java] 1588114731369 Original Encoding Incremental Solving Time: 0.070022
+     [java] Let's read clauses ...
+     [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] 1588114731409 Original Encoding Solving Time: 0.014673
+     [java] 1588114731409 Original Encoding Incremental Solving Time: 0.004113
+     [java] Path Solving Time: 2.521888
+     [java] Path Solving Time: 0.443497
+     [java] 1588114731432 Original Encoding Solving Time: 0.26571
+     [java] 1588114731432 Original Encoding Incremental Solving Time: 0.061033
+     [java] 1588114731453 Original Encoding Solving Time: 0.016674
+     [java] 1588114731453 Original Encoding Incremental Solving Time: 0.004235
+     [java] Path Solving Time: 2.481001
+     [java] Path Solving Time: 0.471661
+     [java] 1588114731476 Original Encoding Solving Time: 0.253872
+     [java] 1588114731476 Original Encoding Incremental Solving Time: 0.061478
+     [java] 1588114731497 Original Encoding Solving Time: 0.017873
+     [java] 1588114731497 Original Encoding Incremental Solving Time: 0.00433
+     [java] Path Solving Time: 2.404073
+     [java] Path Solving Time: 0.433932
+     [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] 1588114731521 Original Encoding Solving Time: 0.260533
+     [java] 1588114731521 Original Encoding Incremental Solving Time: 0.059061
+     [java] 1588114731542 Original Encoding Solving Time: 0.016949
+     [java] 1588114731542 Original Encoding Incremental Solving Time: 0.004181
+     [java] Path Solving Time: 2.710935
+     [java] Path Solving Time: 0.760384
+     [java] 1588114731572 Original Encoding Solving Time: 0.695872
+     [java] 1588114731572 Original Encoding Incremental Solving Time: 0.094712
+     [java] 1588114731594 Original Encoding Solving Time: 0.017868
+     [java] 1588114731594 Original Encoding Incremental Solving Time: 0.004505
+     [java] Path Solving Time: 2.51348
+     [java] Path Solving Time: 0.457716
+     [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] 1588114731618 Original Encoding Solving Time: 0.308176
+     [java] 1588114731618 Original Encoding Incremental Solving Time: 0.216947
+     [java] 1588114731639 Original Encoding Solving Time: 0.029432
+     [java] 1588114731639 Original Encoding Incremental Solving Time: 0.011855
+     [java] Path Solving Time: 2.46655
+     [java] Path Solving Time: 0.450519
+     [java] 1588114731663 Original Encoding Solving Time: 0.285337
+     [java] 1588114731663 Original Encoding Incremental Solving Time: 0.059374
+     [java] 1588114731683 Original Encoding Solving Time: 0.016849
+     [java] 1588114731683 Original Encoding Incremental Solving Time: 0.004801
+     [java] Path Solving Time: 2.386336
+     [java] Path Solving Time: 0.456873
+     [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] 1588114731708 Original Encoding Solving Time: 0.261757
+     [java] 1588114731708 Original Encoding Incremental Solving Time: 0.064711
+     [java] 1588114731728 Original Encoding Solving Time: 0.017591
+     [java] 1588114731728 Original Encoding Incremental Solving Time: 0.004846
+     [java] Path Solving Time: 3.884641
+     [java] Path Solving Time: 0.452658
+     [java] 1588114731756 Original Encoding Solving Time: 0.348308
+     [java] 1588114731756 Original Encoding Incremental Solving Time: 0.08432
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114731945 Original Encoding Solving Time: 0.010684
+     [java] 1588114731945 Original Encoding Incremental Solving Time: 0.00429
+     [java] Path Solving Time: 4.828434
+     [java] Path Solving Time: 0.507184
+     [java] 1588114731971 Original Encoding Solving Time: 0.287666
+     [java] 1588114731971 Original Encoding Incremental Solving Time: 0.070692
+     [java] Let's read clauses ...
+     [java] 1588114732190 Original Encoding Solving Time: 0.011556
+     [java] 1588114732190 Original Encoding Incremental Solving Time: 0.005113
+     [java] Path Solving Time: 3.645099
+     [java] Path Solving Time: 0.809766
+     [java] 1588114732215 Original Encoding Solving Time: 0.254775
+     [java] 1588114732215 Original Encoding Incremental Solving Time: 0.069827
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114732339 Original Encoding Solving Time: 0.010158
+     [java] 1588114732339 Original Encoding Incremental Solving Time: 0.00693
+     [java] Path Solving Time: 2.525536
+     [java] Path Solving Time: 0.534411
+     [java] 1588114732363 Original Encoding Solving Time: 0.25657
+     [java] 1588114732363 Original Encoding Incremental Solving Time: 0.076443
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114732421 Original Encoding Solving Time: 0.012108
+     [java] 1588114732421 Original Encoding Incremental Solving Time: 0.201833
+     [java] Path Solving Time: 3.069931
+     [java] Path Solving Time: 0.486865
+     [java] 1588114732446 Original Encoding Solving Time: 0.249643
+     [java] 1588114732446 Original Encoding Incremental Solving Time: 0.065992
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114732657 Original Encoding Solving Time: 0.010149
+     [java] 1588114732657 Original Encoding Incremental Solving Time: 0.00425
+     [java] Path Solving Time: 2.394251
+     [java] Path Solving Time: 0.413963
+     [java] 1588114732682 Original Encoding Solving Time: 0.26362
+     [java] 1588114732682 Original Encoding Incremental Solving Time: 0.06764
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114732745 Original Encoding Solving Time: 0.010478
+     [java] 1588114732745 Original Encoding Incremental Solving Time: 0.006948
+     [java] Path Solving Time: 2.911337
+     [java] Path Solving Time: 0.451749
+     [java] 1588114732772 Original Encoding Solving Time: 0.250333
+     [java] 1588114732772 Original Encoding Incremental Solving Time: 0.072678
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] 1588114732964 Original Encoding Solving Time: 0.009721
+     [java] 1588114732964 Original Encoding Incremental Solving Time: 0.00393
+     [java] Path Solving Time: 2.383675
+     [java] Path Solving Time: 0.432895
+     [java] 1588114732989 Original Encoding Solving Time: 0.339484
+     [java] 1588114732989 Original Encoding Incremental Solving Time: 0.082166
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114733051 Original Encoding Solving Time: 0.009529
+     [java] 1588114733051 Original Encoding Incremental Solving Time: 0.006744
+     [java] Path Solving Time: 3.363678
+     [java] Path Solving Time: 0.447627
+     [java] 1588114733078 Original Encoding Solving Time: 0.260173
+     [java] 1588114733078 Original Encoding Incremental Solving Time: 0.093249
+     [java] Let's read clauses ...
+     [java] 1588114733197 Original Encoding Solving Time: 0.011008
+     [java] 1588114733197 Original Encoding Incremental Solving Time: 0.00444
+     [java] Path Solving Time: 2.492742
+     [java] Path Solving Time: 0.437329
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114733222 Original Encoding Solving Time: 0.444417
+     [java] 1588114733222 Original Encoding Incremental Solving Time: 0.09833
+     [java] 1588114733282 Original Encoding Solving Time: 0.012529
+     [java] 1588114733282 Original Encoding Incremental Solving Time: 0.006749
+     [java] Path Solving Time: 3.408742
+     [java] Path Solving Time: 0.454305
+     [java] 1588114733309 Original Encoding Solving Time: 0.262312
+     [java] 1588114733309 Original Encoding Incremental Solving Time: 0.068462
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114733506 Original Encoding Solving Time: 0.010056
+     [java] 1588114733506 Original Encoding Incremental Solving Time: 0.003255
+     [java] Path Solving Time: 2.415495
+     [java] Path Solving Time: 0.482955
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114733532 Original Encoding Solving Time: 0.297766
+     [java] 1588114733532 Original Encoding Incremental Solving Time: 0.065734
+     [java] 1588114733602 Original Encoding Solving Time: 0.015196
+     [java] 1588114733602 Original Encoding Incremental Solving Time: 0.005721
+     [java] Path Solving Time: 3.013643
+     [java] Path Solving Time: 0.488108
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Let's read clauses ...
+     [java] 1588114733628 Original Encoding Solving Time: 0.240508
+     [java] 1588114733628 Original Encoding Incremental Solving Time: 0.072639
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588114733753 Original Encoding Solving Time: 0.010769
+     [java] 1588114733753 Original Encoding Incremental Solving Time: 0.004286
+     [java] Path Solving Time: 2.402925
+     [java] Path Solving Time: 0.427978
+     [java] 1588114733779 Original Encoding Solving Time: 0.350019
+     [java] 1588114733779 Original Encoding Incremental Solving Time: 0.090862
+     [java] Let's read clauses ...
+     [java] =========Statistics (time in milliseconds)=========
+     [java] Benchmark Id: 25
+     [java] Sketch Generation Time: 909.0160030000005
+     [java] Sketch Completion Time: 3695.9687790000016
+     [java] Compilation Time: 2255.133709999998
+     [java] Running Test cases Time: 6012.715108
+     [java] Synthesis Time: 10617.699890000004
+     [java] Total Time: 12872.833600000002
+     [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] serializing ...
+     [java] {BooleanLogic<0x7f8f344a0e10>: OR
+     [java] {BooleanPredicate<0x7f8f34db84d0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f34ded100>:{Set(1)<0x7f8f344a06b0>:Members: 129, } 0x7f8f34ded100 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34dedab0>: 129}
+     [java] }
+     [java] {BooleanPredicate<0x7f8f34db56e0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f34d66b20>:{Set(1)<0x7f8f344a05d0>:Members: 129, 130, } 0x7f8f34d66b20 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34dedab0>: 129}
+     [java] }
+     [java] {BooleanPredicate<0x7f8f3524fff0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f34deccc0>:{Set(1)<0x7f8f344a0870>:Members: 129, 130, 131, } 0x7f8f34deccc0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34dedab0>: 129}
+     [java] }
+     [java] {BooleanPredicate<0x7f8f34d6a940>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f346e8410>:{Set(1)<0x7f8f3470c1e0>:Members: 129, 130, 131, 132, } 0x7f8f346e8410 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34dedab0>: 129}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f8f34ddc910>: OR
+     [java] {BooleanPredicate<0x7f8f346efbb0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f34d66b20>:{Set(1)<0x7f8f344a05d0>:Members: 129, 130, } 0x7f8f34d66b20 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34e954d0>: 130}
+     [java] }
+     [java] {BooleanPredicate<0x7f8f344a0710>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f34deccc0>:{Set(1)<0x7f8f344a0870>:Members: 129, 130, 131, } 0x7f8f34deccc0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34e954d0>: 130}
+     [java] }
+     [java] {BooleanPredicate<0x7f8f342578e0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f346e8410>:{Set(1)<0x7f8f3470c1e0>:Members: 129, 130, 131, 132, } 0x7f8f346e8410 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f34e954d0>: 130}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f8f34ded200>: OR
+     [java] {BooleanPredicate<0x7f8f346ce4c0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f34deccc0>:{Set(1)<0x7f8f344a0870>:Members: 129, 130, 131, } 0x7f8f34deccc0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f346eff30>: 131}
+     [java] }
+     [java] {BooleanPredicate<0x7f8f34e00d90>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f346e8410>:{Set(1)<0x7f8f3470c1e0>:Members: 129, 130, 131, 132, } 0x7f8f346e8410 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f346eff30>: 131}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f8f34257bd0>: OR
+     [java] {BooleanPredicate<0x7f8f34d676d0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f8f346e8410>:{Set(1)<0x7f8f3470c1e0>:Members: 129, 130, 131, 132, } 0x7f8f346e8410 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f8f35156260>: 132}
+     [java] }
+     [java] }
+     [java] 
+
+BUILD SUCCESSFUL
+Total time: 15 seconds