--- /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/14/benchmark14.json
+ [java] Benchmark Id: 14
+ [java] Method name: translate
+ [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: 3049.620132
+ [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: 23.36532
+ [java] Path Solving Time: 5.684363
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.319853
+ [java] Path Solving Time: 0.974611
+ [java] 1588127947412 Original Encoding Solving Time: 0.637206
+ [java] 1588127947412 Original Encoding Incremental Solving Time: 0.211427
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127947684 Original Encoding Solving Time: 0.319672
+ [java] 1588127947684 Original Encoding Incremental Solving Time: 0.042091
+ [java] 1588127947705 Original Encoding Solving Time: 0.352132
+ [java] 1588127947705 Original Encoding Incremental Solving Time: 0.031296
+ [java] Path Solving Time: 4.990121
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.71276
+ [java] Path Solving Time: 1.648692
+ [java] 1588127948119 Original Encoding Solving Time: 0.797043
+ [java] 1588127948119 Original Encoding Incremental Solving Time: 0.191766
+ [java] 1588127948157 Original Encoding Solving Time: 0.235231
+ [java] 1588127948157 Original Encoding Incremental Solving Time: 0.066711
+ [java] 1588127948182 Original Encoding Solving Time: 0.41101
+ [java] 1588127948182 Original Encoding Incremental Solving Time: 0.028885
+ [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: 5.11273
+ [java] Path Solving Time: 1.321803
+ [java] 1588127948205 Original Encoding Solving Time: 0.730237
+ [java] 1588127948205 Original Encoding Incremental Solving Time: 0.178842
+ [java] 1588127948238 Original Encoding Solving Time: 0.28153
+ [java] 1588127948238 Original Encoding Incremental Solving Time: 0.07852
+ [java] 1588127948261 Original Encoding Solving Time: 0.254069
+ [java] 1588127948261 Original Encoding Incremental Solving Time: 0.035401
+ [java] Path Solving Time: 14.911469
+ [java] Path Solving Time: 2.485415
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127948296 Original Encoding Solving Time: 0.753428
+ [java] 1588127948296 Original Encoding Incremental Solving Time: 0.287586
+ [java] 1588127948330 Original Encoding Solving Time: 0.278348
+ [java] 1588127948330 Original Encoding Incremental Solving Time: 0.087513
+ [java] 1588127948350 Original Encoding Solving Time: 0.240207
+ [java] 1588127948350 Original Encoding Incremental Solving Time: 0.02825
+ [java] Path Solving Time: 11.652938
+ [java] Path Solving Time: 2.143648
+ [java] 1588127948380 Original Encoding Solving Time: 0.629921
+ [java] 1588127948380 Original Encoding Incremental Solving Time: 0.240543
+ [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] 1588127948404 Original Encoding Solving Time: 0.37317
+ [java] 1588127948404 Original Encoding Incremental Solving Time: 0.045443
+ [java] 1588127948416 Original Encoding Solving Time: 0.188455
+ [java] 1588127948416 Original Encoding Incremental Solving Time: 0.017993
+ [java] Path Solving Time: 4.946685
+ [java] Path Solving Time: 1.756397
+ [java] 1588127948440 Original Encoding Solving Time: 1.287467
+ [java] 1588127948440 Original Encoding Incremental Solving Time: 0.155871
+ [java] 1588127948466 Original Encoding Solving Time: 0.314904
+ [java] 1588127948466 Original Encoding Incremental Solving Time: 0.053445
+ [java] 1588127948483 Original Encoding Solving Time: 0.250937
+ [java] 1588127948483 Original Encoding Incremental Solving Time: 0.057043
+ [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: 6.55739
+ [java] Path Solving Time: 2.109234
+ [java] 1588127948508 Original Encoding Solving Time: 0.586431
+ [java] 1588127948508 Original Encoding Incremental Solving Time: 0.247912
+ [java] 1588127948535 Original Encoding Solving Time: 1.730194
+ [java] 1588127948535 Original Encoding Incremental Solving Time: 0.05778
+ [java] 1588127948551 Original Encoding Solving Time: 0.274826
+ [java] 1588127948551 Original Encoding Incremental Solving Time: 0.032911
+ [java] Path Solving Time: 6.608997
+ [java] Path Solving Time: 2.26976
+ [java] 1588127948577 Original Encoding Solving Time: 1.190437
+ [java] 1588127948577 Original Encoding Incremental Solving Time: 0.346872
+ [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] 1588127948602 Original Encoding Solving Time: 0.30174
+ [java] 1588127948602 Original Encoding Incremental Solving Time: 0.074256
+ [java] 1588127948621 Original Encoding Solving Time: 0.218834
+ [java] 1588127948621 Original Encoding Incremental Solving Time: 0.029826
+ [java] Path Solving Time: 5.183789
+ [java] Path Solving Time: 2.032481
+ [java] 1588127948644 Original Encoding Solving Time: 0.625092
+ [java] 1588127948644 Original Encoding Incremental Solving Time: 0.258671
+ [java] 1588127948668 Original Encoding Solving Time: 0.289739
+ [java] 1588127948668 Original Encoding Incremental Solving Time: 0.062118
+ [java] 1588127948682 Original Encoding Solving Time: 0.21246
+ [java] 1588127948682 Original Encoding Incremental Solving Time: 0.117208
+ [java] Path Solving Time: 4.228414
+ [java] Path Solving Time: 1.453753
+ [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] 1588127948703 Original Encoding Solving Time: 0.363151
+ [java] 1588127948703 Original Encoding Incremental Solving Time: 0.11238
+ [java] 1588127948722 Original Encoding Solving Time: 0.277753
+ [java] 1588127948722 Original Encoding Incremental Solving Time: 0.04645
+ [java] 1588127948736 Original Encoding Solving Time: 0.212947
+ [java] 1588127948736 Original Encoding Incremental Solving Time: 0.018325
+ [java] Path Solving Time: 4.314179
+ [java] Path Solving Time: 1.382227
+ [java] 1588127948759 Original Encoding Solving Time: 1.132551
+ [java] 1588127948759 Original Encoding Incremental Solving Time: 0.132411
+ [java] 1588127948779 Original Encoding Solving Time: 0.314441
+ [java] 1588127948779 Original Encoding Incremental Solving Time: 0.043673
+ [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] 1588127948793 Original Encoding Solving Time: 0.200349
+ [java] 1588127948793 Original Encoding Incremental Solving Time: 0.017754
+ [java] Path Solving Time: 3.926818
+ [java] Path Solving Time: 1.732462
+ [java] 1588127948814 Original Encoding Solving Time: 0.401393
+ [java] 1588127948814 Original Encoding Incremental Solving Time: 0.690198
+ [java] 1588127948831 Original Encoding Solving Time: 0.216921
+ [java] 1588127948831 Original Encoding Incremental Solving Time: 0.043752
+ [java] 1588127948841 Original Encoding Solving Time: 0.18511
+ [java] 1588127948841 Original Encoding Incremental Solving Time: 0.027811
+ [java] Path Solving Time: 3.705882
+ [java] Path Solving Time: 1.313996
+ [java] 1588127948861 Original Encoding Solving Time: 0.360942
+ [java] 1588127948861 Original Encoding Incremental Solving Time: 0.167486
+ [java] 1588127948876 Original Encoding Solving Time: 0.314251
+ [java] 1588127948876 Original Encoding Incremental Solving Time: 0.053094
+ [java] 1588127948887 Original Encoding Solving Time: 0.169474
+ [java] 1588127948887 Original Encoding Incremental Solving Time: 0.026787
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 12.830591
+ [java] Path Solving Time: 7.667353
+ [java] Path Solving Time: 0.615451
+ [java] Path Solving Time: 0.580593
+ [java] Path Solving Time: 56.800829
+ [java] 1588127948981 Original Encoding Solving Time: 0.306899
+ [java] 1588127948981 Original Encoding Incremental Solving Time: 0.116458
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127948994 Original Encoding Solving Time: 0.509213
+ [java] 1588127948994 Original Encoding Incremental Solving Time: 0.025876
+ [java] 1588127949003 Original Encoding Solving Time: 0.180577
+ [java] 1588127949003 Original Encoding Incremental Solving Time: 0.013715
+ [java] Path Solving Time: 31.434333
+ [java] Path Solving Time: 23.624416
+ [java] Path Solving Time: 31.76296
+ [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] 1588127949106 Original Encoding Solving Time: 0.498544
+ [java] 1588127949106 Original Encoding Incremental Solving Time: 0.08312
+ [java] 1588127949120 Original Encoding Solving Time: 0.2222
+ [java] 1588127949120 Original Encoding Incremental Solving Time: 0.028195
+ [java] 1588127949131 Original Encoding Solving Time: 1.934205
+ [java] 1588127949131 Original Encoding Incremental Solving Time: 0.014973
+ [java] Path Solving Time: 6.987557
+ [java] Path Solving Time: 4.06869
+ [java] 1588127949158 Original Encoding Solving Time: 0.433009
+ [java] 1588127949158 Original Encoding Incremental Solving Time: 0.878346
+ [java] 1588127949174 Original Encoding Solving Time: 0.632225
+ [java] 1588127949174 Original Encoding Incremental Solving Time: 0.038231
+ [java] 1588127949187 Original Encoding Solving Time: 3.408299
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb2ac4a6ee0>: OR
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac4874a0>:Members: 88, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495ac0>:{Set(1)<0x7fb2ac98d1d0>:Members: 88, 93, } 0x7fb2ac495ac0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac381910>: OR
+ [java] {BooleanPredicate<0x7fb2ac9a8e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac77e930>:Members: 89, 90, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac9b3e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac98d750>:{Set(1)<0x7fb2ac77ea10>:Members: 89, 90, } 0x7fb2ac98d750 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac98ebb0>: OR
+ [java] {BooleanPredicate<0x7fb2ac771ff0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac77e930>:Members: 89, 90, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 90}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac381270>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac98d750>:{Set(1)<0x7fb2ac77ea10>:Members: 89, 90, } 0x7fb2ac98d750 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 90}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac778720>: OR
+ [java] {BooleanPredicate<0x7fb2ac4a7180>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9c8320>:{Set(1)<0x7fb2ac9a0e50>:Members: 92, } 0x7fb2ac9c8320 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 92}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac37a080>: OR
+ [java] {BooleanPredicate<0x7fb2ac495d40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495ac0>:{Set(1)<0x7fb2ac98d1d0>:Members: 88, 93, } 0x7fb2ac495ac0 UNASSIGNED }{ElementConst<0x7fb2ac787fd0>: 93}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac495250>: OR
+ [java] {BooleanLogic<0x7fb2ac38e160>: NOT
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac4874a0>:Members: 88, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac38e2b0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9a8e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac77e930>:Members: 89, 90, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac38e390>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9a8e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac77e930>:Members: 89, 90, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac38e470>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9b3e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac98d750>:{Set(1)<0x7fb2ac77ea10>:Members: 89, 90, } 0x7fb2ac98d750 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac38e660>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9b3e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac98d750>:{Set(1)<0x7fb2ac77ea10>:Members: 89, 90, } 0x7fb2ac98d750 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac38e740>: NOT
+ [java] {BooleanPredicate<0x7fb2ac4a7180>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9c8320>:{Set(1)<0x7fb2ac9a0e50>:Members: 92, } 0x7fb2ac9c8320 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 92}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac37c0f0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495ac0>:{Set(1)<0x7fb2ac98d1d0>:Members: 88, 93, } 0x7fb2ac495ac0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac4952c0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495ac0>:{Set(1)<0x7fb2ac98d1d0>:Members: 88, 93, } 0x7fb2ac495ac0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac497de0>: OR
+ [java] {BooleanLogic<0x7fb2ac498f30>: NOT
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac4874a0>:Members: 88, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac37c240>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9a8e30>:
+ [java] Predica1588127949187 Original Encoding Incremental Solving Time: 0.019219
+ [java] Path Solving Time: 7.183155
+ [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] Done with finding holes : Flag = false
+ [java] Path Solving Time: 6.540839
+ [java] 1588127949219 Original Encoding Solving Time: 0.620153
+ [java] 1588127949219 Original Encoding Incremental Solving Time: 0.322413
+ [java] 1588127949238 Original Encoding Solving Time: 0.247969
+ [java] 1588127949238 Original Encoding Incremental Solving Time: 0.064549
+ [java] 1588127949252 Original Encoding Solving Time: 0.201174
+ [java] 1588127949252 Original Encoding Incremental Solving Time: 0.008198
+ [java] Path Solving Time: 18.503995
+ [java] Path Solving Time: 28.511899
+ [java] Path Solving Time: 1.839914
+ [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] 1588127949318 Original Encoding Solving Time: 0.477827
+ [java] 1588127949318 Original Encoding Incremental Solving Time: 0.099527
+ [java] 1588127949331 Original Encoding Solving Time: 0.233613
+ [java] 1588127949331 Original Encoding Incremental Solving Time: 0.02333
+ [java] 1588127949340 Original Encoding Solving Time: 0.204701
+ [java] 1588127949340 Original Encoding Incremental Solving Time: 0.008744
+ [java] Path Solving Time: 12.637824
+ [java] Path Solving Time: 1.737107
+ [java] 1588127949371 Original Encoding Solving Time: 0.38839
+ [java] 1588127949371 Original Encoding Incremental Solving Time: 0.093048
+ [java] 1588127949386 Original Encoding Solving Time: 0.193837
+ [java] 1588127949386 Original Encoding Incremental Solving Time: 0.027003
+ [java] 1588127949400 Original Encoding Solving Time: 0.200632
+ [java] 1588127949400 Original Encoding Incremental Solving Time: 0.011143
+ [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: 4.588813
+ [java] Path Solving Time: 2.363587
+ [java] 1588127949424 Original Encoding Solving Time: 0.419736
+ [java] 1588127949424 Original Encoding Incremental Solving Time: 0.104045
+ [java] 1588127949444 Original Encoding Solving Time: 0.982511
+ [java] 1588127949444 Original Encoding Incremental Solving Time: 0.032982
+ [java] 1588127949456 Original Encoding Solving Time: 0.195649
+ [java] 1588127949456 Original Encoding Incremental Solving Time: 0.012115
+ [java] Path Solving Time: 5.002206
+ [java] Path Solving Time: 3.389871
+ [java] 1588127949481 Original Encoding Solving Time: 0.415873
+ [java] 1588127949481 Original Encoding Incremental Solving Time: 0.109923
+ [java] 1588127949500 Original Encoding Solving Time: 0.217742
+ [java] 1588127949500 Original Encoding Incremental Solving Time: 0.024786
+ [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] 1588127949512 Original Encoding Solving Time: 0.19479
+ [java] 1588127949512 Original Encoding Incremental Solving Time: 0.01149
+ [java] Path Solving Time: 3.906143
+ [java] Path Solving Time: 2.173753
+ [java] 1588127949535 Original Encoding Solving Time: 0.399812
+ [java] 1588127949535 Original Encoding Incremental Solving Time: 0.098166
+ [java] 1588127949555 Original Encoding Solving Time: 0.240766
+ [java] 1588127949555 Original Encoding Incremental Solving Time: 0.025466
+ [java] 1588127949698 Original Encoding Solving Time: 0.161233
+ [java] 1588127949698 Original Encoding Incremental Solving Time: 0.011464
+ [java] Path Solving Time: 1.595969
+ [java] Path Solving Time: 2.547101
+ [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] 1588127949722 Original Encoding Solving Time: 0.589207
+ [java] 1588127949722 Original Encoding Incremental Solving Time: 0.202902
+ [java] 1588127949742 Original Encoding Solving Time: 0.197011
+ [java] 1588127949742 Original Encoding Incremental Solving Time: 0.024224
+ [java] 1588127949754 Original Encoding Solving Time: 0.206633
+ [java] 1588127949754 Original Encoding Incremental Solving Time: 0.011372
+ [java] Path Solving Time: 3.350464
+ [java] Path Solving Time: 2.277559
+ [java] 1588127949779 Original Encoding Solving Time: 0.496458
+ [java] 1588127949779 Original Encoding Incremental Solving Time: 0.21067
+ [java] 1588127949799 Original Encoding Solving Time: 0.237439
+ [java] 1588127949799 Original Encoding Incremental Solving Time: 0.025571
+ [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] 1588127949812 Original Encoding Solving Time: 0.213622
+ [java] 1588127949812 Original Encoding Incremental Solving Time: 0.013023
+ [java] Path Solving Time: 3.506619
+ [java] Path Solving Time: 2.343189
+ [java] 1588127949837 Original Encoding Solving Time: 0.662269
+ [java] 1588127949837 Original Encoding Incremental Solving Time: 1.526948
+ [java] 1588127949857 Original Encoding Solving Time: 0.21585
+ [java] 1588127949857 Original Encoding Incremental Solving Time: 0.027216
+ [java] 1588127949869 Original Encoding Solving Time: 0.158235
+ [java] 1588127949869 Original Encoding Incremental Solving Time: 0.008692
+ [java] Path Solving Time: 12.090976
+ [java] Path Solving Time: 1.684665
+ [java] 1588127949902 Original Encoding Solving Time: 0.510641
+ [java] 1588127949902 Original Encoding Incremental Solving Time: 0.113707
+ [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] 1588127949919 Original Encoding Solving Time: 0.226955
+ [java] 1588127949919 Original Encoding Incremental Solving Time: 0.022233
+ [java] 1588127949931 Original Encoding Solving Time: 0.186188
+ [java] 1588127949931 Original Encoding Incremental Solving Time: 0.041061
+ [java] Path Solving Time: 3.702587
+ [java] Path Solving Time: 1.25886
+ [java] 1588127949955 Original Encoding Solving Time: 0.521491
+ [java] 1588127949955 Original Encoding Incremental Solving Time: 0.104982
+ [java] 1588127949973 Original Encoding Solving Time: 0.225326
+ [java] 1588127949973 Original Encoding Incremental Solving Time: 0.026058
+ [java] 1588127949985 Original Encoding Solving Time: 0.194729
+ [java] 1588127949985 Original Encoding Incremental Solving Time: 0.01042
+ [java] Path Solving Time: 2.910399
+ [java] Path Solving Time: 1.362622
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127950009 Original Encoding Solving Time: 0.381116
+ [java] 1588127950009 Original Encoding Incremental Solving Time: 0.111828
+ [java] 1588127950027 Original Encoding Solving Time: 2.248338
+ [java] teOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac77e930>:Members: 89, 90, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac249050>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9a8e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac77e930>:Members: 89, 90, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac249130>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9b3e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac98d750>:{Set(1)<0x7fb2ac77ea10>:Members: 89, 90, } 0x7fb2ac98d750 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac495680>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9b3e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac98d750>:{Set(1)<0x7fb2ac77ea10>:Members: 89, 90, } 0x7fb2ac98d750 UNASSIGNED }{ElementConst<0x7fb2ac7875b0>: 89}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac497af0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac4a7180>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9c8320>:{Set(1)<0x7fb2ac9a0e50>:Members: 92, } 0x7fb2ac9c8320 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 92}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac497bd0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495ac0>:{Set(1)<0x7fb2ac98d1d0>:Members: 88, 93, } 0x7fb2ac495ac0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac497cb0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495ac0>:{Set(1)<0x7fb2ac98d1d0>:Members: 88, 93, } 0x7fb2ac495ac0 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 88}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb2ac9e3910>: OR
+ [java] {BooleanPredicate<0x7fb2ac497ad0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac4bf5d0>:{Set(1)<0x7fb2ac9a0e50>:Members: 160, } 0x7fb2ac4bf5d0 UNASSIGNED }{ElementConst<0x7fb2ac787fd0>: 160}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac9b3d30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9e3960>:{Set(1)<0x7fb2ac38e750>:Members: 160, 164, } 0x7fb2ac9e3960 UNASSIGNED }{ElementConst<0x7fb2ac787fd0>: 160}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac39cbe0>: OR
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 161, 162, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 161}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 161, 162, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 161}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac9ceb20>: OR
+ [java] {BooleanPredicate<0x7fb2ac9a8e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 161, 162, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 162}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac0cb9f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 161, 162, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 162}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac39ee80>: OR
+ [java] {BooleanPredicate<0x7fb2ac4c42e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 163, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 163}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac4b6860>: OR
+ [java] {BooleanPredicate<0x7fb2ac9d3bd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9e3960>:{Set(1)<0x7fb2ac38e750>:Members: 160, 164, } 0x7fb2ac9e3960 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 164}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac9dbab0>: OR
+ [java] {BooleanLogic<0x7fb2ac4b39e0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac497ad0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac4bf5d0>:{Set(1)<0x7fb2ac9a0e50>:Members: 160, } 0x7fb2ac4bf5d0 UNASSIGNED }{ElementConst<0x7fb2ac787fd0>: 160}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac4b3ac0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac4c42e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 163, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac977b00>: 163}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9e5ff0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members:1588127950027 Original Encoding Incremental Solving Time: 0.054722
+ [java] 1588127950040 Original Encoding Solving Time: 0.195074
+ [java] 1588127950040 Original Encoding Incremental Solving Time: 0.02554
+ [java] Path Solving Time: 4.12741
+ [java] Path Solving Time: 2.710111
+ [java] 1588127950066 Original Encoding Solving Time: 0.614615
+ [java] 1588127950066 Original Encoding Incremental Solving Time: 0.226316
+ [java] 1588127950085 Original Encoding Solving Time: 0.217943
+ [java] 1588127950085 Original Encoding Incremental Solving Time: 0.061262
+ [java] 1588127950096 Original Encoding Solving Time: 0.236582
+ [java] 1588127950096 Original Encoding Incremental Solving Time: 0.014691
+ [java] Path Solving Time: 3.336272
+ [java] Path Solving Time: 2.726115
+ [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] 1588127950122 Original Encoding Solving Time: 0.467381
+ [java] 1588127950122 Original Encoding Incremental Solving Time: 0.181054
+ [java] 1588127950143 Original Encoding Solving Time: 1.332371
+ [java] 1588127950143 Original Encoding Incremental Solving Time: 0.048589
+ [java] 1588127950152 Original Encoding Solving Time: 0.170207
+ [java] 1588127950152 Original Encoding Incremental Solving Time: 0.012824
+ [java] Path Solving Time: 4.612581
+ [java] Path Solving Time: 1.643049
+ [java] 1588127950177 Original Encoding Solving Time: 0.473756
+ [java] 1588127950177 Original Encoding Incremental Solving Time: 0.69739
+ [java] 1588127950195 Original Encoding Solving Time: 0.912382
+ [java] 1588127950195 Original Encoding Incremental Solving Time: 0.030492
+ [java] 1588127950204 Original Encoding Solving Time: 0.259845
+ [java] 1588127950204 Original Encoding Incremental Solving Time: 0.043121
+ [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] 1588127950214 Original Encoding Solving Time: 0.18418
+ [java] 1588127950214 Original Encoding Incremental Solving Time: 0.019577
+ [java] 1588127950226 Original Encoding Solving Time: 0.231494
+ [java] 1588127950226 Original Encoding Incremental Solving Time: 0.031613
+ [java] Path Solving Time: 3.169745
+ [java] Path Solving Time: 1.370094
+ [java] 1588127950250 Original Encoding Solving Time: 0.609006
+ [java] 1588127950250 Original Encoding Incremental Solving Time: 0.114658
+ [java] 1588127950266 Original Encoding Solving Time: 0.229714
+ [java] 1588127950266 Original Encoding Incremental Solving Time: 0.036434
+ [java] 1588127950276 Original Encoding Solving Time: 0.203835
+ [java] 1588127950276 Original Encoding Incremental Solving Time: 0.030151
+ [java] 1588127950285 Original Encoding Solving Time: 0.176443
+ [java] 1588127950285 Original Encoding Incremental Solving Time: 0.021258
+ [java] 1588127950294 Original Encoding Solving Time: 0.187248
+ [java] 1588127950294 Original Encoding Incremental Solving Time: 0.025428
+ [java] Path Solving Time: 2.72235
+ [java] Path Solving Time: 1.654435
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127950319 Original Encoding Solving Time: 2.301782
+ [java] 1588127950319 Original Encoding Incremental Solving Time: 2.567319
+ [java] 1588127950338 Original Encoding Solving Time: 0.189499
+ [java] 1588127950338 Original Encoding Incremental Solving Time: 0.032663
+ [java] 1588127950348 Original Encoding Solving Time: 0.202219
+ [java] 1588127950348 Original Encoding Incremental Solving Time: 0.034201
+ [java] 1588127950357 Original Encoding Solving Time: 0.304983
+ [java] 1588127950357 Original Encoding Incremental Solving Time: 0.026548
+ [java] 1588127950364 Original Encoding Solving Time: 0.176904
+ [java] 1588127950364 Original Encoding Incremental Solving Time: 0.030529
+ [java] Path Solving Time: 2.524889
+ [java] Path Solving Time: 1.873689
+ [java] 1588127950388 Original Encoding Solving Time: 0.451191
+ [java] 1588127950388 Original Encoding Incremental Solving Time: 0.134602
+ [java] 1588127950404 Original Encoding Solving Time: 0.197847
+ [java] 1588127950404 Original Encoding Incremental Solving Time: 0.027394
+ [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] 1588127950414 Original Encoding Solving Time: 0.229772
+ [java] 1588127950414 Original Encoding Incremental Solving Time: 0.041235
+ [java] 1588127950425 Original Encoding Solving Time: 0.191877
+ [java] 1588127950425 Original Encoding Incremental Solving Time: 0.021579
+ [java] 1588127950436 Original Encoding Solving Time: 0.213168
+ [java] 1588127950436 Original Encoding Incremental Solving Time: 0.026717
+ [java] Path Solving Time: 2.933004
+ [java] Path Solving Time: 1.533557
+ [java] 1588127950459 Original Encoding Solving Time: 0.60485
+ [java] 1588127950459 Original Encoding Incremental Solving Time: 0.209093
+ [java] 1588127950475 Original Encoding Solving Time: 0.300101
+ [java] 1588127950475 Original Encoding Incremental Solving Time: 0.023931
+ [java] 1588127950484 Original Encoding Solving Time: 0.290655
+ [java] 1588127950484 Original Encoding Incremental Solving Time: 0.032106
+ [java] 1588127950492 Original Encoding Solving Time: 0.187295
+ [java] 1588127950492 Original Encoding Incremental Solving Time: 0.015959
+ [java] 1588127950501 Original Encoding Solving Time: 0.210647
+ [java] 1588127950501 Original Encoding Incremental Solving Time: 0.022255
+ [java] Path Solving Time: 2.912131
+ [java] Path Solving Time: 1.138931
+ [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] 1588127950523 Original Encoding Solving Time: 0.437211
+ [java] 1588127950523 Original Encoding Incremental Solving Time: 0.094844
+ [java] 1588127950538 Original Encoding Solving Time: 0.180447
+ [java] 1588127950538 Original Encoding Incremental Solving Time: 0.021485
+ [java] 1588127950548 Original Encoding Solving Time: 0.156054
+ [java] 1588127950548 Original Encoding Incremental Solving Time: 0.018738
+ [java] 1588127950555 Original Encoding Solving Time: 0.170655
+ [java] 1588127950555 Original Encoding Incremental Solving Time: 0.023717
+ [java] 1588127950563 Original Encoding Solving Time: 0.205972
+ [java] 1588127950563 Original Encoding Incremental Solving Time: 0.027207
+ [java] Path Solving Time: 3.502636
+ [java] Path Solving Time: 1.868869
+ [java] 1588127950588 Original Encoding Solving Time: 0.468895
+ [java] 1588127950588 Original Encoding Incremental Solving Time: 0.496242
+ [java] 1588127950601 Original Encoding Solving Time: 0.183951
+ [java] 1588127950601 Original Encoding Incremental Solving Time: 0.015577
+ [java] 1588127950610 Original Encoding Solving Time: 0.178732
+ [java] 1588127950610 Original Encoding Incremental Solving Time: 0.01657
+ [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] Renaming procedure ...
+ [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] 1588127950619 Original Encoding Solving Time: 1.742182
+ [java] 1588127950619 Original Encoding Incremental Solving Time: 0.020345
+ [java] 1588127950626 Original Encoding Solving Time: 0.18495
+ [java] 1588127950626 Original Encoding Incremental Solving Time: 0.016105
+ [java] Path Solving Time: 3.221011
+ [java] Path Solving Time: 1.213701
+ [java] 1588127950649 Original Encoding Solving Time: 0.343376
+ [java] 1588127950649 Original Encoding Incremental Solving Time: 0.110434
+ [java] 1588127950663 Original Encoding Solving Time: 2.321706
+ [java] 161, 162, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 161}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9e5f10>: NOT
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 161, 162, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 161}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9e5e30>: NOT
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 161, 162, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 161}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9e5d50>: NOT
+ [java] {BooleanPredicate<0x7fb2ac99cd30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 161, 162, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 161}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9d3cb0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9b3d30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9e3960>:{Set(1)<0x7fb2ac38e750>:Members: 160, 164, } 0x7fb2ac9e3960 UNASSIGNED }{ElementConst<0x7fb2ac787fd0>: 160}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9d45f0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac9b3d30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac9e3960>:{Set(1)<0x7fb2ac38e750>:Members: 160, 164, } 0x7fb2ac9e3960 UNASSIGNED }{ElementConst<0x7fb2ac787fd0>: 160}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb2ac9f5dd0>: OR
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 190, 194, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac98ca30>: 190}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac0cbc40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2aca17b60>:{Set(1)<0x7fb2ac4874a0>:Members: 190, 194, } 0x7fb2aca17b60 UNASSIGNED }{ElementConst<0x7fb2ac98ca30>: 190}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac244ff0>: OR
+ [java] {BooleanPredicate<0x7fb2ac4bc680>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 191, 192, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac9b5c80>: 191}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac9cc0e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac4bf5d0>:{Set(1)<0x7fb2ac9a0e50>:Members: 191, 192, } 0x7fb2ac4bf5d0 UNASSIGNED }{ElementConst<0x7fb2ac9b5c80>: 191}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2aca148a0>: OR
+ [java] {BooleanPredicate<0x7fb2ac9db9f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 191, 192, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac77bf00>: 192}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac9d0fd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac4bf5d0>:{Set(1)<0x7fb2ac9a0e50>:Members: 191, 192, } 0x7fb2ac4bf5d0 UNASSIGNED }{ElementConst<0x7fb2ac77bf00>: 192}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac9d4060>: OR
+ [java] {BooleanPredicate<0x7fb2ac0cb9f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 193, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac4990a0>: 193}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac9ff010>: OR
+ [java] {BooleanPredicate<0x7fb2aca14810>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 190, 194, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac241940>: 194}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac9edb10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2aca17b60>:{Set(1)<0x7fb2ac4874a0>:Members: 190, 194, } 0x7fb2aca17b60 UNASSIGNED }{ElementConst<0x7fb2ac241940>: 194}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb2aca43e40>: OR
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 220, 224, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 220}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2aca14810>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2aca5d780>:{Set(1)<0x7fb2ac9ee810>:Members: 220, 224, } 0x7fb2aca5d780 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 220}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2aca34a00>: OR
+ [java] {BooleanPredicate<0x7fb2aca14910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 221, 222, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 221}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac0cbc40>:
+ [java] PredicateOperator: ==
+ [java] ele1588127950663 Original Encoding Incremental Solving Time: 0.026572
+ [java] 1588127950671 Original Encoding Solving Time: 0.163515
+ [java] 1588127950671 Original Encoding Incremental Solving Time: 0.019047
+ [java] 1588127950678 Original Encoding Solving Time: 0.173241
+ [java] 1588127950678 Original Encoding Incremental Solving Time: 0.016545
+ [java] 1588127950685 Original Encoding Solving Time: 0.146305
+ [java] 1588127950685 Original Encoding Incremental Solving Time: 0.022431
+ [java] Path Solving Time: 3.344461
+ [java] Path Solving Time: 1.031971
+ [java] 1588127950707 Original Encoding Solving Time: 0.413165
+ [java] 1588127950707 Original Encoding Incremental Solving Time: 0.089394
+ [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] Done with finding holes : Flag = true
+ [java] 1588127950720 Original Encoding Solving Time: 0.203955
+ [java] 1588127950720 Original Encoding Incremental Solving Time: 0.027375
+ [java] 1588127950727 Original Encoding Solving Time: 0.223741
+ [java] 1588127950727 Original Encoding Incremental Solving Time: 0.019454
+ [java] 1588127950734 Original Encoding Solving Time: 0.155574
+ [java] 1588127950734 Original Encoding Incremental Solving Time: 0.013217
+ [java] 1588127950741 Original Encoding Solving Time: 0.157719
+ [java] 1588127950741 Original Encoding Incremental Solving Time: 0.022218
+ [java] Path Solving Time: 2.265466
+ [java] Path Solving Time: 1.079147
+ [java] 1588127950763 Original Encoding Solving Time: 0.295649
+ [java] 1588127950763 Original Encoding Incremental Solving Time: 0.123202
+ [java] 1588127950775 Original Encoding Solving Time: 0.180441
+ [java] 1588127950775 Original Encoding Incremental Solving Time: 0.017055
+ [java] 1588127950784 Original Encoding Solving Time: 0.168673
+ [java] 1588127950784 Original Encoding Incremental Solving Time: 0.016962
+ [java] 1588127950791 Original Encoding Solving Time: 0.241415
+ [java] 1588127950791 Original Encoding Incremental Solving Time: 0.012979
+ [java] 1588127950798 Original Encoding Solving Time: 0.169852
+ [java] 1588127950798 Original Encoding Incremental Solving Time: 0.013818
+ [java] Path Solving Time: 4.351471
+ [java] Path Solving Time: 1.261168
+ [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] 1588127950822 Original Encoding Solving Time: 0.366711
+ [java] 1588127950822 Original Encoding Incremental Solving Time: 0.120886
+ [java] 1588127950835 Original Encoding Solving Time: 0.205918
+ [java] 1588127950835 Original Encoding Incremental Solving Time: 0.018241
+ [java] 1588127950844 Original Encoding Solving Time: 0.210801
+ [java] 1588127950844 Original Encoding Incremental Solving Time: 0.017721
+ [java] 1588127950852 Original Encoding Solving Time: 0.182726
+ [java] 1588127950852 Original Encoding Incremental Solving Time: 0.01967
+ [java] 1588127950859 Original Encoding Solving Time: 0.209118
+ [java] 1588127950859 Original Encoding Incremental Solving Time: 0.01452
+ [java] Path Solving Time: 3.588353
+ [java] Path Solving Time: 0.434041
+ [java] 1588127950882 Original Encoding Solving Time: 0.37873
+ [java] 1588127950882 Original Encoding Incremental Solving Time: 0.202217
+ [java] 1588127950901 Original Encoding Solving Time: 0.235793
+ [java] 1588127950901 Original Encoding Incremental Solving Time: 0.032157
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 14
+ [java] Sketch Generation Time: 573.020203
+ [java] Sketch Completion Time: 924.0651419999999
+ [java] Compilation Time: 1666.816615
+ [java] Running Test cases Time: 24.686924000000012
+ [java] Synthesis Time: 1521.7722689999998
+ [java] Total Time: 3188.588884
+ [java] Number of components: 4
+ [java] Number of holes: 7
+ [java] Number of completed programs: 147
+ [java] Number of sketches: 42
+ [java] Solution:
+ [java] java.awt.Shape sypet_var247 = sypet_arg0;
+ [java] java.awt.geom.AffineTransform sypet_var248 = java.awt.geom.AffineTransform.getTranslateInstance(sypet_arg1,sypet_arg2);
+ [java] java.awt.geom.Path2D.Double sypet_var249 = new java.awt.geom.Path2D.Double(sypet_var247,sypet_var248);
+ [java] java.awt.geom.Rectangle2D sypet_var250 = sypet_var249.getBounds2D();
+ [java] return sypet_var250;
+ [java]
+ [java] ============================
+ [java] ments:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 221, 222, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 221}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2aca4d5b0>: OR
+ [java] {BooleanPredicate<0x7fb2ac9edb10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 221, 222, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 222}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2aca34920>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 221, 222, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac7720d0>: 222}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2ac221340>: OR
+ [java] {BooleanPredicate<0x7fb2aca3e2a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac4bf5d0>:{Set(1)<0x7fb2ac9a0e50>:Members: 223, } 0x7fb2ac4bf5d0 UNASSIGNED }{ElementConst<0x7fb2ac9fe4d0>: 223}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2aca40e50>: OR
+ [java] {BooleanPredicate<0x7fb2aca1f3d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 220, 224, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac98ca30>: 224}
+ [java] }
+ [java] {BooleanPredicate<0x7fb2ac9fb6d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2aca5d780>:{Set(1)<0x7fb2ac9ee810>:Members: 220, 224, } 0x7fb2aca5d780 UNASSIGNED }{ElementConst<0x7fb2ac98ca30>: 224}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb2aca50100>: OR
+ [java] {BooleanLogic<0x7fb2aca4b4a0>: NOT
+ [java] {BooleanPredicate<0x7fb2aca3e2a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac4bf5d0>:{Set(1)<0x7fb2ac9a0e50>:Members: 223, } 0x7fb2ac4bf5d0 UNASSIGNED }{ElementConst<0x7fb2ac9fe4d0>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca351b0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 220, 224, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 220}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2ac9a8e50>: NOT
+ [java] {BooleanPredicate<0x7fb2ac38bbf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac495d40>:{Set(1)<0x7fb2ac38e480>:Members: 220, 224, } 0x7fb2ac495d40 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 220}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca4d770>: NOT
+ [java] {BooleanPredicate<0x7fb2aca14910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 221, 222, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca5ceb0>: NOT
+ [java] {BooleanPredicate<0x7fb2aca14910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac998ce0>:{Set(1)<0x7fb2ac22cfd0>:Members: 221, 222, } 0x7fb2ac998ce0 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca5cc80>: NOT
+ [java] {BooleanPredicate<0x7fb2ac0cbc40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 221, 222, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca5cba0>: NOT
+ [java] {BooleanPredicate<0x7fb2ac0cbc40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2ac76cf20>:{Set(1)<0x7fb2ac4bede0>:Members: 221, 222, } 0x7fb2ac76cf20 UNASSIGNED }{ElementConst<0x7fb2ac98ec70>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca5a460>: NOT
+ [java] {BooleanPredicate<0x7fb2aca14810>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2aca5d780>:{Set(1)<0x7fb2ac9ee810>:Members: 220, 224, } 0x7fb2aca5d780 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 220}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb2aca40f50>: NOT
+ [java] {BooleanPredicate<0x7fb2aca14810>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb2aca5d780>:{Set(1)<0x7fb2ac9ee810>:Members: 220, 224, } 0x7fb2aca5d780 UNASSIGNED }{ElementConst<0x7fb2ac98eab0>: 220}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] Done with finding holes : Flag = true
+
+BUILD SUCCESSFUL
+Total time: 7 seconds