--- /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: 3203.993514
+ [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] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.819339
+ [java] Path Solving Time: 5.14872
+ [java] Path Solving Time: 16.733346
+ [java] Path Solving Time: 0.929063
+ [java] 1588133881558 Original Encoding Solving Time: 0.783302
+ [java] 1588133881558 Original Encoding Incremental Solving Time: 0.207342
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133881841 Original Encoding Solving Time: 0.361178
+ [java] 1588133881841 Original Encoding Incremental Solving Time: 0.066706
+ [java] 1588133881856 Original Encoding Solving Time: 0.329171
+ [java] 1588133881856 Original Encoding Incremental Solving Time: 0.022093
+ [java] Path Solving Time: 3.608522
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.620353
+ [java] Path Solving Time: 1.31908
+ [java] 1588133882262 Original Encoding Solving Time: 0.543766
+ [java] 1588133882262 Original Encoding Incremental Solving Time: 0.172917
+ [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] 1588133882291 Original Encoding Solving Time: 0.36018
+ [java] 1588133882291 Original Encoding Incremental Solving Time: 0.048308
+ [java] 1588133882307 Original Encoding Solving Time: 0.190206
+ [java] 1588133882307 Original Encoding Incremental Solving Time: 0.021535
+ [java] Path Solving Time: 4.565149
+ [java] Path Solving Time: 1.23524
+ [java] 1588133882329 Original Encoding Solving Time: 0.484807
+ [java] 1588133882329 Original Encoding Incremental Solving Time: 0.237918
+ [java] 1588133882352 Original Encoding Solving Time: 0.364961
+ [java] 1588133882352 Original Encoding Incremental Solving Time: 0.065272
+ [java] 1588133882367 Original Encoding Solving Time: 0.230008
+ [java] 1588133882367 Original Encoding Incremental Solving Time: 0.019192
+ [java] Path Solving Time: 12.309283
+ [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: 2.341702
+ [java] 1588133882399 Original Encoding Solving Time: 1.019139
+ [java] 1588133882399 Original Encoding Incremental Solving Time: 3.617303
+ [java] 1588133882429 Original Encoding Solving Time: 0.195551
+ [java] 1588133882429 Original Encoding Incremental Solving Time: 0.046322
+ [java] 1588133882444 Original Encoding Solving Time: 0.187947
+ [java] 1588133882444 Original Encoding Incremental Solving Time: 0.020743
+ [java] Path Solving Time: 10.634147
+ [java] Path Solving Time: 1.704758
+ [java] 1588133882473 Original Encoding Solving Time: 0.476404
+ [java] 1588133882473 Original Encoding Incremental Solving Time: 0.181066
+ [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] 1588133882495 Original Encoding Solving Time: 0.45398
+ [java] 1588133882495 Original Encoding Incremental Solving Time: 0.043621
+ [java] 1588133882508 Original Encoding Solving Time: 0.19935
+ [java] 1588133882508 Original Encoding Incremental Solving Time: 0.018508
+ [java] Path Solving Time: 4.983898
+ [java] Path Solving Time: 1.701297
+ [java] 1588133882532 Original Encoding Solving Time: 0.863227
+ [java] 1588133882532 Original Encoding Incremental Solving Time: 0.140229
+ [java] 1588133882552 Original Encoding Solving Time: 0.261467
+ [java] 1588133882552 Original Encoding Incremental Solving Time: 0.043049
+ [java] 1588133882564 Original Encoding Solving Time: 0.208988
+ [java] 1588133882564 Original Encoding Incremental Solving Time: 0.016526
+ [java] Path Solving Time: 4.485509
+ [java] Path Solving Time: 1.961883
+ [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] 1588133882588 Original Encoding Solving Time: 0.457507
+ [java] 1588133882588 Original Encoding Incremental Solving Time: 6.420854
+ [java] 1588133882614 Original Encoding Solving Time: 0.227732
+ [java] 1588133882614 Original Encoding Incremental Solving Time: 0.039215
+ [java] 1588133882625 Original Encoding Solving Time: 0.202435
+ [java] 1588133882625 Original Encoding Incremental Solving Time: 0.017258
+ [java] Path Solving Time: 4.282812
+ [java] Path Solving Time: 1.723493
+ [java] 1588133882648 Original Encoding Solving Time: 0.528696
+ [java] 1588133882648 Original Encoding Incremental Solving Time: 0.179451
+ [java] 1588133882670 Original Encoding Solving Time: 0.250209
+ [java] 1588133882670 Original Encoding Incremental Solving Time: 0.056517
+ [java] 1588133882685 Original Encoding Solving Time: 0.197446
+ [java] 1588133882685 Original Encoding Incremental Solving Time: 0.016832
+ [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.256314
+ [java] Path Solving Time: 1.621081
+ [java] 1588133882707 Original Encoding Solving Time: 0.539621
+ [java] 1588133882707 Original Encoding Incremental Solving Time: 1.383294
+ [java] 1588133882731 Original Encoding Solving Time: 0.46998
+ [java] 1588133882731 Original Encoding Incremental Solving Time: 0.065651
+ [java] 1588133882743 Original Encoding Solving Time: 0.19566
+ [java] 1588133882743 Original Encoding Incremental Solving Time: 0.025756
+ [java] Path Solving Time: 4.078343
+ [java] Path Solving Time: 1.987058
+ [java] 1588133882767 Original Encoding Solving Time: 0.476277
+ [java] 1588133882767 Original Encoding Incremental Solving Time: 0.207964
+ [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] 1588133882789 Original Encoding Solving Time: 0.429507
+ [java] 1588133882789 Original Encoding Incremental Solving Time: 0.062269
+ [java] 1588133882801 Original Encoding Solving Time: 0.169331
+ [java] 1588133882801 Original Encoding Incremental Solving Time: 0.014839
+ [java] Path Solving Time: 3.778389
+ [java] Path Solving Time: 1.62908
+ [java] 1588133882823 Original Encoding Solving Time: 1.027596
+ [java] 1588133882823 Original Encoding Incremental Solving Time: 3.566355
+ [java] 1588133882846 Original Encoding Solving Time: 0.31768
+ [java] 1588133882846 Original Encoding Incremental Solving Time: 0.052241
+ [java] 1588133882861 Original Encoding Solving Time: 0.231151
+ [java] 1588133882861 Original Encoding Incremental Solving Time: 0.018634
+ [java] Path Solving Time: 5.748997
+ [java] Path Solving Time: 2.742029
+ [java] 1588133882887 Original Encoding Solving Time: 0.628496
+ [java] 1588133882887 Original Encoding Incremental Solving Time: 1.721725
+ [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] 1588133882915 Original Encoding Solving Time: 0.26433
+ [java] 1588133882915 Original Encoding Incremental Solving Time: 0.068263
+ [java] 1588133882927 Original Encoding Solving Time: 0.417246
+ [java] 1588133882927 Original Encoding Incremental Solving Time: 0.029161
+ [java] Path Solving Time: 5.954069
+ [java] Path Solving Time: 2.484964
+ [java] 1588133882954 Original Encoding Solving Time: 0.774913
+ [java] 1588133882954 Original Encoding Incremental Solving Time: 0.641756
+ [java] 1588133882976 Original Encoding Solving Time: 0.466671
+ [java] 1588133882976 Original Encoding Incremental Solving Time: 0.074732
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133882993 Original Encoding Solving Time: 0.240623
+ [java] 1588133882993 Original Encoding Incremental Solving Time: 0.03908
+ [java] Path Solving Time: 16.004735
+ [java] Path Solving Time: 10.076618
+ [java] Path Solving Time: 0.711548
+ [java] Path Solving Time: 0.653109
+ [java] Path Solving Time: 66.308593
+ [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] 1588133883105 Original Encoding Solving Time: 0.568961
+ [java] 1588133883105 Original Encoding Incremental Solving Time: 0.177744
+ [java] 1588133883127 Original Encoding Solving Time: 4.340227
+ [java] 1588133883127 Original Encoding Incremental Solving Time: 0.063616
+ [java] 1588133883138 Original Encoding Solving Time: 0.185388
+ [java] 1588133883138 Original Encoding Incremental Solving Time: 0.020808
+ [java] Path Solving Time: 35.906372
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 25.46879
+ [java] Path Solving Time: 32.416499
+ [java] 1588133883248 Original Encoding Solving Time: 0.395869
+ [java] 1588133883248 Original Encoding Incremental Solving Time: 0.086317
+ [java] 1588133883265 Original Encoding Solving Time: 0.355029
+ [java] 1588133883265 Original Encoding Incremental Solving Time: 0.066109
+ [java] 1588133883279 Original Encoding Solving Time: 2.981841
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb8b894bb80>: OR
+ [java] {BooleanPredicate<0x7fb8b8935e70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b86f3530>:Members: 77, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b8347120>:Members: 77, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b873ca30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b824f020>:Members: 77, 81, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b844b0d0>: OR
+ [java] {BooleanPredicate<0x7fb8b894d1c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b892fe00>:Members: 78, 79, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b89031e0>: 78}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b834ec80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b894d490>:Members: 78, 79, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b89031e0>: 78}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8936c70>: OR
+ [java] {BooleanPredicate<0x7fb8b834c900>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b892fe00>:Members: 78, 79, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 79}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b834c550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b894d490>:Members: 78, 79, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 79}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8347850>: OR
+ [java] {BooleanPredicate<0x7fb8b873f060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b824f020>:Members: 77, 81, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b8936030>: 81}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b823e600>: OR
+ [java] {BooleanLogic<0x7fb8b892d700>: NOT
+ [java] {BooleanPredicate<0x7fb8b8935e70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b86f3530>:Members: 77, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b8736df0>: NOT
+ [java] {BooleanPredicate<0x7fb8b894d1c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b892fe00>:Members: 78, 79, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b89031e0>: 78}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b8932390>: NOT
+ [java] {BooleanPredicate<0x7fb8b894d1c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b892fe00>:Members: 78, 79, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b89031e0>: 78}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b823e040>: NOT
+ [java] {BooleanPredicate<0x7fb8b834ec80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b894d490>:Members: 78, 79, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b89031e0>: 78}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b823e120>: NOT
+ [java] {BooleanPredicate<0x7fb8b834ec80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b894d490>:Members: 78, 79, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b89031e0>: 78}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b823e310>: NOT
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b8347120>:Members: 77, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b823e3f0>: NOT
+ [java] {BooleanPredicate<0x7fb8b873ca30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b824f020>:Members: 77, 81, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b823e4d0>: NOT
+ [java] {BooleanPredicate<0x7fb8b873ca30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b824f020>:Members: 77, 81, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f9340>: 77}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb8b8248220>: OR
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 82, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b8742cf0>:Members: 82, 86, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b80d19c0>: OR
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 83, 84, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 83, 84, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8346f50>: OR
+ [java] {BooleanPredicate<0x7fb8b892b540>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 83, 84, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 84}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b86f9290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 83, 84, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 84}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b80dff70>: OR
+ [java] {BooleanPredicate<0x7fb8b873cba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 85, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 85}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b845a900>: OR
+ [java] {BooleanPredicate<0x7fb8b873f060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b8742cf0>:Members: 82, 86, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b8936030>: 86}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b83c19c0>: OR
+ [java] {BooleanLogic<0x7fb8b823e740>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 82, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c1240>: NOT
+ [java] {BooleanPredicate<0x7fb8b873cba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 85, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 85}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c1320>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 83, 84, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c1400>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 83, 84, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c15f0>: NOT
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 83, 84, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c16d0>: NOT
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 83, 84, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c17b0>: NOT
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b8742cf0>:Members: 82, 86, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c1890>: NOT
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b8742cf0>:Members: 82, 86, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b83c7e00>: OR
+ [java] {BooleanLogic<0x7fb8b83c1e90>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 82, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c1ab0>: NOT
+ [java] {BooleanPredicate<0x7fb8b873cba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 85, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 85}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c7870>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 83, 84, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f71588133883279 Original Encoding Incremental Solving Time: 0.015858
+ [java] Path Solving Time: 6.996886
+ [java] Path Solving Time: 4.232796
+ [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] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588133883309 Original Encoding Solving Time: 0.440473
+ [java] 1588133883309 Original Encoding Incremental Solving Time: 0.147734
+ [java] 1588133883324 Original Encoding Solving Time: 0.249377
+ [java] 1588133883324 Original Encoding Incremental Solving Time: 0.02947
+ [java] 1588133883335 Original Encoding Solving Time: 0.189799
+ [java] 1588133883335 Original Encoding Incremental Solving Time: 0.009292
+ [java] Path Solving Time: 6.948342
+ [java] Path Solving Time: 3.161384
+ [java] 1588133883367 Original Encoding Solving Time: 3.947255
+ [java] 1588133883367 Original Encoding Incremental Solving Time: 0.240726
+ [java] 1588133883387 Original Encoding Solving Time: 3.79522
+ [java] 5c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c7950>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 83, 84, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c7a30>: NOT
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 83, 84, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c7b10>: NOT
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 83, 84, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 83}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c7bf0>: NOT
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b8742cf0>:Members: 82, 86, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c7cd0>: NOT
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8249c00>:{Set(1)<0x7fb8b8742cf0>:Members: 82, 86, } 0x7fb8b8249c00 UNASSIGNED }{ElementConst<0x7fb8b87432e0>: 82}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb8b8248aa0>: OR
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 94, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b8935e70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8237360>:{Set(1)<0x7fb8b873cba0>:Members: 94, 97, } 0x7fb8b8237360 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8248220>: OR
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 95, 96, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 95, 96, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b80d5750>: OR
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 95, 96, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 96}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 95, 96, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 96}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8239330>: OR
+ [java] {BooleanPredicate<0x7fb8b892b540>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8237360>:{Set(1)<0x7fb8b873cba0>:Members: 94, 97, } 0x7fb8b8237360 UNASSIGNED }{ElementConst<0x7fb8b8936030>: 97}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8231170>: OR
+ [java] {BooleanPredicate<0x7fb8b873f060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 98, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b81f9cf0>: 98}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb8b8248aa0>: OR
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 94, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b8935e70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8237360>:{Set(1)<0x7fb8b873cba0>:Members: 94, 97, } 0x7fb8b8237360 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8248220>: OR
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 95, 96, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 95, 96, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b80d5750>: OR
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 95, 96, } 0x7fb8b891588133883387 Original Encoding Incremental Solving Time: 0.096167
+ [java] 1588133883397 Original Encoding Solving Time: 0.164812
+ [java] 1588133883397 Original Encoding Incremental Solving Time: 0.008563
+ [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] Path Solving Time: 19.068731
+ [java] Path Solving Time: 29.080921
+ [java] Path Solving Time: 1.803715
+ [java] 1588133883464 Original Encoding Solving Time: 0.515066
+ [java] 1588133883464 Original Encoding Incremental Solving Time: 0.084242
+ [java] 1588133883477 Original Encoding Solving Time: 0.201513
+ [java] 1588133883477 Original Encoding Incremental Solving Time: 0.019766
+ [java] 1588133883488 Original Encoding Solving Time: 1.127976
+ [java] 1588133883488 Original Encoding Incremental Solving Time: 0.014386
+ [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] Path Solving Time: 14.894166
+ [java] Path Solving Time: 1.790684
+ [java] 1588133883524 Original Encoding Solving Time: 0.339175
+ [java] 1588133883524 Original Encoding Incremental Solving Time: 0.107059
+ [java] 1588133883538 Original Encoding Solving Time: 0.189842
+ [java] 1588133883538 Original Encoding Incremental Solving Time: 0.017728
+ [java] 1588133883550 Original Encoding Solving Time: 0.148019
+ [java] 1588133883550 Original Encoding Incremental Solving Time: 0.008715
+ [java] Path Solving Time: 3.63639
+ [java] Path Solving Time: 1.668629
+ [java] 1588133883573 Original Encoding Solving Time: 0.318157
+ [java] 1588133883573 Original Encoding Incremental Solving Time: 0.119112
+ [java] 1588133883587 Original Encoding Solving Time: 0.200916
+ [java] 1588133883587 Original Encoding Incremental Solving Time: 0.022064
+ [java] 1588133883599 Original Encoding Solving Time: 0.788605
+ [java] 1588133883599 Original Encoding Incremental Solving Time: 0.010146
+ [java] Path Solving Time: 3.526878
+ [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: 1.77938
+ [java] 1588133883623 Original Encoding Solving Time: 0.3431
+ [java] 1588133883623 Original Encoding Incremental Solving Time: 0.086559
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133883754 Original Encoding Solving Time: 0.316762
+ [java] 1588133883754 Original Encoding Incremental Solving Time: 0.027915
+ [java] 1588133883765 Original Encoding Solving Time: 0.192216
+ [java] 1588133883765 Original Encoding Incremental Solving Time: 0.011459
+ [java] Path Solving Time: 2.325242
+ [java] Path Solving Time: 2.217146
+ [java] 1588133883791 Original Encoding Solving Time: 1.747469
+ [java] 1588133883791 Original Encoding Incremental Solving Time: 0.15993
+ [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] 1588133883812 Original Encoding Solving Time: 0.245708
+ [java] 1588133883812 Original Encoding Incremental Solving Time: 0.036363
+ [java] 1588133883826 Original Encoding Solving Time: 0.184323
+ [java] 1588133883826 Original Encoding Incremental Solving Time: 0.017653
+ [java] Path Solving Time: 2.650777
+ [java] Path Solving Time: 1.688203
+ [java] 1588133883850 Original Encoding Solving Time: 0.567607
+ [java] 1588133883850 Original Encoding Incremental Solving Time: 0.186291
+ [java] 1588133883868 Original Encoding Solving Time: 0.220209
+ [java] 1588133883868 Original Encoding Incremental Solving Time: 0.025634
+ [java] 1588133883881 Original Encoding Solving Time: 0.18452
+ [java] 1588133883881 Original Encoding Incremental Solving Time: 0.011904
+ [java] Path Solving Time: 2.629241
+ [java] Path Solving Time: 1.869292
+ [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] 1588133883907 Original Encoding Solving Time: 0.461528
+ [java] 1588133883907 Original Encoding Incremental Solving Time: 0.352838
+ [java] 1588133883927 Original Encoding Solving Time: 0.274075
+ [java] 1588133883927 Original Encoding Incremental Solving Time: 0.02553
+ [java] 1588133883939 Original Encoding Solving Time: 0.183478
+ [java] 1588133883939 Original Encoding Incremental Solving Time: 0.011008
+ [java] Path Solving Time: 3.413578
+ [java] Path Solving Time: 2.481742
+ [java] 1588133883965 Original Encoding Solving Time: 0.515142
+ [java] 1588133883965 Original Encoding Incremental Solving Time: 0.864503
+ [java] 1588133883985 Original Encoding Solving Time: 0.211459
+ [java] 1588133883985 Original Encoding Incremental Solving Time: 0.023998
+ [java] 1588133883996 Original Encoding Solving Time: 0.189032
+ [java] 1588133883996 Original Encoding Incremental Solving Time: 0.011208
+ [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] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 12.922102
+ [java] Path Solving Time: 1.443992
+ [java] 1588133884030 Original Encoding Solving Time: 0.511193
+ [java] 1588133884030 Original Encoding Incremental Solving Time: 0.13749
+ [java] 1588133884048 Original Encoding Solving Time: 0.61223
+ [java] 1588133884048 Original Encoding Incremental Solving Time: 0.033532
+ [java] 1588133884063 Original Encoding Solving Time: 3.249056
+ [java] 2b650 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 96}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b86e4980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 95, 96, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 96}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8239330>: OR
+ [java] {BooleanPredicate<0x7fb8b892b540>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8237360>:{Set(1)<0x7fb8b873cba0>:Members: 94, 97, } 0x7fb8b8237360 UNASSIGNED }{ElementConst<0x7fb8b8936030>: 97}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8231170>: OR
+ [java] {BooleanPredicate<0x7fb8b873f060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 98, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b81f9cf0>: 98}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b83c1790>: OR
+ [java] {BooleanLogic<0x7fb8b82333c0>: NOT
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 94, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b82334a0>: NOT
+ [java] {BooleanPredicate<0x7fb8b873f060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 98, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b81f9cf0>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b8233580>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 95, 96, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b8233660>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 95, 96, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b8233850>: NOT
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 95, 96, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b834ee20>: NOT
+ [java] {BooleanPredicate<0x7fb8b8953ba0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 95, 96, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83c12b0>: NOT
+ [java] {BooleanPredicate<0x7fb8b8935e70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8237360>:{Set(1)<0x7fb8b873cba0>:Members: 94, 97, } 0x7fb8b8237360 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b83ca940>: NOT
+ [java] {BooleanPredicate<0x7fb8b8935e70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8237360>:{Set(1)<0x7fb8b873cba0>:Members: 94, 97, } 0x7fb8b8237360 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 94}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb8b8969c60>: OR
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 148, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89a2b40>:{Set(1)<0x7fb8b87445a0>:Members: 148, 152, } 0x7fb8b89a2b40 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b898a940>: OR
+ [java] {BooleanPredicate<0x7fb8b834c550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 149, 150, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b86f9290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 149, 150, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b897b5a0>: OR
+ [java] {BooleanPredicate<0x7fb8b80df3e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 149, 150, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b83cb7b0>: 150}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b8970d70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 149, 150, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b83cb7b0>: 150}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b89831a0>: OR
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 151, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 151}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b896bb00>: OR
+ [java] {BooleanPredicate<0x7fb8b8992390>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89a2b40>:{Set(1)<0x7fb8b87445a0>:Members: 148, 152, } 0x7fb8b89a2b40 UNASSIGNED }{ElementConst<0x7fb8b83c7800>: 152}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b89a0380>: OR
+ [java] {BooleanLogic<0x7fb8b895eb80>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 148, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b895ec60>: NOT
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 151, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 151}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b895ed40>: NOT
+ [java] {BooleanPredicate<0x7fb8b834c550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 149, 150, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b895ee20>: NOT
+ [java] {BooleanPredicate<0x7fb8b834c550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 149, 150, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b899ffb0>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f9290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 149, 150, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a0090>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f9290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 149, 150, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a0170>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89a2b40>:{Set(1)<0x7fb8b87445a0>:Members: 148, 152, } 0x7fb8b89a2b40 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a0250>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89a2b40>:{Set(1)<0x7fb8b87445a0>:Members: 148, 152, } 0x7fb8b89a2b40 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b896be60>: OR
+ [java] {BooleanLogic<0x7fb8b8962420>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f5cf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b86f3530>:Members: 148, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a0470>: NOT
+ [java] {BooleanPredicate<0x7fb8b894bdb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b892fe00>:Members: 151, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 151}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a2300>: NOT
+ [java] {BooleanPredicate<0x7fb8b834c550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 149, 150, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a23e0>: NOT
+ [java] {BooleanPredicate<0x7fb8b834c550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b894d490>:Members: 149, 150, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a24c0>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f9290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 149, 150, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a25a0>: NOT
+ [java] {BooleanPredicate<0x7fb8b86f9290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b8347120>:Members: 149, 150, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b8747310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fb8b89a2680>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89a2b40>:{Set(1)<0x7fb8b87445a0>:Members: 148, 152, } 0x7fb8b89a2b40 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java] {Bool1588133884063 Original Encoding Incremental Solving Time: 0.052403
+ [java] Path Solving Time: 4.048716
+ [java] Path Solving Time: 1.470618
+ [java] 1588133884089 Original Encoding Solving Time: 0.387635
+ [java] 1588133884089 Original Encoding Incremental Solving Time: 0.084178
+ [java] 1588133884106 Original Encoding Solving Time: 0.244222
+ [java] 1588133884106 Original Encoding Incremental Solving Time: 0.038924
+ [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] 1588133884117 Original Encoding Solving Time: 0.178852
+ [java] 1588133884117 Original Encoding Incremental Solving Time: 0.010618
+ [java] Path Solving Time: 2.716899
+ [java] Path Solving Time: 1.365369
+ [java] 1588133884145 Original Encoding Solving Time: 1.74595
+ [java] 1588133884145 Original Encoding Incremental Solving Time: 0.216333
+ [java] 1588133884162 Original Encoding Solving Time: 0.263722
+ [java] 1588133884162 Original Encoding Incremental Solving Time: 0.029778
+ [java] 1588133884174 Original Encoding Solving Time: 0.214388
+ [java] 1588133884174 Original Encoding Incremental Solving Time: 0.013326
+ [java] Path Solving Time: 2.562085
+ [java] Path Solving Time: 1.515755
+ [java] 1588133884204 Original Encoding Solving Time: 0.526458
+ [java] 1588133884204 Original Encoding Incremental Solving Time: 0.187537
+ [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] 1588133884223 Original Encoding Solving Time: 0.279212
+ [java] 1588133884223 Original Encoding Incremental Solving Time: 0.063483
+ [java] 1588133884235 Original Encoding Solving Time: 0.341508
+ [java] 1588133884235 Original Encoding Incremental Solving Time: 0.021722
+ [java] Path Solving Time: 3.234844
+ [java] Path Solving Time: 2.690434
+ [java] 1588133884266 Original Encoding Solving Time: 0.536829
+ [java] 1588133884266 Original Encoding Incremental Solving Time: 0.181367
+ [java] 1588133884286 Original Encoding Solving Time: 0.23043
+ [java] 1588133884286 Original Encoding Incremental Solving Time: 0.036662
+ [java] 1588133884297 Original Encoding Solving Time: 0.168412
+ [java] 1588133884297 Original Encoding Incremental Solving Time: 0.014656
+ [java] Path Solving Time: 6.005944
+ [java] Path Solving Time: 1.421768
+ [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] 1588133884325 Original Encoding Solving Time: 1.477357
+ [java] 1588133884325 Original Encoding Incremental Solving Time: 0.125476
+ [java] 1588133884340 Original Encoding Solving Time: 0.233257
+ [java] 1588133884340 Original Encoding Incremental Solving Time: 0.030116
+ [java] 1588133884348 Original Encoding Solving Time: 0.187786
+ [java] 1588133884348 Original Encoding Incremental Solving Time: 0.030436
+ [java] 1588133884356 Original Encoding Solving Time: 0.185811
+ [java] 1588133884356 Original Encoding Incremental Solving Time: 0.019223
+ [java] 1588133884365 Original Encoding Solving Time: 0.200367
+ [java] 1588133884365 Original Encoding Incremental Solving Time: 0.023638
+ [java] Path Solving Time: 2.858526
+ [java] Path Solving Time: 1.642923
+ [java] 1588133884389 Original Encoding Solving Time: 0.609838
+ [java] 1588133884389 Original Encoding Incremental Solving Time: 0.173685
+ [java] 1588133884410 Original Encoding Solving Time: 0.240452
+ [java] 1588133884410 Original Encoding Incremental Solving Time: 0.037222
+ [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] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588133884423 Original Encoding Solving Time: 0.212262
+ [java] 1588133884423 Original Encoding Incremental Solving Time: 0.036327
+ [java] 1588133884433 Original Encoding Solving Time: 0.192102
+ [java] 1588133884433 Original Encoding Incremental Solving Time: 0.021717
+ [java] 1588133884441 Original Encoding Solving Time: 0.164786
+ [java] 1588133884441 Original Encoding Incremental Solving Time: 0.020681
+ [java] Path Solving Time: 2.747229
+ [java] Path Solving Time: 1.745781
+ [java] 1588133884467 Original Encoding Solving Time: 2.233027
+ [java] 1588133884467 Original Encoding Incremental Solving Time: 0.16132
+ [java] 1588133884483 Original Encoding Solving Time: 0.191527
+ [java] 1588133884483 Original Encoding Incremental Solving Time: 0.066072
+ [java] 1588133884492 Original Encoding Solving Time: 0.186961
+ [java] 1588133884492 Original Encoding Incremental Solving Time: 0.020295
+ [java] 1588133884499 Original Encoding Solving Time: 0.232999
+ [java] 1588133884499 Original Encoding Incremental Solving Time: 0.015802
+ [java] 1588133884507 Original Encoding Solving Time: 0.207196
+ [java] 1588133884507 Original Encoding Incremental Solving Time: 0.016076
+ [java] Path Solving Time: 2.381029
+ [java] Path Solving Time: 1.468883
+ [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] 1588133884531 Original Encoding Solving Time: 0.516502
+ [java] 1588133884531 Original Encoding Incremental Solving Time: 0.147036
+ [java] 1588133884551 Original Encoding Solving Time: 0.255698
+ [java] 1588133884551 Original Encoding Incremental Solving Time: 0.036458
+ [java] 1588133884562 Original Encoding Solving Time: 0.218794
+ [java] 1588133884562 Original Encoding Incremental Solving Time: 0.039144
+ [java] 1588133884573 Original Encoding Solving Time: 0.817224
+ [java] 1588133884573 Original Encoding Incremental Solving Time: 0.023795
+ [java] 1588133884581 Original Encoding Solving Time: 0.659707
+ [java] 1588133884581 Original Encoding Incremental Solving Time: 0.031497
+ [java] Path Solving Time: 3.182068
+ [java] Path Solving Time: 1.891279
+ [java] 1588133884606 Original Encoding Solving Time: 0.493965
+ [java] 1588133884606 Original Encoding Incremental Solving Time: 0.155809
+ [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] 1588133884624 Original Encoding Solving Time: 0.24291
+ [java] 1588133884624 Original Encoding Incremental Solving Time: 0.031274
+ [java] 1588133884635 Original Encoding Solving Time: 0.217939
+ [java] 1588133884635 Original Encoding Incremental Solving Time: 0.028437
+ [java] 1588133884643 Original Encoding Solving Time: 0.182321
+ [java] 1588133884643 Original Encoding Incremental Solving Time: 0.021221
+ [java] 1588133884652 Original Encoding Solving Time: 0.21003
+ [java] 1588133884652 Original Encoding Incremental Solving Time: 0.030537
+ [java] Path Solving Time: 3.223794
+ [java] Path Solving Time: 1.500385
+ [java] 1588133884676 Original Encoding Solving Time: 0.380759
+ [java] 1588133884676 Original Encoding Incremental Solving Time: 0.110915
+ [java] 1588133884692 Original Encoding Solving Time: 0.31296
+ [java] 1588133884692 Original Encoding Incremental Solving Time: 0.052274
+ [java] 1588133884702 Original Encoding Solving Time: 0.272875
+ [java] 1588133884702 Original Encoding Incremental Solving Time: 0.028644
+ [java] 1588133884710 Original Encoding Solving Time: 0.173834
+ [java] 1588133884710 Original Encoding Incremental Solving Time: 0.028201
+ [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] 1588133884719 Original Encoding Solving Time: 0.182087
+ [java] 1588133884719 Original Encoding Incremental Solving Time: 0.020706
+ [java] Path Solving Time: 2.924799
+ [java] Path Solving Time: 1.654945
+ [java] 1588133884744 Original Encoding Solving Time: 0.595443
+ [java] 1588133884744 Original Encoding Incremental Solving Time: 0.235403
+ [java] 1588133884760 Original Encoding Solving Time: 0.248464
+ [java] 1588133884760 Original Encoding Incremental Solving Time: 0.039459
+ [java] 1588133884773 Original Encoding Solving Time: 0.287324
+ [java] 1588133884773 Original Encoding Incremental Solving Time: 0.042685
+ [java] 1588133884784 Original Encoding Solving Time: 0.175749
+ [java] 1588133884784 Original Encoding Incremental Solving Time: 0.02343
+ [java] 1588133884793 Original Encoding Solving Time: 0.228885
+ [java] 1588133884793 Original Encoding Incremental Solving Time: 0.026239
+ [java] Path Solving Time: 3.760908
+ [java] Path Solving Time: 1.733321
+ [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] 1588133884819 Original Encoding Solving Time: 0.424237
+ [java] 1588133884819 Original Encoding Incremental Solving Time: 0.19094
+ [java] 1588133884835 Original Encoding Solving Time: 0.818805
+ [java] 1588133884835 Original Encoding Incremental Solving Time: 0.034986
+ [java] 1588133884844 Original Encoding Solving Time: 0.241043
+ [java] 1588133884844 Original Encoding Incremental Solving Time: 0.054036
+ [java] 1588133884853 Original Encoding Solving Time: 0.169306
+ [java] 1588133884853 Original Encoding Incremental Solving Time: 0.019682
+ [java] 1588133884860 Original Encoding Solving Time: 0.186158
+ [java] 1588133884860 Original Encoding Incremental Solving Time: 0.030677
+ [java] Path Solving Time: 3.874167
+ [java] Path Solving Time: 1.428223
+ [java] 1588133884886 Original Encoding Solving Time: 0.572839
+ [java] 1588133884886 Original Encoding Incremental Solving Time: 0.144205
+ [java] 1588133884905 Original Encoding Solving Time: 0.253318
+ [java] 1588133884905 Original Encoding Incremental Solving Time: 0.033302
+ [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] 1588133884918 Original Encoding Solving Time: 0.312899
+ [java] 1588133884918 Original Encoding Incremental Solving Time: 0.037083
+ [java] 1588133884926 Original Encoding Solving Time: 0.239493
+ [java] 1588133884926 Original Encoding Incremental Solving Time: 0.026608
+ [java] 1588133884936 Original Encoding Solving Time: 0.209183
+ [java] 1588133884936 Original Encoding Incremental Solving Time: 0.028576
+ [java] Path Solving Time: 3.627032
+ [java] Path Solving Time: 1.803153
+ [java] 1588133884961 Original Encoding Solving Time: 0.378074
+ [java] 1588133884961 Original Encoding Incremental Solving Time: 0.121268
+ [java] 1588133884976 Original Encoding Solving Time: 0.185366
+ [java] 1588133884976 Original Encoding Incremental Solving Time: 0.025362
+ [java] 1588133884985 Original Encoding Solving Time: 0.174941
+ [java] 1588133884985 Original Encoding Incremental Solving Time: 0.02447
+ [java] 1588133884993 Original Encoding Solving Time: 0.191412
+ [java] 1588133884993 Original Encoding Incremental Solving Time: 0.020512
+ [java] 1588133885001 Original Encoding Solving Time: 0.1642
+ [java] 1588133885001 Original Encoding Incremental Solving Time: 0.021865
+ [java] Path Solving Time: 4.923227
+ [java] Path Solving Time: 1.365539
+ [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] 1588133885027 Original Encoding Solving Time: 0.416924
+ [java] 1588133885027 Original Encoding Incremental Solving Time: 0.205011
+ [java] 1588133885041 Original Encoding Solving Time: 0.23143
+ [java] 1588133885041 Original Encoding Incremental Solving Time: 0.028429
+ [java] 1588133885050 Original Encoding Solving Time: 0.208208
+ [java] 1588133885050 Original Encoding Incremental Solving Time: 0.03682
+ [java] 1588133885058 Original Encoding Solving Time: 0.226102
+ [java] 1588133885058 Original Encoding Incremental Solving Time: 0.029121
+ [java] 1588133885068 Original Encoding Solving Time: 0.205824
+ [java] 1588133885068 Original Encoding Incremental Solving Time: 0.030688
+ [java] Path Solving Time: 6.216026
+ [java] Path Solving Time: 1.043551
+ [java] 1588133885096 Original Encoding Solving Time: 0.622589
+ [java] 1588133885096 Original Encoding Incremental Solving Time: 0.179446
+ [java] 1588133885112 Original Encoding Solving Time: 0.248569
+ [java] 1588133885112 Original Encoding Incremental Solving Time: 0.054617
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 14
+ [java] Sketch Generation Time: 581.9189480000001
+ [java] Sketch Completion Time: 1009.4408220000003
+ [java] Compilation Time: 1639.5733090000008
+ [java] Running Test cases Time: 25.258833000000013
+ [java] Synthesis Time: 1616.6186030000003
+ [java] Total Time: 3256.191912000001
+ [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] eanLogic<0x7fb8b899a160>: NOT
+ [java] {BooleanPredicate<0x7fb8b83474f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89a2b40>:{Set(1)<0x7fb8b87445a0>:Members: 148, 152, } 0x7fb8b89a2b40 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 148}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fb8b89c9c30>: OR
+ [java] {BooleanPredicate<0x7fb8b83c16b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b892fe00>:Members: 190, 194, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 190}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b89a0100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89e3400>:{Set(1)<0x7fb8b898a8b0>:Members: 190, 194, } 0x7fb8b89e3400 UNASSIGNED }{ElementConst<0x7fb8b86f5620>: 190}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8992b00>: OR
+ [java] {BooleanPredicate<0x7fb8b89c9380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b86f3530>:Members: 191, 192, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 191}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b895ee90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b8958ae0>:Members: 191, 192, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b87369b0>: 191}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b89e0950>: OR
+ [java] {BooleanPredicate<0x7fb8b89d12f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b650>:{Set(1)<0x7fb8b86f3530>:Members: 191, 192, } 0x7fb8b892b650 UNASSIGNED }{ElementConst<0x7fb8b8936030>: 192}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b89d3b20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b8736c50>:{Set(1)<0x7fb8b8958ae0>:Members: 191, 192, } 0x7fb8b8736c50 UNASSIGNED }{ElementConst<0x7fb8b8936030>: 192}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b89c2110>: OR
+ [java] {BooleanPredicate<0x7fb8b89d6640>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b82393e0>:{Set(1)<0x7fb8b894d490>:Members: 193, } 0x7fb8b82393e0 UNASSIGNED }{ElementConst<0x7fb8b86f75c0>: 193}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fb8b8958b40>: OR
+ [java] {BooleanPredicate<0x7fb8b89d3bb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b892b2d0>:{Set(1)<0x7fb8b892fe00>:Members: 190, 194, } 0x7fb8b892b2d0 UNASSIGNED }{ElementConst<0x7fb8b83c7800>: 194}
+ [java] }
+ [java] {BooleanPredicate<0x7fb8b89a26f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fb8b89e3400>:{Set(1)<0x7fb8b898a8b0>:Members: 190, 194, } 0x7fb8b89e3400 UNASSIGNED }{ElementConst<0x7fb8b83c7800>: 194}
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 7 seconds
projects / Benchmarks_CSolver.git / blobdiff