--- /dev/null
+Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
+
+sypet:
+ [java] ----------Options
+ [java] Verbose: false
+ [java] Timeout: 600000
+ [java] Round Robin: true
+ [java] Round Robin Iterations: 100
+ [java] Round Robin Range: 2
+ [java] Solver limit: 5
+ [java] ----------benchmarks/geometry/10/benchmark10.json
+ [java] Benchmark Id: 10
+ [java] Method name: scale
+ [java] Packages: [java.awt.geom]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.awt.geom.Rectangle2D, double, double]
+ [java] Target type: java.awt.geom.Rectangle2D
+ [java] --------------------------------------------------------
+ [java] Warning: javax.crypto.spec.DESKeySpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DESedeKeySpec is a phantom class!
+ [java] Warning: javax.crypto.Cipher is a phantom class!
+ [java] Warning: javax.crypto.spec.SecretKeySpec is a phantom class!
+ [java] Warning: javax.crypto.SecretKeyFactory is a phantom class!
+ [java] Warning: javax.crypto.spec.IvParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.SecretKey is a phantom class!
+ [java] Warning: javax.crypto.spec.PBEKeySpec is a phantom class!
+ [java] Warning: javax.crypto.Mac is a phantom class!
+ [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+ [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+ [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+ [java] Warning: sun.security.ssl.Krb5Helper is a phantom class!
+ [java] Warning: com.oracle.jrockit.jfr.FlightRecorder is a phantom class!
+ [java] Warning: sun.security.ssl.SSLSocketImpl is a phantom class!
+ [java] Warning: javax.crypto.CipherInputStream is a phantom class!
+ [java] Warning: javax.crypto.CipherOutputStream is a phantom class!
+ [java] Warning: sun.nio.cs.ext.EUC_TW$Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.EUC_TW$Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.DoubleByteEncoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0201$Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0201$Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0208_Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0208_Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0212_Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0212_Decoder is a phantom class!
+ [java] Warning: javax.crypto.spec.PBEParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHPublicKeySpec 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.spec.OAEPParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.PSource is a phantom class!
+ [java] Warning: javax.crypto.spec.PSource$PSpecified is a phantom class!
+ [java] Warning: javax.crypto.KeyGenerator is a phantom class!
+ [java] #Classes: 50
+ [java] #Methods: 751
+ [java] Soot Time: 3131.757853
+ [java] PetriNet for path length: 1 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] PetriNet for path length: 2 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] PetriNet for path length: 3 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] PetriNet for path length: 4 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] PetriNet for path length: 5 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 24.486664
+ [java] Path Solving Time: 5.642957
+ [java] Path Solving Time: 18.2109
+ [java] Path Solving Time: 1.011495
+ [java] Done with finding holes : Flag = true
+ [java] 1588127915459 Original Encoding Solving Time: 0.85113
+ [java] 1588127915459 Original Encoding Incremental Solving Time: 0.189527
+ [java] Done with finding holes : Flag = true
+ [java] 1588127915732 Original Encoding Solving Time: 0.364135
+ [java] 1588127915732 Original Encoding Incremental Solving Time: 0.056958
+ [java] 1588127915748 Original Encoding Solving Time: 0.191218
+ [java] 1588127915748 Original Encoding Incremental Solving Time: 0.029488
+ [java] Path Solving Time: 3.332089
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.059013
+ [java] Path Solving Time: 1.35134
+ [java] 1588127916012 Original Encoding Solving Time: 0.576981
+ [java] 1588127916012 Original Encoding Incremental Solving Time: 0.227899
+ [java] 1588127916052 Original Encoding Solving Time: 0.225768
+ [java] 1588127916052 Original Encoding Incremental Solving Time: 0.069538
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127916074 Original Encoding Solving Time: 0.435573
+ [java] 1588127916074 Original Encoding Incremental Solving Time: 0.038508
+ [java] Path Solving Time: 4.590387
+ [java] Path Solving Time: 1.364278
+ [java] 1588127916097 Original Encoding Solving Time: 0.739986
+ [java] 1588127916097 Original Encoding Incremental Solving Time: 0.175127
+ [java] 1588127916127 Original Encoding Solving Time: 0.359214
+ [java] 1588127916127 Original Encoding Incremental Solving Time: 0.068944
+ [java] 1588127916146 Original Encoding Solving Time: 0.246662
+ [java] 1588127916146 Original Encoding Incremental Solving Time: 0.030579
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 12.779093
+ [java] Path Solving Time: 2.088164
+ [java] 1588127916177 Original Encoding Solving Time: 0.580524
+ [java] 1588127916177 Original Encoding Incremental Solving Time: 0.263238
+ [java] 1588127916204 Original Encoding Solving Time: 0.304754
+ [java] 1588127916204 Original Encoding Incremental Solving Time: 0.096825
+ [java] 1588127916223 Original Encoding Solving Time: 0.281099
+ [java] 1588127916223 Original Encoding Incremental Solving Time: 0.027021
+ [java] Path Solving Time: 12.436529
+ [java] Path Solving Time: 2.031882
+ [java] 1588127916254 Original Encoding Solving Time: 0.595928
+ [java] 1588127916254 Original Encoding Incremental Solving Time: 0.291065
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127916277 Original Encoding Solving Time: 0.419521
+ [java] 1588127916277 Original Encoding Incremental Solving Time: 0.045157
+ [java] 1588127916290 Original Encoding Solving Time: 0.206192
+ [java] 1588127916290 Original Encoding Incremental Solving Time: 0.020189
+ [java] Path Solving Time: 4.770105
+ [java] Path Solving Time: 1.698596
+ [java] 1588127916313 Original Encoding Solving Time: 1.330552
+ [java] 1588127916313 Original Encoding Incremental Solving Time: 0.257736
+ [java] 1588127916334 Original Encoding Solving Time: 0.417453
+ [java] 1588127916334 Original Encoding Incremental Solving Time: 0.060237
+ [java] 1588127916348 Original Encoding Solving Time: 0.539829
+ [java] 1588127916348 Original Encoding Incremental Solving Time: 0.032314
+ [java] Path Solving Time: 4.534373
+ [java] Path Solving Time: 1.99417
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127916372 Original Encoding Solving Time: 0.467164
+ [java] 1588127916372 Original Encoding Incremental Solving Time: 0.159583
+ [java] 1588127916392 Original Encoding Solving Time: 0.224043
+ [java] 1588127916392 Original Encoding Incremental Solving Time: 0.053296
+ [java] 1588127916404 Original Encoding Solving Time: 0.174232
+ [java] 1588127916404 Original Encoding Incremental Solving Time: 0.015805
+ [java] Path Solving Time: 4.085511
+ [java] Path Solving Time: 1.568019
+ [java] 1588127916426 Original Encoding Solving Time: 0.420945
+ [java] 1588127916426 Original Encoding Incremental Solving Time: 0.247132
+ [java] 1588127916446 Original Encoding Solving Time: 0.26526
+ [java] 1588127916446 Original Encoding Incremental Solving Time: 0.055924
+ [java] 1588127916460 Original Encoding Solving Time: 0.187209
+ [java] 1588127916460 Original Encoding Incremental Solving Time: 0.030035
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 4.48095
+ [java] Path Solving Time: 1.886715
+ [java] 1588127916483 Original Encoding Solving Time: 0.588759
+ [java] 1588127916483 Original Encoding Incremental Solving Time: 0.178932
+ [java] 1588127916503 Original Encoding Solving Time: 0.898511
+ [java] 1588127916503 Original Encoding Incremental Solving Time: 0.072116
+ [java] 1588127916515 Original Encoding Solving Time: 0.241902
+ [java] 1588127916515 Original Encoding Incremental Solving Time: 0.029552
+ [java] Path Solving Time: 4.037147
+ [java] Path Solving Time: 1.591366
+ [java] 1588127916536 Original Encoding Solving Time: 0.296868
+ [java] 1588127916536 Original Encoding Incremental Solving Time: 0.103508
+ [java] 1588127916553 Original Encoding Solving Time: 0.176521
+ [java] 1588127916553 Original Encoding Incremental Solving Time: 0.033359
+ [java] 1588127916563 Original Encoding Solving Time: 0.345383
+ [java] 1588127916563 Original Encoding Incremental Solving Time: 0.021561
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 3.706322
+ [java] Path Solving Time: 1.642053
+ [java] 1588127916586 Original Encoding Solving Time: 1.530888
+ [java] 1588127916586 Original Encoding Incremental Solving Time: 0.24032
+ [java] 1588127916605 Original Encoding Solving Time: 0.232051
+ [java] 1588127916605 Original Encoding Incremental Solving Time: 0.032995
+ [java] 1588127916614 Original Encoding Solving Time: 0.161114
+ [java] 1588127916614 Original Encoding Incremental Solving Time: 0.012704
+ [java] Path Solving Time: 3.525931
+ [java] Path Solving Time: 1.33092
+ [java] 1588127916634 Original Encoding Solving Time: 0.440146
+ [java] 1588127916634 Original Encoding Incremental Solving Time: 0.097314
+ [java] 1588127916648 Original Encoding Solving Time: 0.211187
+ [java] 1588127916648 Original Encoding Incremental Solving Time: 0.036221
+ [java] 1588127916658 Original Encoding Solving Time: 0.163774
+ [java] 1588127916658 Original Encoding Incremental Solving Time: 0.013653
+ [java] Path Solving Time: 3.492912
+ [java] Path Solving Time: 0.877779
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127916678 Original Encoding Solving Time: 0.426211
+ [java] 1588127916678 Original Encoding Incremental Solving Time: 0.173941
+ [java] 1588127916693 Original Encoding Solving Time: 0.312698
+ [java] 1588127916693 Original Encoding Incremental Solving Time: 0.061452
+ [java] 1588127916704 Original Encoding Solving Time: 0.18261
+ [java] 1588127916704 Original Encoding Incremental Solving Time: 0.027571
+ [java] Path Solving Time: 11.60795
+ [java] Path Solving Time: 7.345043
+ [java] Path Solving Time: 0.616186
+ [java] Path Solving Time: 0.520728
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 57.22055
+ [java] 1588127916797 Original Encoding Solving Time: 0.361764
+ [java] 1588127916797 Original Encoding Incremental Solving Time: 0.20426
+ [java] 1588127916811 Original Encoding Solving Time: 0.867832
+ [java] 1588127916811 Original Encoding Incremental Solving Time: 0.035789
+ [java] 1588127916819 Original Encoding Solving Time: 0.164326
+ [java] 1588127916819 Original Encoding Incremental Solving Time: 0.013874
+ [java] Path Solving Time: 32.075132
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 24.235346
+ [java] Path Solving Time: 32.084835
+ [java] 1588127916924 Original Encoding Solving Time: 0.414024
+ [java] 1588127916924 Original Encoding Incremental Solving Time: 0.08664
+ [java] 1588127916937 Original Encoding Solving Time: 0.208338
+ [java] 1588127916937 Original Encoding Incremental Solving Time: 0.024289
+ [java] 1588127916946 Original Encoding Solving Time: 0.159563
+ [java] 1588127916946 Original Encoding Incremental Solving Time: 0.010355
+ [java] Path Solving Time: 7.098544
+ [java] Path Solving Time: 4.134961
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127916973 Original Encoding Solving Time: 0.356681
+ [java] 1588127916973 Original Encoding Incremental Solving Time: 0.115556
+ [java] 1588127916987 Original Encoding Solving Time: 0.613218
+ [java] 1588127916987 Original Encoding Incremental Solving Time: 0.032312
+ [java] 1588127916998 Original Encoding Solving Time: 0.208198
+ [java] 1588127916998 Original Encoding Incremental Solving Time: 0.021781
+ [java] Path Solving Time: 10.343532
+ [java] Path Solving Time: 5.658338
+ [java] 1588127917031 Original Encoding Solving Time: 0.617369
+ [java] 1588127917031 Original Encoding Incremental Solving Time: 0.122025
+ [java] 1588127917047 Original Encoding Solving Time: 0.244951
+ [java] 1588127917047 Original Encoding Incremental Solving Time: 0.126415
+ [java] 1588127917058 Original Encoding Solving Time: 0.152314
+ [java] 1588127917058 Original Encoding Incremental Solving Time: 0.011897
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 21.278694
+ [java] Path Solving Time: 29.498922
+ [java] Path Solving Time: 1.8981
+ [java] 1588127917128 Original Encoding Solving Time: 0.436396
+ [java] 1588127917128 Original Encoding Incremental Solving Time: 0.131224
+ [java] 1588127917142 Original Encoding Solving Time: 0.310469
+ [java] 1588127917142 Original Encoding Incremental Solving Time: 0.036223
+ [java] 1588127917152 Original Encoding Solving Time: 0.175074
+ [java] 1588127917152 Original Encoding Incremental Solving Time: 0.014247
+ [java] Path Solving Time: 15.309443
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [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.000881
+ [java] 1588127917187 Original Encoding Solving Time: 0.498121
+ [java] 1588127917187 Original Encoding Incremental Solving Time: 7.60456
+ [java] 1588127917211 Original Encoding Solving Time: 0.253091
+ [java] 1588127917211 Original Encoding Incremental Solving Time: 0.026956
+ [java] 1588127917221 Original Encoding Solving Time: 0.154795
+ [java] 1588127917221 Original Encoding Incremental Solving Time: 0.012381
+ [java] Path Solving Time: 4.368019
+ [java] Path Solving Time: 2.908877
+ [java] 1588127917248 Original Encoding Solving Time: 0.413911
+ [java] 1588127917248 Original Encoding Incremental Solving Time: 3.052505
+ [java] 1588127917270 Original Encoding Solving Time: 0.32976
+ [java] 1588127917270 Original Encoding Incremental Solving Time: 0.034599
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127917283 Original Encoding Solving Time: 0.18988
+ [java] 1588127917283 Original Encoding Incremental Solving Time: 0.016291
+ [java] Path Solving Time: 4.174521
+ [java] Path Solving Time: 2.405216
+ [java] 1588127917307 Original Encoding Solving Time: 0.510338
+ [java] 1588127917307 Original Encoding Incremental Solving Time: 0.176421
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127917446 Original Encoding Solving Time: 0.298713
+ [java] 1588127917446 Original Encoding Incremental Solving Time: 0.018602
+ [java] 1588127917454 Original Encoding Solving Time: 0.167386
+ [java] 1588127917454 Original Encoding Incremental Solving Time: 0.015712
+ [java] Path Solving Time: 2.221454
+ [java] Path Solving Time: 1.987093
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127917477 Original Encoding Solving Time: 0.336224
+ [java] 1588127917477 Original Encoding Incremental Solving Time: 0.1252
+ [java] 1588127917496 Original Encoding Solving Time: 0.233782
+ [java] 1588127917496 Original Encoding Incremental Solving Time: 0.030979
+ [java] 1588127917506 Original Encoding Solving Time: 0.630198
+ [java] 1588127917506 Original Encoding Incremental Solving Time: 0.010411
+ [java] Path Solving Time: 2.376823
+ [java] Path Solving Time: 1.264651
+ [java] 1588127917529 Original Encoding Solving Time: 0.360706
+ [java] 1588127917529 Original Encoding Incremental Solving Time: 0.77079
+ [java] 1588127917548 Original Encoding Solving Time: 0.21434
+ [java] 1588127917548 Original Encoding Incremental Solving Time: 0.024536
+ [java] 1588127917560 Original Encoding Solving Time: 0.173781
+ [java] 1588127917560 Original Encoding Incremental Solving Time: 0.012884
+ [java] Path Solving Time: 3.228534
+ [java] Path Solving Time: 1.948954
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127917584 Original Encoding Solving Time: 0.40409
+ [java] 1588127917584 Original Encoding Incremental Solving Time: 0.097792
+ [java] 1588127917601 Original Encoding Solving Time: 0.195147
+ [java] 1588127917601 Original Encoding Incremental Solving Time: 0.028574
+ [java] 1588127917611 Original Encoding Solving Time: 0.171728
+ [java] 1588127917611 Original Encoding Incremental Solving Time: 0.008898
+ [java] Path Solving Time: 2.255296
+ [java] Path Solving Time: 1.953289
+ [java] 1588127917635 Original Encoding Solving Time: 0.540542
+ [java] 1588127917635 Original Encoding Incremental Solving Time: 0.191542
+ [java] 1588127917655 Original Encoding Solving Time: 0.222627
+ [java] 1588127917655 Original Encoding Incremental Solving Time: 0.051311
+ [java] 1588127917667 Original Encoding Solving Time: 0.186747
+ [java] 1588127917667 Original Encoding Incremental Solving Time: 0.011598
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 19.352984
+ [java] Path Solving Time: 2.290151
+ [java] 1588127917708 Original Encoding Solving Time: 0.497365
+ [java] 1588127917708 Original Encoding Incremental Solving Time: 0.10603
+ [java] 1588127917723 Original Encoding Solving Time: 0.208893
+ [java] 1588127917723 Original Encoding Incremental Solving Time: 0.020681
+ [java] 1588127917731 Original Encoding Solving Time: 0.156257
+ [java] 1588127917731 Original Encoding Incremental Solving Time: 0.025646
+ [java] Path Solving Time: 3.61262
+ [java] Path Solving Time: 1.284649
+ [java] 1588127917755 Original Encoding Solving Time: 1.693252
+ [java] 1588127917755 Original Encoding Incremental Solving Time: 0.188202
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127917774 Original Encoding Solving Time: 0.190847
+ [java] 1588127917774 Original Encoding Incremental Solving Time: 0.024239
+ [java] 1588127917785 Original Encoding Solving Time: 0.191446
+ [java] 1588127917785 Original Encoding Incremental Solving Time: 0.011766
+ [java] Path Solving Time: 4.468817
+ [java] Path Solving Time: 2.220028
+ [java] 1588127917811 Original Encoding Solving Time: 0.750894
+ [java] 1588127917811 Original Encoding Incremental Solving Time: 0.198453
+ [java] 1588127917827 Original Encoding Solving Time: 0.268756
+ [java] 1588127917827 Original Encoding Incremental Solving Time: 0.023106
+ [java] 1588127917836 Original Encoding Solving Time: 0.171402
+ [java] 1588127917836 Original Encoding Incremental Solving Time: 0.009542
+ [java] Path Solving Time: 2.74916
+ [java] Path Solving Time: 1.276098
+ [java] 1588127917863 Original Encoding Solving Time: 0.40158
+ [java] 1588127917863 Original Encoding Incremental Solving Time: 0.813251
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127917878 Original Encoding Solving Time: 0.264957
+ [java] 1588127917878 Original Encoding Incremental Solving Time: 0.04226
+ [java] 1588127917888 Original Encoding Solving Time: 0.313528
+ [java] 1588127917888 Original Encoding Incremental Solving Time: 0.014501
+ [java] Path Solving Time: 2.743088
+ [java] Path Solving Time: 1.413722
+ [java] 1588127917916 Original Encoding Solving Time: 0.539239
+ [java] 1588127917916 Original Encoding Incremental Solving Time: 0.151909
+ [java] 1588127917935 Original Encoding Solving Time: 0.252201
+ [java] 1588127917935 Original Encoding Incremental Solving Time: 0.062615
+ [java] 1588127917946 Original Encoding Solving Time: 0.177742
+ [java] 1588127917946 Original Encoding Incremental Solving Time: 0.014183
+ [java] Path Solving Time: 4.76683
+ [java] Path Solving Time: 1.569715
+ [java] 1588127917972 Original Encoding Solving Time: 0.470085
+ [java] 1588127917972 Original Encoding Incremental Solving Time: 1.73839
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127917987 Original Encoding Solving Time: 0.288771
+ [java] 1588127917987 Original Encoding Incremental Solving Time: 0.028392
+ [java] 1588127917996 Original Encoding Solving Time: 0.17599
+ [java] 1588127917996 Original Encoding Incremental Solving Time: 0.023452
+ [java] 1588127918004 Original Encoding Solving Time: 0.164303
+ [java] 1588127918004 Original Encoding Incremental Solving Time: 0.016027
+ [java] 1588127918015 Original Encoding Solving Time: 3.716438
+ [java] serializing ...
+ [java] {BooleanLogic<0x7ff734a18f30>: OR
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a0e590>: OR
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a0ea90>: OR
+ [java] {BooleanPredicate<0x7ff734a188b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff7347458f0>: 180}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734a0ef70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7347458f0>: 180}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a08550>: OR
+ [java] {BooleanPredicate<0x7ff734a0eee0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7349b1b50>:{Set(1)<0x7ff7343eb070>:Members: 181, } 0x7ff7349b1b50 UNASSIGNED }{ElementConst<0x7ff7342491a0>: 181}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7344758b0>: OR
+ [java] {BooleanPredicate<0x7ff734a20460>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 182}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7343eb520>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 182}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a0b120>: OR
+ [java] {BooleanLogic<0x7ff7343f14a0>: NOT
+ [java] {BooleanPredicate<0x7ff734a0eee0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7349b1b50>:{Set(1)<0x7ff7343eb070>:Members: 181, } 0x7ff7349b1b50 UNASSIGNED }{ElementConst<0x7ff7342491a0>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7343d3c30>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0a9a0>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0ab90>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0ac70>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0ad50>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0ae30>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0af10>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0aff0>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a28c40>: OR
+ [java] {BooleanLogic<0x7ff734a265e0>: NOT
+ [java] {BooleanPredicate<0x7ff734a0eee0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7349b1b50>:{Set(1)<0x7ff7343eb070>:Members: 181, } 0x7ff7349b1b50 UNASSIGNED }{ElementConst<0x7ff7342491a0>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0b210>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a285d0>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a286b0>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a28790>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a28870>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a28950>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a28a30>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a28b10>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a332d0>: OR
+ [java] {BooleanLogic<0x7ff734a31020>: NOT
+ [java] {BooleanPredicate<0x7ff734a0eee0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7349b1b50>:{Set(1)<0x7ff7343eb070>:Members: 181, } 0x7ff7349b1b50 UNASSIGNED }{ElementConst<0x7ff7342491a0>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a0ab20>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a32c60>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a32d40>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a32e20>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a32f00>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a32fe0>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {Boolean1588127918015 Original Encoding Incremental Solving Time: 0.035183
+ [java] Path Solving Time: 2.654151
+ [java] Path Solving Time: 1.344622
+ [java] 1588127918040 Original Encoding Solving Time: 0.814158
+ [java] 1588127918040 Original Encoding Incremental Solving Time: 0.153446
+ [java] 1588127918056 Original Encoding Solving Time: 0.209733
+ [java] 1588127918056 Original Encoding Incremental Solving Time: 0.030814
+ [java] 1588127918067 Original Encoding Solving Time: 0.197043
+ [java] 1588127918067 Original Encoding Incremental Solving Time: 0.027882
+ [java] 1588127918076 Original Encoding Solving Time: 0.198522
+ [java] 1588127918076 Original Encoding Incremental Solving Time: 0.02323
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127918085 Original Encoding Solving Time: 0.176266
+ [java] 1588127918085 Original Encoding Incremental Solving Time: 0.020345
+ [java] Path Solving Time: 2.681238
+ [java] Path Solving Time: 1.61903
+ [java] 1588127918108 Original Encoding Solving Time: 0.39455
+ [java] 1588127918108 Original Encoding Incremental Solving Time: 0.148942
+ [java] 1588127918123 Original Encoding Solving Time: 1.303536
+ [java] 1588127918123 Original Encoding Incremental Solving Time: 0.030389
+ [java] 1588127918132 Original Encoding Solving Time: 0.200666
+ [java] 1588127918132 Original Encoding Incremental Solving Time: 0.020173
+ [java] 1588127918140 Original Encoding Solving Time: 0.17301
+ [java] 1588127918140 Original Encoding Incremental Solving Time: 0.025309
+ [java] 1588127918147 Original Encoding Solving Time: 0.841269
+ [java] 1588127918147 Original Encoding Incremental Solving Time: 0.018049
+ [java] Path Solving Time: 2.244239
+ [java] Path Solving Time: 1.544528
+ [java] 1588127918170 Original Encoding Solving Time: 0.686062
+ [java] 1588127918170 Original Encoding Incremental Solving Time: 0.586222
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127918184 Original Encoding Solving Time: 0.212082
+ [java] 1588127918184 Original Encoding Incremental Solving Time: 0.020071
+ [java] 1588127918195 Original Encoding Solving Time: 2.950548
+ [java] Logic<0x7ff734a330c0>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a331a0>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a35dc0>: OR
+ [java] {BooleanLogic<0x7ff734a33490>: NOT
+ [java] {BooleanPredicate<0x7ff734a0eee0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7349b1b50>:{Set(1)<0x7ff7343eb070>:Members: 181, } 0x7ff7349b1b50 UNASSIGNED }{ElementConst<0x7ff7342491a0>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a334e0>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a35750>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7349a4be0>:Members: 178, 182, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a35830>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a35910>: NOT
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7347548a0>:Members: 179, 180, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a359f0>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a35ad0>: NOT
+ [java] {BooleanPredicate<0x7ff734475970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff734754980>:Members: 179, 180, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a35bb0>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a35c90>: NOT
+ [java] {BooleanPredicate<0x7ff7343f7e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff7343e3380>:Members: 178, 182, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff7349b1620>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7ff7343fab50>: OR
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff7347548a0>:Members: 196, 200, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7343f13c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a516f0>:{Set(1)<0x7ff73473ab70>:Members: 196, 200, } 0x7ff734a516f0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a0e590>: OR
+ [java] {BooleanPredicate<0x7ff734a058e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7349a4be0>:Members: 197, 198, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734a285b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 197, 198, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a32f70>: OR
+ [java] {BooleanPredicate<0x7ff7349fc450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7349a4be0>:Members: 197, 198, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734742f10>: 198}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734a35a60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 197, 198, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734742f10>: 198}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a28fa0>: OR
+ [java] {BooleanPredicate<0x7ff734a2f1b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff734754980>:Members: 199, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff734a0e670>: 199}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a28d10>: OR
+ [java] {BooleanPredicate<0x7ff734a236d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff7347548a0>:Members: 196, 200, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7349bb3b0>: 200}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734a0ef70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a516f0>:{Set(1)<0x7ff73473ab70>:Members: 196, 200, } 0x7ff734a516f0 UNASSIGNED }{ElementConst<0x7ff7349bb3b0>: 200}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a4b6c0>: OR
+ [java] {BooleanLogic<0x7ff7343f1270>: NOT
+ [java] {BooleanPredicate<0x7ff734a2f1b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff734754980>:Members: 199, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff734a0e670>: 199}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734236820>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff7347548a0>:Members: 196, 200, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a18bd0>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff7347548a0>:Members: 196, 200, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a18f30>: NOT
+ [java] {BooleanPredicate<0x7ff734a058e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7349a4be0>:Members: 197, 198, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a20b00>: NOT
+ [java] {BooleanPredicate<0x7ff734a058e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7349a4be0>:Members: 197, 198, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a2fbf0>: NOT
+ [java] {BooleanPredicate<0x7ff734a285b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 197, 198, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a4b3d0>: NOT
+ [java] {BooleanPredicate<0x7ff734a285b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 197, 198, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a4b4b0>: NOT
+ [java] {BooleanPredicate<0x7ff7343f13c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a516f0>:{Set(1)<0x7ff73473ab70>:Members: 196, 200, } 0x7ff734a516f0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a4b590>: NOT
+ [java] {BooleanPredicate<0x7ff7343f13c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a516f0>:{Set(1)<0x7ff73473ab70>:Members: 196, 200, } 0x7ff734a516f0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a3e360>: OR
+ [java] {BooleanLogic<0x7ff734a4bb90>: NOT
+ [java] {BooleanPredicate<0x7ff734a2f1b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a29030>:{Set(1)<0x7ff734754980>:Members: 199, } 0x7ff734a29030 UNASSIGNED }{ElementConst<0x7ff734a0e670>: 199}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a4b7b0>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff7347548a0>:Members: 196, 200, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a50bf0>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734229ec0>:{Set(1)<0x7ff7347548a0>:Members: 196, 200, } 0x7ff734229ec0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a50b10>: NOT
+ [java] {BooleanPredicate<0x7ff734a058e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7349a4be0>:Members: 197, 198, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a2f400>: NOT
+ [java] {BooleanPredicate<0x7ff734a058e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff7349a4be0>:Members: 197, 198, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic1588127918195 Original Encoding Incremental Solving Time: 0.031687
+ [java] 1588127918203 Original Encoding Solving Time: 0.187399
+ [java] 1588127918203 Original Encoding Incremental Solving Time: 0.023077
+ [java] 1588127918211 Original Encoding Solving Time: 1.470465
+ [java] 1588127918211 Original Encoding Incremental Solving Time: 0.029089
+ [java] Path Solving Time: 2.411581
+ [java] Path Solving Time: 1.499986
+ [java] 1588127918235 Original Encoding Solving Time: 1.893145
+ [java] 1588127918235 Original Encoding Incremental Solving Time: 3.791512
+ [java] 1588127918252 Original Encoding Solving Time: 0.467621
+ [java] 1588127918252 Original Encoding Incremental Solving Time: 0.021201
+ [java] 1588127918260 Original Encoding Solving Time: 0.169398
+ [java] 1588127918260 Original Encoding Incremental Solving Time: 0.021005
+ [java] 1588127918267 Original Encoding Solving Time: 0.174569
+ [java] 1588127918267 Original Encoding Incremental Solving Time: 0.01468
+ [java] 1588127918275 Original Encoding Solving Time: 0.831979
+ [java] 1588127918275 Original Encoding Incremental Solving Time: 0.015649
+ [java] Path Solving Time: 2.552789
+ [java] Path Solving Time: 1.17211
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127918300 Original Encoding Solving Time: 0.484668
+ [java] 1588127918300 Original Encoding Incremental Solving Time: 0.115964
+ [java] 1588127918316 Original Encoding Solving Time: 0.198276
+ [java] 1588127918316 Original Encoding Incremental Solving Time: 0.023136
+ [java] 1588127918325 Original Encoding Solving Time: 0.172797
+ [java] 1588127918325 Original Encoding Incremental Solving Time: 0.018555
+ [java] 1588127918333 Original Encoding Solving Time: 0.181523
+ [java] 1588127918333 Original Encoding Incremental Solving Time: 0.019112
+ [java] 1588127918342 Original Encoding Solving Time: 0.165231
+ [java] 1588127918342 Original Encoding Incremental Solving Time: 0.016244
+ [java] Path Solving Time: 2.544516
+ [java] Path Solving Time: 2.441447
+ [java] 1588127918367 Original Encoding Solving Time: 0.565379
+ [java] 1588127918367 Original Encoding Incremental Solving Time: 0.508531
+ [java] 1588127918384 Original Encoding Solving Time: 0.286009
+ [java] 1588127918384 Original Encoding Incremental Solving Time: 0.028917
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127918395 Original Encoding Solving Time: 0.228766
+ [java] 1588127918395 Original Encoding Incremental Solving Time: 0.025682
+ [java] 1588127918405 Original Encoding Solving Time: 0.195443
+ [java] 1588127918405 Original Encoding Incremental Solving Time: 0.017012
+ [java] 1588127918412 Original Encoding Solving Time: 0.149438
+ [java] 1588127918412 Original Encoding Incremental Solving Time: 0.015564
+ [java] Path Solving Time: 3.230376
+ [java] Path Solving Time: 1.281131
+ [java] 1588127918438 Original Encoding Solving Time: 0.448507
+ [java] 1588127918438 Original Encoding Incremental Solving Time: 0.094162
+ [java] 1588127918450 Original Encoding Solving Time: 0.21789
+ [java] 1588127918450 Original Encoding Incremental Solving Time: 0.017694
+ [java] 1588127918459 Original Encoding Solving Time: 0.188262
+ [java] 1588127918459 Original Encoding Incremental Solving Time: 0.018561
+ [java] 1588127918466 Original Encoding Solving Time: 0.155012
+ [java] 1588127918466 Original Encoding Incremental Solving Time: 0.01549
+ [java] 1588127918473 Original Encoding Solving Time: 0.154703
+ [java] 1588127918473 Original Encoding Incremental Solving Time: 0.016312
+ [java] Path Solving Time: 3.266766
+ [java] Path Solving Time: 1.135569
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127918496 Original Encoding Solving Time: 0.422069
+ [java] 1588127918496 Original Encoding Incremental Solving Time: 0.107549
+ [java] 1588127918509 Original Encoding Solving Time: 0.861852
+ [java] 1588127918509 Original Encoding Incremental Solving Time: 0.020353
+ [java] 1588127918517 Original Encoding Solving Time: 0.204907
+ [java] 1588127918517 Original Encoding Incremental Solving Time: 0.019003
+ [java] 1588127918524 Original Encoding Solving Time: 0.169761
+ [java] 1588127918524 Original Encoding Incremental Solving Time: 0.022389
+ [java] 1588127918532 Original Encoding Solving Time: 0.156681
+ [java] 1588127918532 Original Encoding Incremental Solving Time: 0.016393
+ [java] Path Solving Time: 2.245031
+ [java] Path Solving Time: 1.313623
+ [java] 1588127918554 Original Encoding Solving Time: 0.332439
+ [java] 1588127918554 Original Encoding Incremental Solving Time: 0.106567
+ [java] 1588127918567 Original Encoding Solving Time: 0.403336
+ [java] 1588127918567 Original Encoding Incremental Solving Time: 0.031279
+ [java] 1588127918577 Original Encoding Solving Time: 0.171496
+ [java] 1588127918577 Original Encoding Incremental Solving Time: 0.040173
+ [java] 1588127918584 Original Encoding Solving Time: 0.17677
+ [java] 1588127918584 Original Encoding Incremental Solving Time: 0.03307
+ [java] 1588127918591 Original Encoding Solving Time: 0.16343
+ [java] 1588127918591 Original Encoding Incremental Solving Time: 0.014269
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 4.205009
+ [java] Path Solving Time: 1.079631
+ [java] 1588127918615 Original Encoding Solving Time: 0.323106
+ [java] 1588127918615 Original Encoding Incremental Solving Time: 0.077903
+ [java] 1588127918627 Original Encoding Solving Time: 0.176982
+ [java] 1588127918627 Original Encoding Incremental Solving Time: 0.017591
+ [java] 1588127918634 Original Encoding Solving Time: 0.345907
+ [java] 1588127918634 Original Encoding Incremental Solving Time: 0.017828
+ [java] 1588127918641 Original Encoding Solving Time: 0.179847
+ [java] 1588127918641 Original Encoding Incremental Solving Time: 0.013275
+ [java] 1588127918648 Original Encoding Solving Time: 0.158382
+ [java] 1588127918648 Original Encoding Incremental Solving Time: 0.022337
+ [java] Path Solving Time: 3.454452
+ [java] Path Solving Time: 0.323599
+ [java] 1588127918670 Original Encoding Solving Time: 0.329551
+ [java] 1588127918670 Original Encoding Incremental Solving Time: 0.099077
+ [java] 1588127918684 Original Encoding Solving Time: 0.182873
+ [java] 1588127918684 Original Encoding Incremental Solving Time: 0.035465
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127918692 Original Encoding Solving Time: 0.183077
+ [java] 1588127918692 Original Encoding Incremental Solving Time: 0.039555
+ [java] Path Solving Time: 3.758225
+ [java] Path Solving Time: 0.345109
+ [java] 1588127918715 Original Encoding Solving Time: 0.382762
+ [java] 1588127918715 Original Encoding Incremental Solving Time: 3.763713
+ [java] 1588127918732 Original Encoding Solving Time: 0.168257
+ [java] 1588127918732 Original Encoding Incremental Solving Time: 0.014138
+ [java] 1588127918740 Original Encoding Solving Time: 0.134957
+ [java] 1588127918740 Original Encoding Incremental Solving Time: 0.010289
+ [java] Path Solving Time: 1.763036
+ [java] Path Solving Time: 0.332432
+ [java] 1588127918761 Original Encoding Solving Time: 0.40945
+ [java] 1588127918761 Original Encoding Incremental Solving Time: 1.731902
+ [java] 1588127918777 Original Encoding Solving Time: 0.191671
+ [java] 1588127918777 Original Encoding Incremental Solving Time: 0.021739
+ [java] 1588127918785 Original Encoding Solving Time: 0.141257
+ [java] 1588127918785 Original Encoding Incremental Solving Time: 0.010742
+ [java] Path Solving Time: 1.728787
+ [java] Path Solving Time: 0.324444
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127918806 Original Encoding Solving Time: 0.383346
+ [java] 1588127918806 Original Encoding Incremental Solving Time: 0.443967
+ [java] 1588127918823 Original Encoding Solving Time: 0.440019
+ [java] 1588127918823 Original Encoding Incremental Solving Time: 0.034733
+ [java] 1588127918836 Original Encoding Solving Time: 0.223698
+ [java] 1588127918836 Original Encoding Incremental Solving Time: 0.020209
+ [java] Path Solving Time: 2.820671
+ [java] Path Solving Time: 0.661254
+ [java] 1588127918860 Original Encoding Solving Time: 0.577713
+ [java] 1588127918860 Original Encoding Incremental Solving Time: 0.180039
+ [java] 1588127918876 Original Encoding Solving Time: 0.693737
+ [java] 1588127918876 Original Encoding Incremental Solving Time: 0.024384
+ [java] 1588127918887 Original Encoding Solving Time: 2.187505
+ [java] <0x7ff734a3e7c0>: NOT
+ [java] {BooleanPredicate<0x7ff734a285b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 197, 198, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a3e6e0>: NOT
+ [java] {BooleanPredicate<0x7ff734a285b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 197, 198, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 197}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a3e620>: NOT
+ [java] {BooleanPredicate<0x7ff7343f13c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a516f0>:{Set(1)<0x7ff73473ab70>:Members: 196, 200, } 0x7ff734a516f0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a3e590>: NOT
+ [java] {BooleanPredicate<0x7ff7343f13c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a516f0>:{Set(1)<0x7ff73473ab70>:Members: 196, 200, } 0x7ff734a516f0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 196}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7ff734aaa620>: OR
+ [java] {BooleanPredicate<0x7ff734aa2f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff734a60e60>:Members: 272, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae1590>:{Set(1)<0x7ff73473ab70>:Members: 272, 278, } 0x7ff734ae1590 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a6eb00>: OR
+ [java] {BooleanPredicate<0x7ff734a79da0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 273, 274, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734aa9fb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734abc0e0>:{Set(1)<0x7ff734a050f0>:Members: 273, 274, } 0x7ff734abc0e0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734aaf050>: OR
+ [java] {BooleanPredicate<0x7ff734aaa230>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 273, 274, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff734742f10>: 274}
+ [java] }
+ [java] {BooleanPredicate<0x7ff734aaa070>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734abc0e0>:{Set(1)<0x7ff734a050f0>:Members: 273, 274, } 0x7ff734abc0e0 UNASSIGNED }{ElementConst<0x7ff734742f10>: 274}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734ad36c0>: OR
+ [java] {BooleanPredicate<0x7ff734adaf60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a97df0>:{Set(1)<0x7ff734ab8f70>:Members: 275, } 0x7ff734a97df0 UNASSIGNED }{ElementConst<0x7ff73499c040>: 275}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a749e0>: OR
+ [java] {BooleanPredicate<0x7ff734adb6d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae47b0>:{Set(1)<0x7ff734754980>:Members: 276, } 0x7ff734ae47b0 UNASSIGNED }{ElementConst<0x7ff7349bb3b0>: 276}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734adb0d0>: OR
+ [java] {BooleanPredicate<0x7ff734a83b50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae12d0>:{Set(1)<0x7ff7344cc830>:Members: 277, } 0x7ff734ae12d0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 277}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734a8d430>: OR
+ [java] {BooleanPredicate<0x7ff734a79be0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae1590>:{Set(1)<0x7ff73473ab70>:Members: 272, 278, } 0x7ff734ae1590 UNASSIGNED }{ElementConst<0x7ff734452eb0>: 278}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734ae96f0>: OR
+ [java] {BooleanLogic<0x7ff734ab92c0>: NOT
+ [java] {BooleanPredicate<0x7ff734aa2f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff734a60e60>:Members: 272, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734a9c0c0>: NOT
+ [java] {BooleanPredicate<0x7ff734a79da0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 273, 274, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae3a80>: NOT
+ [java] {BooleanPredicate<0x7ff734a79da0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 273, 274, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae39a0>: NOT
+ [java] {BooleanPredicate<0x7ff734aa9fb0>:
+ [java] Predicat1588127918887 Original Encoding Incremental Solving Time: 0.020339
+ [java] Path Solving Time: 2.688773
+ [java] Path Solving Time: 0.525465
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588127918910 Original Encoding Solving Time: 0.421263
+ [java] 1588127918910 Original Encoding Incremental Solving Time: 1.137985
+ [java] 1588127918928 Original Encoding Solving Time: 0.377442
+ [java] 1588127918928 Original Encoding Incremental Solving Time: 0.023739
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 10
+ [java] Sketch Generation Time: 581.6704890000003
+ [java] Sketch Completion Time: 1196.553031
+ [java] Compilation Time: 1512.7300429999996
+ [java] Running Test cases Time: 25.360827000000008
+ [java] Synthesis Time: 1803.5843470000002
+ [java] Total Time: 3316.3143899999995
+ [java] Number of components: 4
+ [java] Number of holes: 7
+ [java] Number of completed programs: 162
+ [java] Number of sketches: 47
+ [java] Solution:
+ [java] java.awt.Shape sypet_var282 = sypet_arg0;
+ [java] java.awt.geom.AffineTransform sypet_var283 = java.awt.geom.AffineTransform.getScaleInstance(sypet_arg1,sypet_arg2);
+ [java] java.awt.geom.Path2D.Double sypet_var284 = new java.awt.geom.Path2D.Double(sypet_var282,sypet_var283);
+ [java] java.awt.geom.Rectangle2D sypet_var285 = sypet_var284.getBounds2D();
+ [java] return sypet_var285;
+ [java]
+ [java] ============================
+ [java] eOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734abc0e0>:{Set(1)<0x7ff734a050f0>:Members: 273, 274, } 0x7ff734abc0e0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae0e50>: NOT
+ [java] {BooleanPredicate<0x7ff734aa9fb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734abc0e0>:{Set(1)<0x7ff734a050f0>:Members: 273, 274, } 0x7ff734abc0e0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae0dc0>: NOT
+ [java] {BooleanPredicate<0x7ff734adaf60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a97df0>:{Set(1)<0x7ff734ab8f70>:Members: 275, } 0x7ff734a97df0 UNASSIGNED }{ElementConst<0x7ff73499c040>: 275}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae9370>: NOT
+ [java] {BooleanPredicate<0x7ff734adb6d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae47b0>:{Set(1)<0x7ff734754980>:Members: 276, } 0x7ff734ae47b0 UNASSIGNED }{ElementConst<0x7ff7349bb3b0>: 276}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae9450>: NOT
+ [java] {BooleanPredicate<0x7ff734a83b50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae12d0>:{Set(1)<0x7ff7344cc830>:Members: 277, } 0x7ff734ae12d0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 277}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae9530>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae1590>:{Set(1)<0x7ff73473ab70>:Members: 272, 278, } 0x7ff734ae1590 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae9610>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae1590>:{Set(1)<0x7ff73473ab70>:Members: 272, 278, } 0x7ff734ae1590 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff734aecca0>: OR
+ [java] {BooleanLogic<0x7ff734ae4470>: NOT
+ [java] {BooleanPredicate<0x7ff734aa2f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7347585a0>:{Set(1)<0x7ff734a60e60>:Members: 272, } 0x7ff7347585a0 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae9bd0>: NOT
+ [java] {BooleanPredicate<0x7ff734a79da0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 273, 274, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae97f0>: NOT
+ [java] {BooleanPredicate<0x7ff734a79da0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734743660>:{Set(1)<0x7ff7343eb070>:Members: 273, 274, } 0x7ff734743660 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734aec4f0>: NOT
+ [java] {BooleanPredicate<0x7ff734aa9fb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734abc0e0>:{Set(1)<0x7ff734a050f0>:Members: 273, 274, } 0x7ff734abc0e0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734aec5d0>: NOT
+ [java] {BooleanPredicate<0x7ff734aa9fb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734abc0e0>:{Set(1)<0x7ff734a050f0>:Members: 273, 274, } 0x7ff734abc0e0 UNASSIGNED }{ElementConst<0x7ff7344580a0>: 273}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734ae40f0>: NOT
+ [java] {BooleanPredicate<0x7ff734adaf60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734a97df0>:{Set(1)<0x7ff734ab8f70>:Members: 275, } 0x7ff734a97df0 UNASSIGNED }{ElementConst<0x7ff73499c040>: 275}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734aec8c0>: NOT
+ [java] {BooleanPredicate<0x7ff734adb6d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae47b0>:{Set(1)<0x7ff734754980>:Members: 276, } 0x7ff734ae47b0 UNASSIGNED }{ElementConst<0x7ff7349bb3b0>: 276}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734aec9a0>: NOT
+ [java] {BooleanPredicate<0x7ff734a83b50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae12d0>:{Set(1)<0x7ff7344cc830>:Members: 277, } 0x7ff734ae12d0 UNASSIGNED }{ElementConst<0x7ff734750ad0>: 277}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734aeca80>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae1590>:{Set(1)<0x7ff73473ab70>:Members: 272, 278, } 0x7ff734ae1590 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff734aecb60>: NOT
+ [java] {BooleanPredicate<0x7ff7349d4bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff734ae1590>:{Set(1)<0x7ff73473ab70>:Members: 272, 278, } 0x7ff734ae1590 UNASSIGNED }{ElementConst<0x7ff734a937d0>: 272}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 7 seconds