--- /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/13/benchmark13.json
+ [java] Benchmark Id: 13
+ [java] Method name: rotate
+ [java] Packages: [java.awt.geom]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.awt.geom.Area, java.awt.geom.Point2D, double]
+ [java] Target type: java.awt.geom.Area
+ [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: 3198.488365
+ [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: 14.198343
+ [java] Path Solving Time: 19.74594
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.811593
+ [java] Path Solving Time: 11.452666
+ [java] Path Solving Time: 4.083451
+ [java] Path Solving Time: 1.611889
+ [java] Path Solving Time: 1.363978
+ [java] 1588133871493 Original Encoding Solving Time: 1.333141
+ [java] 1588133871493 Original Encoding Incremental Solving Time: 0.672095
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133871765 Original Encoding Solving Time: 0.319708
+ [java] 1588133871765 Original Encoding Incremental Solving Time: 0.053565
+ [java] 1588133871790 Original Encoding Solving Time: 0.219365
+ [java] 1588133871790 Original Encoding Incremental Solving Time: 0.02594
+ [java] Path Solving Time: 2.108549
+ [java] Path Solving Time: 20.863292
+ [java] Path Solving Time: 3.562093
+ [java] Path Solving Time: 1.214789
+ [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] 1588133871834 Original Encoding Solving Time: 0.32481
+ [java] 1588133871834 Original Encoding Incremental Solving Time: 0.248561
+ [java] 1588133871864 Original Encoding Solving Time: 0.215432
+ [java] 1588133871864 Original Encoding Incremental Solving Time: 0.059387
+ [java] 1588133871885 Original Encoding Solving Time: 0.236383
+ [java] 1588133871885 Original Encoding Incremental Solving Time: 0.028741
+ [java] Path Solving Time: 4.217984
+ [java] Path Solving Time: 1.002988
+ [java] 1588133871907 Original Encoding Solving Time: 0.671696
+ [java] 1588133871907 Original Encoding Incremental Solving Time: 0.238031
+ [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] 1588133871936 Original Encoding Solving Time: 0.225322
+ [java] 1588133871936 Original Encoding Incremental Solving Time: 0.049493
+ [java] 1588133871953 Original Encoding Solving Time: 0.195751
+ [java] 1588133871953 Original Encoding Incremental Solving Time: 0.017877
+ [java] Path Solving Time: 3.913731
+ [java] Path Solving Time: 0.855596
+ [java] 1588133871974 Original Encoding Solving Time: 0.460421
+ [java] 1588133871974 Original Encoding Incremental Solving Time: 0.478879
+ [java] 1588133872001 Original Encoding Solving Time: 0.32155
+ [java] 1588133872001 Original Encoding Incremental Solving Time: 0.04753
+ [java] 1588133872018 Original Encoding Solving Time: 0.247211
+ [java] 1588133872018 Original Encoding Incremental Solving Time: 0.019329
+ [java] Path Solving Time: 3.954949
+ [java] Path Solving Time: 0.960644
+ [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] 1588133872040 Original Encoding Solving Time: 0.473871
+ [java] 1588133872040 Original Encoding Incremental Solving Time: 0.470337
+ [java] 1588133872066 Original Encoding Solving Time: 0.588659
+ [java] 1588133872066 Original Encoding Incremental Solving Time: 0.093404
+ [java] 1588133872090 Original Encoding Solving Time: 0.239548
+ [java] 1588133872090 Original Encoding Incremental Solving Time: 0.03332
+ [java] Path Solving Time: 4.979965
+ [java] Path Solving Time: 1.282083
+ [java] 1588133872113 Original Encoding Solving Time: 0.321635
+ [java] 1588133872113 Original Encoding Incremental Solving Time: 0.17542
+ [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] 1588133872142 Original Encoding Solving Time: 0.244054
+ [java] 1588133872142 Original Encoding Incremental Solving Time: 0.065874
+ [java] 1588133872161 Original Encoding Solving Time: 0.193962
+ [java] 1588133872161 Original Encoding Incremental Solving Time: 0.026336
+ [java] Path Solving Time: 3.904852
+ [java] Path Solving Time: 0.732829
+ [java] 1588133872182 Original Encoding Solving Time: 0.579625
+ [java] 1588133872182 Original Encoding Incremental Solving Time: 0.099152
+ [java] 1588133872203 Original Encoding Solving Time: 0.2532
+ [java] 1588133872203 Original Encoding Incremental Solving Time: 0.050251
+ [java] 1588133872217 Original Encoding Solving Time: 0.176814
+ [java] 1588133872217 Original Encoding Incremental Solving Time: 0.026167
+ [java] Path Solving Time: 3.479329
+ [java] Path Solving Time: 0.635038
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133872239 Original Encoding Solving Time: 2.33818
+ [java] 1588133872239 Original Encoding Incremental Solving Time: 0.340415
+ [java] 1588133872261 Original Encoding Solving Time: 0.199202
+ [java] 1588133872261 Original Encoding Incremental Solving Time: 0.044363
+ [java] 1588133872277 Original Encoding Solving Time: 0.191689
+ [java] 1588133872277 Original Encoding Incremental Solving Time: 0.18266
+ [java] Path Solving Time: 15.848529
+ [java] PetriNet for path length: 7 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 9.81892
+ [java] Path Solving Time: 22.368859
+ [java] Path Solving Time: 4.338056
+ [java] Path Solving Time: 2.044991
+ [java] Path Solving Time: 0.706121
+ [java] 1588133872704 Original Encoding Solving Time: 0.323221
+ [java] 1588133872704 Original Encoding Incremental Solving Time: 0.14264
+ [java] 1588133872725 Original Encoding Solving Time: 0.271183
+ [java] 1588133872725 Original Encoding Incremental Solving Time: 0.05918
+ [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] 1588133872740 Original Encoding Solving Time: 0.186508
+ [java] 1588133872740 Original Encoding Incremental Solving Time: 0.027409
+ [java] Path Solving Time: 1.132407
+ [java] Path Solving Time: 29.427768
+ [java] Path Solving Time: 2.736994
+ [java] Path Solving Time: 1.691346
+ [java] Path Solving Time: 0.570071
+ [java] 1588133872796 Original Encoding Solving Time: 1.3871
+ [java] 1588133872796 Original Encoding Incremental Solving Time: 0.468238
+ [java] 1588133872817 Original Encoding Solving Time: 0.194257
+ [java] 1588133872817 Original Encoding Incremental Solving Time: 0.049055
+ [java] 1588133872831 Original Encoding Solving Time: 0.186486
+ [java] 1588133872831 Original Encoding Incremental Solving Time: 0.035049
+ [java] Path Solving Time: 2.339844
+ [java] Path Solving Time: 4.54062
+ [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: 0.928166
+ [java] 1588133872859 Original Encoding Solving Time: 0.54008
+ [java] 1588133872859 Original Encoding Incremental Solving Time: 0.385278
+ [java] 1588133872883 Original Encoding Solving Time: 0.263337
+ [java] 1588133872883 Original Encoding Incremental Solving Time: 0.039557
+ [java] 1588133872896 Original Encoding Solving Time: 0.198854
+ [java] 1588133872896 Original Encoding Incremental Solving Time: 0.016204
+ [java] Path Solving Time: 2.301024
+ [java] Path Solving Time: 0.579331
+ [java] 1588133872919 Original Encoding Solving Time: 1.280342
+ [java] 1588133872919 Original Encoding Incremental Solving Time: 1.198722
+ [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] 1588133872943 Original Encoding Solving Time: 0.226393
+ [java] 1588133872943 Original Encoding Incremental Solving Time: 0.026751
+ [java] 1588133872956 Original Encoding Solving Time: 0.182723
+ [java] 1588133872956 Original Encoding Incremental Solving Time: 0.016241
+ [java] Path Solving Time: 2.244668
+ [java] Path Solving Time: 0.621508
+ [java] 1588133872979 Original Encoding Solving Time: 1.759571
+ [java] 1588133872979 Original Encoding Incremental Solving Time: 0.166561
+ [java] 1588133873009 Original Encoding Solving Time: 0.240127
+ [java] 1588133873009 Original Encoding Incremental Solving Time: 0.06462
+ [java] 1588133873026 Original Encoding Solving Time: 0.206998
+ [java] 1588133873026 Original Encoding Incremental Solving Time: 0.01924
+ [java] Path Solving Time: 3.475435
+ [java] Path Solving Time: 0.993315
+ [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] 1588133873052 Original Encoding Solving Time: 0.724405
+ [java] 1588133873052 Original Encoding Incremental Solving Time: 2.015981
+ [java] 1588133873074 Original Encoding Solving Time: 0.259624
+ [java] 1588133873074 Original Encoding Incremental Solving Time: 0.035681
+ [java] 1588133873086 Original Encoding Solving Time: 0.188164
+ [java] 1588133873086 Original Encoding Incremental Solving Time: 0.018639
+ [java] Path Solving Time: 2.260592
+ [java] Path Solving Time: 0.5895
+ [java] 1588133873111 Original Encoding Solving Time: 4.179191
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f43d07f9460>: OR
+ [java] {BooleanPredicate<0x7f43d07d1480>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7d00>:{Set(1)<0x7f43d09c8320>:Members: 43, } 0x7f43d07f7d00 UNASSIGNED }{ElementConst<0x7f43d07c8b30>: 43}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a065d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06cc670>:{Set(1)<0x7f43d09c7270>:Members: 43, 48, } 0x7f43d06cc670 UNASSIGNED }{ElementConst<0x7f43d07c8b30>: 43}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d09c7510>: OR
+ [java] {BooleanPredicate<0x7f43d07f8300>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07c9980>:{Set(1)<0x7f43d07f7da0>:Members: 44, } 0x7f43d07c9980 UNASSIGNED }{ElementConst<0x7f43d0a14480>: 44}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a17040>: OR
+ [java] {BooleanPredicate<0x7f43d07cde30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7f90>:{Set(1)<0x7f43d07f7c80>:Members: 45, 46, } 0x7f43d07f7f90 UNASSIGNED }{ElementConst<0x7f43d07c7610>: 45}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d07c82f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7e20>:{Set(1)<0x7f43d07f7b50>:Members: 45, 46, } 0x7f43d07f7e20 UNASSIGNED }{ElementConst<0x7f43d07c7610>: 45}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a062e0>: OR
+ [java] {BooleanPredicate<0x7f43d09f2720>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7f90>:{Set(1)<0x7f43d07f7c80>:Members: 45, 46, } 0x7f43d07f7f90 UNASSIGNED }{ElementConst<0x7f43d09cd070>: 46}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a03b30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7e20>:{Set(1)<0x7f43d07f7b50>:Members: 45, 46, } 0x7f43d07f7e20 UNASSIGNED }{ElementConst<0x7f43d09cd070>: 46}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d07cda40>: OR
+ [java] {BooleanPredicate<0x7f43d06c2190>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06cc9d0>:{Set(1)<0x7f43d0a17340>:Members: 47, } 0x7f43d06cc9d0 UNASSIGNED }{ElementConst<0x7f43d0a0c5e0>: 47}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a1c4c0>: OR
+ [java] {BooleanPredicate<0x7f43d07d4b50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06cc670>:{Set(1)<0x7f43d09c7270>:Members: 43, 48, } 0x7f43d06cc670 UNASSIGNED }{ElementConst<0x7f43d09c7430>: 48}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f43d0a10040>: OR
+ [java] {BooleanPredicate<0x7f43d07d1480>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d05127e0>:{Set(1)<0x7f43d07d1ff0>:Members: 91, } 0x7f43d05127e0 UNASSIGNED }{ElementConst<0x7f43d06e33b0>: 91}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d07ce2c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06e9460>:{Set(1)<0x7f43d07cde30>:Members: 91, 97, } 0x7f43d06e9460 UNASSIGNED }{ElementConst<0x7f43d06e33b0>: 91}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d024e8f0>: OR
+ [java] {BooleanPredicate<0x7f43d09feea0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7f90>:{Set(1)<0x7f43d07c7310>:Members: 92, } 0x7f43d07f7f90 UNASSIGNED }{ElementConst<0x7f43d07c8b30>: 92}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d09f4990>: OR
+ [java] {BooleanPredicate<0x7f43d023ef90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07c9980>:{Set(1)<0x7f43d07d1020>:Members: 93, 94, } 0x7f43d07c9980 UNASSIGNED }{ElementConst<0x7f43d09c7ac0>: 93}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0234e50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d07f7be0>:Members: 93, 94, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d09c7ac0>: 93}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d023fd90>: OR
+ [java] {BooleanPredicate<0x7f43d0234c90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07c9980>:{Set(1)<0x7f43d07d1020>:Members: 93, 94, } 0x7f43d07c9980 UNASSIGNED }{ElementConst<0x7f43d025c050>: 94}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a03b30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d07f7be0>:Members: 93, 94, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 94}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d01f6ff0>: OR
+ [java] {BooleanPredicate<0x7f43d0a065d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d07c5410>:Members: 95, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d09c7430>: 95}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d06e8480>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06e9140>:{Set(1)<0x7f43d07f7da0>:Members: 95, 96, } 0x7f43d06e9140 UNASSIGNED }{ElementConst<0x7f43d09c7430>: 95}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d07be8a0>: OR
+ [java] {BooleanPre1588133873111 Original Encoding Incremental Solving Time: 0.508415
+ [java] 1588133873134 Original Encoding Solving Time: 0.260477
+ [java] 1588133873134 Original Encoding Incremental Solving Time: 0.048276
+ [java] 1588133873147 Original Encoding Solving Time: 0.272013
+ [java] 1588133873147 Original Encoding Incremental Solving Time: 0.018393
+ [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: 3.435168
+ [java] Path Solving Time: 0.802971
+ [java] 1588133873172 Original Encoding Solving Time: 0.556709
+ [java] 1588133873172 Original Encoding Incremental Solving Time: 2.685727
+ [java] 1588133873197 Original Encoding Solving Time: 0.23669
+ [java] 1588133873197 Original Encoding Incremental Solving Time: 0.054206
+ [java] 1588133873213 Original Encoding Solving Time: 0.22401
+ [java] 1588133873213 Original Encoding Incremental Solving Time: 0.01748
+ [java] Path Solving Time: 3.133917
+ [java] Path Solving Time: 0.527223
+ [java] 1588133873236 Original Encoding Solving Time: 0.637697
+ [java] 1588133873236 Original Encoding Incremental Solving Time: 1.37741
+ [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] 1588133873258 Original Encoding Solving Time: 0.207643
+ [java] 1588133873258 Original Encoding Incremental Solving Time: 0.0344
+ [java] 1588133873268 Original Encoding Solving Time: 0.179061
+ [java] 1588133873268 Original Encoding Incremental Solving Time: 0.01346
+ [java] Path Solving Time: 2.430528
+ [java] Path Solving Time: 0.582404
+ [java] 1588133873291 Original Encoding Solving Time: 0.470203
+ [java] 1588133873291 Original Encoding Incremental Solving Time: 1.403077
+ [java] 1588133873311 Original Encoding Solving Time: 0.201263
+ [java] 1588133873311 Original Encoding Incremental Solving Time: 0.049835
+ [java] 1588133873322 Original Encoding Solving Time: 0.190698
+ [java] 1588133873322 Original Encoding Incremental Solving Time: 0.010506
+ [java] Path Solving Time: 2.372234
+ [java] Path Solving Time: 0.596917
+ [java] 1588133873347 Original Encoding Solving Time: 2.74777
+ [java] 1588133873347 Original Encoding Incremental Solving Time: 1.607408
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133873375 Original Encoding Solving Time: 0.221545
+ [java] 1588133873375 Original Encoding Incremental Solving Time: 0.041597
+ [java] 1588133873390 Original Encoding Solving Time: 0.20523
+ [java] 1588133873390 Original Encoding Incremental Solving Time: 0.016803
+ [java] Path Solving Time: 3.523774
+ [java] Path Solving Time: 0.906197
+ [java] 1588133873415 Original Encoding Solving Time: 0.624064
+ [java] 1588133873415 Original Encoding Incremental Solving Time: 2.389474
+ [java] 1588133873443 Original Encoding Solving Time: 0.206872
+ [java] 1588133873443 Original Encoding Incremental Solving Time: 0.043624
+ [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] 1588133873457 Original Encoding Solving Time: 0.197992
+ [java] 1588133873457 Original Encoding Incremental Solving Time: 0.016538
+ [java] Path Solving Time: 3.166327
+ [java] Path Solving Time: 0.790096
+ [java] 1588133873481 Original Encoding Solving Time: 0.515658
+ [java] 1588133873481 Original Encoding Incremental Solving Time: 0.166287
+ [java] 1588133873506 Original Encoding Solving Time: 0.604441
+ [java] 1588133873506 Original Encoding Incremental Solving Time: 0.051446
+ [java] 1588133873517 Original Encoding Solving Time: 0.158132
+ [java] 1588133873517 Original Encoding Incremental Solving Time: 0.012897
+ [java] Path Solving Time: 2.507909
+ [java] Path Solving Time: 0.504938
+ [java] 1588133873540 Original Encoding Solving Time: 0.415326
+ [java] 1588133873540 Original Encoding Incremental Solving Time: 0.307206
+ [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] 1588133873566 Original Encoding Solving Time: 0.275696
+ [java] 1588133873566 Original Encoding Incremental Solving Time: 0.052184
+ [java] 1588133873582 Original Encoding Solving Time: 0.682297
+ [java] 1588133873582 Original Encoding Incremental Solving Time: 0.014919
+ [java] Path Solving Time: 2.306703
+ [java] Path Solving Time: 0.494204
+ [java] 1588133873604 Original Encoding Solving Time: 0.468376
+ [java] 1588133873604 Original Encoding Incremental Solving Time: 2.787058
+ [java] 1588133873627 Original Encoding Solving Time: 0.325758
+ [java] 1588133873627 Original Encoding Incremental Solving Time: 0.039639
+ [java] 1588133873638 Original Encoding Solving Time: 0.210138
+ [java] 1588133873638 Original Encoding Incremental Solving Time: 0.021484
+ [java] Path Solving Time: 2.105903
+ [java] Path Solving Time: 0.531686
+ [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] 1588133873661 Original Encoding Solving Time: 1.222803
+ [java] 1588133873661 Original Encoding Incremental Solving Time: 1.559708
+ [java] 1588133873686 Original Encoding Solving Time: 0.221824
+ [java] 1588133873686 Original Encoding Incremental Solving Time: 0.054995
+ [java] 1588133873699 Original Encoding Solving Time: 0.691624
+ [java] 1588133873699 Original Encoding Incremental Solving Time: 0.015154
+ [java] Path Solving Time: 9.431606
+ [java] Path Solving Time: 18.775317
+ [java] Path Solving Time: 5.215944
+ [java] Path Solving Time: 2.611579
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133873755 Original Encoding Solving Time: 0.677873
+ [java] 1588133873755 Original Encoding Incremental Solving Time: 0.192127
+ [java] 1588133873775 Original Encoding Solving Time: 0.208917
+ [java] 1588133873775 Original Encoding Incremental Solving Time: 0.052325
+ [java] 1588133873789 Original Encoding Solving Time: 0.215917
+ [java] 1588133873789 Original Encoding Incremental Solving Time: 0.041913
+ [java] Path Solving Time: 9.681969
+ [java] Path Solving Time: 36.935534
+ [java] Path Solving Time: 79.561098
+ [java] Path Solving Time: 1.70859
+ [java] 1588133873941 Original Encoding Solving Time: 0.533492
+ [java] 1588133873941 Original Encoding Incremental Solving Time: 0.137147
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133873958 Original Encoding Solving Time: 0.056825
+ [java] 1588133873958 Original Encoding Incremental Solving Time: 0.017649
+ [java] Path Solving Time: 39.596342
+ [java] Path Solving Time: 30.922586
+ [java] Path Solving Time: 8.828295
+ [java] Path Solving Time: 1.658077
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133874062 Original Encoding Solving Time: 0.444914
+ [java] 1588133874062 Original Encoding Incremental Solving Time: 0.190438
+ [java] 1588133874086 Original Encoding Solving Time: 0.080834
+ [java] 1588133874086 Original Encoding Incremental Solving Time: 0.047089
+ [java] Path Solving Time: 17.754214
+ [java] Path Solving Time: 13.902379
+ [java] Path Solving Time: 9.279998
+ [java] Path Solving Time: 1.167473
+ [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 = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133874156 Original Encoding Solving Time: 0.522499
+ [java] 1588133874156 Original Encoding Incremental Solving Time: 0.128982
+ [java] 1588133874174 Original Encoding Solving Time: 0.402031
+ [java] 1588133874174 Original Encoding Incremental Solving Time: 0.062711
+ [java] 1588133874190 Original Encoding Solving Time: 0.215361
+ [java] 1588133874190 Original Encoding Incremental Solving Time: 0.026418
+ [java] 1588133874199 Original Encoding Solving Time: 0.16003
+ [java] 1588133874199 Original Encoding Incremental Solving Time: 0.032939
+ [java] 1588133874212 Original Encoding Solving Time: 0.26991
+ [java] 1588133874212 Original Encoding Incremental Solving Time: 0.027679
+ [java] 1588133874222 Original Encoding Solving Time: 0.21314
+ [java] 1588133874222 Original Encoding Incremental Solving Time: 0.024212
+ [java] 1588133874232 Original Encoding Solving Time: 0.183735
+ [java] 1588133874232 Original Encoding Incremental Solving Time: 0.022098
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 40.80614
+ [java] Path Solving Time: 28.332744
+ [java] Path Solving Time: 29.255356
+ [java] Path Solving Time: 1.100241
+ [java] 1588133874351 Original Encoding Solving Time: 0.549306
+ [java] 1588133874351 Original Encoding Incremental Solving Time: 0.126675
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133874372 Original Encoding Solving Time: 0.30954
+ [java] 1588133874372 Original Encoding Incremental Solving Time: 0.022835
+ [java] 1588133874387 Original Encoding Solving Time: 1.881208
+ [java] 1588133874387 Original Encoding Incremental Solving Time: 0.016363
+ [java] Path Solving Time: 14.063071
+ [java] Path Solving Time: 20.739463
+ [java] Path Solving Time: 1.690507
+ [java] 1588133874446 Original Encoding Solving Time: 0.373115
+ [java] 1588133874446 Original Encoding Incremental Solving Time: 0.146455
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133874467 Original Encoding Solving Time: 0.399289
+ [java] 1588133874467 Original Encoding Incremental Solving Time: 0.053313
+ [java] 1588133874480 Original Encoding Solving Time: 0.210177
+ [java] 1588133874480 Original Encoding Incremental Solving Time: 0.010877
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 78.252542
+ [java] Path Solving Time: 18.727176
+ [java] Path Solving Time: 1.225314
+ [java] 1588133874599 Original Encoding Solving Time: 0.456838
+ [java] 1588133874599 Original Encoding Incremental Solving Time: 2.173416
+ [java] 1588133874619 Original Encoding Solving Time: 0.198828
+ [java] 1588133874619 Original Encoding Incremental Solving Time: 0.023768
+ [java] 1588133874633 Original Encoding Solving Time: 0.215208
+ [java] 1588133874633 Original Encoding Incremental Solving Time: 0.009154
+ [java] Path Solving Time: 9.637727
+ [java] Path Solving Time: 6.857757
+ [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: 12.610619
+ [java] Path Solving Time: 0.573888
+ [java] 1588133874680 Original Encoding Solving Time: 0.280745
+ [java] 1588133874680 Original Encoding Incremental Solving Time: 0.132621
+ [java] 1588133874695 Original Encoding Solving Time: 0.636
+ [java] 1588133874695 Original Encoding Incremental Solving Time: 0.03127
+ [java] 1588133874706 Original Encoding Solving Time: 0.194671
+ [java] 1588133874706 Original Encoding Incremental Solving Time: 0.01115
+ [java] Path Solving Time: 13.38102
+ [java] Path Solving Time: 10.891893
+ [java] Path Solving Time: 0.538367
+ [java] 1588133874749 Original Encoding Solving Time: 0.246263
+ [java] 1588133874749 Original Encoding Incremental Solving Time: 0.097211
+ [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] 1588133874764 Original Encoding Solving Time: 0.20888
+ [java] 1588133874764 Original Encoding Incremental Solving Time: 0.019318
+ [java] 1588133874777 Original Encoding Solving Time: 0.893816
+ [java] 1588133874777 Original Encoding Incremental Solving Time: 0.006974
+ [java] Path Solving Time: 13.537806
+ [java] Path Solving Time: 6.857074
+ [java] Path Solving Time: 0.54099
+ [java] 1588133874818 Original Encoding Solving Time: 0.257637
+ [java] 1588133874818 Original Encoding Incremental Solving Time: 0.092366
+ [java] 1588133874834 Original Encoding Solving Time: 0.211394
+ [java] 1588133874834 Original Encoding Incremental Solving Time: 0.03112
+ [java] 1588133874847 Original Encoding Solving Time: 0.190541
+ [java] 1588133874847 Original Encoding Incremental Solving Time: 0.022587
+ [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 = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133874857 Original Encoding Solving Time: 0.161809
+ [java] 1588133874857 Original Encoding Incremental Solving Time: 0.020434
+ [java] 1588133874866 Original Encoding Solving Time: 0.200608
+ [java] 1588133874866 Original Encoding Incremental Solving Time: 0.020394
+ [java] 1588133874875 Original Encoding Solving Time: 0.203706
+ [java] 1588133874875 Original Encoding Incremental Solving Time: 0.027332
+ [java] 1588133874885 Original Encoding Solving Time: 0.193003
+ [java] 1588133874885 Original Encoding Incremental Solving Time: 0.024031
+ [java] Path Solving Time: 4.661836
+ [java] Path Solving Time: 10.392948
+ [java] Path Solving Time: 0.614208
+ [java] 1588133874919 Original Encoding Solving Time: 0.261686
+ [java] 1588133874919 Original Encoding Incremental Solving Time: 0.133014
+ [java] 1588133874931 Original Encoding Solving Time: 0.177769
+ [java] 1588133874931 Original Encoding Incremental Solving Time: 0.01504
+ [java] 1588133874947 Original Encoding Solving Time: 3.151261
+ [java] dicate<0x7f43d023f360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06e9140>:{Set(1)<0x7f43d07f7da0>:Members: 95, 96, } 0x7f43d06e9140 UNASSIGNED }{ElementConst<0x7f43d079e810>: 96}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d024f5c0>: OR
+ [java] {BooleanPredicate<0x7f43d06e0d20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d06e9460>:{Set(1)<0x7f43d07cde30>:Members: 91, 97, } 0x7f43d06e9460 UNASSIGNED }{ElementConst<0x7f43d07c7610>: 97}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f43d024ec50>: OR
+ [java] {BooleanPredicate<0x7f43d07d1480>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d04c96e0>:{Set(1)<0x7f43d03e5f70>:Members: 119, } 0x7f43d04c96e0 UNASSIGNED }{ElementConst<0x7f43d09c80c0>: 119}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d07ce2c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d04bf9f0>:{Set(1)<0x7f43d0a065d0>:Members: 119, 125, } 0x7f43d04bf9f0 UNASSIGNED }{ElementConst<0x7f43d09c80c0>: 119}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d06e8de0>: OR
+ [java] {BooleanPredicate<0x7f43d09feea0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07f7f90>:{Set(1)<0x7f43d03d6330>:Members: 120, } 0x7f43d07f7f90 UNASSIGNED }{ElementConst<0x7f43d07d4650>: 120}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d03e8800>: OR
+ [java] {BooleanPredicate<0x7f43d06e8c40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07c9980>:{Set(1)<0x7f43d06e8780>:Members: 121, 122, } 0x7f43d07c9980 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 121}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d06e8480>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d07c7310>:Members: 121, 122, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 121}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d03e1280>: OR
+ [java] {BooleanPredicate<0x7f43d06e08c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d07c9980>:{Set(1)<0x7f43d06e8780>:Members: 121, 122, } 0x7f43d07c9980 UNASSIGNED }{ElementConst<0x7f43d079e810>: 122}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d023fa50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d07c7310>:Members: 121, 122, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 122}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d09f6040>: OR
+ [java] {BooleanPredicate<0x7f43d04cab40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d03de140>:Members: 123, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d09c7430>: 123}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0259470>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d04bf6d0>:{Set(1)<0x7f43d07c3bc0>:Members: 123, 124, } 0x7f43d04bf6d0 UNASSIGNED }{ElementConst<0x7f43d09c7430>: 123}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d03ddc80>: OR
+ [java] {BooleanPredicate<0x7f43d024f5c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d04bf6d0>:{Set(1)<0x7f43d07c3bc0>:Members: 123, 124, } 0x7f43d04bf6d0 UNASSIGNED }{ElementConst<0x7f43d07c7610>: 124}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d04bf510>: OR
+ [java] {BooleanPredicate<0x7f43d06e30e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d04bf9f0>:{Set(1)<0x7f43d0a065d0>:Members: 119, 125, } 0x7f43d04bf9f0 UNASSIGNED }{ElementConst<0x7f43d06e33b0>: 125}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f43d0a4e900>: OR
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a84da0>:{Set(1)<0x7f43d0a2d780>:Members: 221, } 0x7f43d0a84da0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d03e88e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a768a0>:{Set(1)<0x7f43d0a21b40>:Members: 221, 226, } 0x7f43d0a768a0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a3b710>: OR
+ [java] {BooleanPredicate<0x7f43d07f76d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a4e8a0>:Members: 222, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 222}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a2dce0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a46cd0>:Members: 222, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 222}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d03e0870>: OR
+ [java] {BooleanPredicate<0x7f43d0a30f60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a34f20>:Members: 223, 224, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a70410>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d04e1ae0>:Members: 223, 224, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a795c0>: OR
+ [java] {BooleanPredicate<0x7f43d0a70740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a34f20>:Members: 223, 224, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d07c8c60>: 224}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a81400>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d04e1ae0>:Members: 223, 224, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8c60>: 224}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a76830>: OR
+ [java] {BooleanPredicate<0x7f43d04e7130>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a765c0>:{Set(1)<0x7f43d04f6f90>:Members: 225, } 0x7f43d0a765c0 UNASSIGNED }{ElementConst<0x7f43d04e7940>: 225}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a5eb50>: OR
+ [java] {BooleanPredicate<0x7f43d0a70c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a768a0>:{Set(1)<0x7f43d0a21b40>:Members: 221, 226, } 0x7f43d0a768a0 UNASSIGNED }{ElementConst<0x7f43d09c7ac0>: 226}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a540b0>: OR
+ [java] {BooleanLogic<0x7f43d07ce2c0>: NOT
+ [java] {BooleanPredicate<0x7f43d07f76d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a4e8a0>:Members: 222, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 222}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a61410>: NOT
+ [java] {BooleanPredicate<0x7f43d0a2dce0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a46cd0>:Members: 222, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 222}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a3c390>: NOT
+ [java] {BooleanPredicate<0x7f43d0a30f60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a34f20>:Members: 223, 224, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a4b710>: NOT
+ [java] {BooleanPredicate<0x7f43d0a30f60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a34f20>:Members: 223, 224, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a53b70>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70410>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d04e1ae0>:Members: 223, 224, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a53c50>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70410>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d04e1ae0>:Members: 223, 224, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a53d30>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a84da0>:{Set(1)<0x7f43d0a2d780>:Members: 221, } 0x7f43d0a84da0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a53e10>: NOT
+ [java] {BooleanPredicate<0x7f43d04e7130>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a765c0>:{Set(1)<0x7f43d04f6f90>:Members: 225, } 0x7f43d0a765c0 UNASSIGNED }{ElementConst<0x7f43d04e7940>: 225}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a53ef0>: NOT
+ [java] {BooleanPredicate<0x7f43d03e88e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a768a0>:{Set(1)<0x7f43d0a21b40>:Members: 221, 226, } 0x7f43d0a768a0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a53fd0>: NOT
+ [java] {BooleanPredicate<0x7f43d03e88e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a768a0>:{Set(1)<0x7f43d0a21b40>:Members: 221, 226, } 0x7f43d0a768a0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a76520>: OR
+ [java] {BooleanLogic<0x7f43d0a54530>: NOT
+ [java] {BooleanPredicate<0x7f43d07f76d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a4e8a0>:Members: 222, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 222}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a54150>: NOT
+ [java] {BooleanPredicate<0x7f43d0a2dce0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a46cd0>:Members: 222, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 222}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a561c0>: 1588133874947 Original Encoding Incremental Solving Time: 0.038096
+ [java] Path Solving Time: 4.362913
+ [java] Path Solving Time: 9.971225
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 1.227122
+ [java] 1588133874983 Original Encoding Solving Time: 0.315321
+ [java] 1588133874983 Original Encoding Incremental Solving Time: 0.12848
+ [java] 1588133875000 Original Encoding Solving Time: 0.179952
+ [java] 1588133875000 Original Encoding Incremental Solving Time: 0.026737
+ [java] 1588133875013 Original Encoding Solving Time: 0.184874
+ [java] 1588133875013 Original Encoding Incremental Solving Time: 0.010626
+ [java] Path Solving Time: 5.496481
+ [java] Path Solving Time: 25.57771
+ [java] 1588133875063 Original Encoding Solving Time: 0.418221
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588133875063 Original Encoding Incremental Solving Time: 0.299616
+ [java] 1588133875080 Original Encoding Solving Time: 0.259532
+ [java] 1588133875080 Original Encoding Incremental Solving Time: 0.030216
+ [java] 1588133875090 Original Encoding Solving Time: 0.171108
+ [java] 1588133875090 Original Encoding Incremental Solving Time: 0.022085
+ [java] 1588133875099 Original Encoding Solving Time: 0.16862
+ [java] 1588133875099 Original Encoding Incremental Solving Time: 0.017108
+ [java] 1588133875111 Original Encoding Solving Time: 3.532042
+ [java] NOT
+ [java] {BooleanPredicate<0x7f43d0a30f60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a34f20>:Members: 223, 224, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a562a0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a30f60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a34f20>:Members: 223, 224, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a56380>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70410>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d04e1ae0>:Members: 223, 224, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a56460>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70410>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d04e1ae0>:Members: 223, 224, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d025c050>: 223}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a60d90>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a84da0>:{Set(1)<0x7f43d0a2d780>:Members: 221, } 0x7f43d0a84da0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a60af0>: NOT
+ [java] {BooleanPredicate<0x7f43d04e7130>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a765c0>:{Set(1)<0x7f43d04f6f90>:Members: 225, } 0x7f43d0a765c0 UNASSIGNED }{ElementConst<0x7f43d04e7940>: 225}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d03d6390>: NOT
+ [java] {BooleanPredicate<0x7f43d03e88e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a768a0>:{Set(1)<0x7f43d0a21b40>:Members: 221, 226, } 0x7f43d0a768a0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a79330>: NOT
+ [java] {BooleanPredicate<0x7f43d03e88e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a768a0>:{Set(1)<0x7f43d0a21b40>:Members: 221, 226, } 0x7f43d0a768a0 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 221}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f43d04e84d0>: OR
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a78ca0>: OR
+ [java] {BooleanPredicate<0x7f43d0a70c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a844c0>:Members: 234, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 234}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a795c0>: OR
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a84ab0>: OR
+ [java] {BooleanPredicate<0x7f43d0a41770>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d09c80c0>: 236}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a79160>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d09c80c0>: 236}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a7bd90>: OR
+ [java] {BooleanPredicate<0x7f43d0a56310>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d025c050>: 237}
+ [java] }
+ [java] {BooleanPredicate<0x7f43d0a7e460>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d025c050>: 237}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a76120>: OR
+ [java] {BooleanPredicate<0x7f43d0a79330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7bbd0>:{Set(1)<0x7f43d0a53b80>:Members: 238, } 0x7f43d0a7bbd0 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 238}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a7e9c0>: OR
+ [java] {BooleanLogic<0x7f43d0235010>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a844c0>:Members: 234, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 234}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a61530>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d07ce2c0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d04e7590>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a41a00>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a7e6d0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a81810>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a75e10>: NOT
+ [java] {BooleanPredicate<0x7f43d0a79330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7bbd0>:{Set(1)<0x7f43d0a53b80>:Members: 238, } 0x7f43d0a7bbd0 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 238}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a75f80>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a7e800>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a9a880>: OR
+ [java] {BooleanLogic<0x7f43d0a97da0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a844c0>:Members: 234, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 234}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a97df0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a99ff0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9a0d0>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9a1b0>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9a290>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a97ba0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9a580>: NOT
+ [java] {BooleanPredicate<0x7f43d0a79330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7bbd0>:{Set(1)<0x7f43d0a53b80>:Members: 238, } 0x7f43d0a7bbd0 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 238}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9a660>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9a740>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a9d3a0>: OR
+ [java] {BooleanLogic<0x7f43d0a9aa50>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a844c0>:Members: 234, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 234}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9aaa0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9cc40>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9cd20>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9ce00>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9cee0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9cfc0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9d0a0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a79330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7bbd0>:{Set(1)<0x7f43d0a53b80>:Members: 238, } 0x7f43d0a7bbd0 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 238}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9d180>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9d260>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f43d0a9ff00>: OR
+ [java] {BooleanLogic<0x7f43d0a9d570>: NOT
+ [java] {BooleanPredicate<0x7f43d0a70c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34ca0>:{Set(1)<0x7f43d0a844c0>:Members: 234, } 0x7f43d0a34ca0 UNASSIGNED }{ElementConst<0x7f43d04ef740>: 234}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9d5c0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9f7a0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a6dcd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a34d20>:{Set(1)<0x7f43d0a843e0>:Members: 235, 237, } 0x7f43d0a34d20 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x1588133875111 Original Encoding Incremental Solving Time: 0.02955
+ [java] Path Solving Time: 4.858893
+ [java] Path Solving Time: 13.366928
+ [java] 1588133875149 Original Encoding Solving Time: 0.31431
+ [java] 1588133875149 Original Encoding Incremental Solving Time: 0.099729
+ [java] 1588133875165 Original Encoding Solving Time: 0.16026
+ [java] 1588133875165 Original Encoding Incremental Solving Time: 0.016247
+ [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] 1588133875176 Original Encoding Solving Time: 0.166868
+ [java] 1588133875176 Original Encoding Incremental Solving Time: 0.025718
+ [java] 1588133875184 Original Encoding Solving Time: 0.160642
+ [java] 1588133875184 Original Encoding Incremental Solving Time: 0.013869
+ [java] 1588133875192 Original Encoding Solving Time: 0.133582
+ [java] 1588133875192 Original Encoding Incremental Solving Time: 0.013772
+ [java] Path Solving Time: 4.259923
+ [java] Path Solving Time: 10.370118
+ [java] 1588133875226 Original Encoding Solving Time: 0.257409
+ [java] 1588133875226 Original Encoding Incremental Solving Time: 0.071641
+ [java] 1588133875241 Original Encoding Solving Time: 0.175442
+ [java] 1588133875241 Original Encoding Incremental Solving Time: 0.029461
+ [java] 1588133875250 Original Encoding Solving Time: 0.76696
+ [java] 1588133875250 Original Encoding Incremental Solving Time: 0.039833
+ [java] 1588133875262 Original Encoding Solving Time: 0.192842
+ [java] 1588133875262 Original Encoding Incremental Solving Time: 0.016346
+ [java] 1588133875271 Original Encoding Solving Time: 0.157372
+ [java] 1588133875271 Original Encoding Incremental Solving Time: 0.013013
+ [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] Path Solving Time: 4.041091
+ [java] Path Solving Time: 6.651143
+ [java] 1588133875301 Original Encoding Solving Time: 0.292065
+ [java] 1588133875301 Original Encoding Incremental Solving Time: 0.084723
+ [java] 1588133875314 Original Encoding Solving Time: 0.27915
+ [java] 1588133875314 Original Encoding Incremental Solving Time: 0.015467
+ [java] 1588133875324 Original Encoding Solving Time: 0.712597
+ [java] 1588133875324 Original Encoding Incremental Solving Time: 0.022296
+ [java] 1588133875333 Original Encoding Solving Time: 0.794933
+ [java] 1588133875333 Original Encoding Incremental Solving Time: 0.011698
+ [java] 1588133875341 Original Encoding Solving Time: 0.159854
+ [java] 1588133875341 Original Encoding Incremental Solving Time: 0.011343
+ [java] Path Solving Time: 4.207637
+ [java] Path Solving Time: 12.201363
+ [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] 1588133875376 Original Encoding Solving Time: 0.387523
+ [java] 1588133875376 Original Encoding Incremental Solving Time: 0.981385
+ [java] 1588133875389 Original Encoding Solving Time: 0.211196
+ [java] 1588133875389 Original Encoding Incremental Solving Time: 0.021874
+ [java] 1588133875398 Original Encoding Solving Time: 0.147833
+ [java] 1588133875398 Original Encoding Incremental Solving Time: 0.015144
+ [java] 1588133875406 Original Encoding Solving Time: 0.169854
+ [java] 1588133875406 Original Encoding Incremental Solving Time: 0.010443
+ [java] 1588133875413 Original Encoding Solving Time: 0.150174
+ [java] 1588133875413 Original Encoding Incremental Solving Time: 0.010333
+ [java] Path Solving Time: 4.069917
+ [java] Path Solving Time: 4.385218
+ [java] 1588133875440 Original Encoding Solving Time: 0.212672
+ [java] 1588133875440 Original Encoding Incremental Solving Time: 0.067933
+ [java] 1588133875451 Original Encoding Solving Time: 0.17991
+ [java] 1588133875451 Original Encoding Incremental Solving Time: 0.012557
+ [java] 1588133875460 Original Encoding Solving Time: 0.150683
+ [java] 1588133875460 Original Encoding Incremental Solving Time: 0.016287
+ [java] 1588133875467 Original Encoding Solving Time: 0.148627
+ [java] 1588133875467 Original Encoding Incremental Solving Time: 0.011231
+ [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] 1588133875475 Original Encoding Solving Time: 0.159591
+ [java] 1588133875475 Original Encoding Incremental Solving Time: 0.013744
+ [java] Path Solving Time: 4.061919
+ [java] Path Solving Time: 4.134873
+ [java] 1588133875502 Original Encoding Solving Time: 0.287953
+ [java] 1588133875502 Original Encoding Incremental Solving Time: 0.092828
+ [java] 1588133875518 Original Encoding Solving Time: 0.15843
+ [java] 1588133875518 Original Encoding Incremental Solving Time: 0.015485
+ [java] 1588133875527 Original Encoding Solving Time: 0.146976
+ [java] 1588133875527 Original Encoding Incremental Solving Time: 0.013936
+ [java] 1588133875535 Original Encoding Solving Time: 0.141806
+ [java] 1588133875535 Original Encoding Incremental Solving Time: 0.010491
+ [java] 1588133875543 Original Encoding Solving Time: 0.143986
+ [java] 1588133875543 Original Encoding Incremental Solving Time: 0.010497
+ [java] Path Solving Time: 4.047506
+ [java] Path Solving Time: 8.131918
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133875574 Original Encoding Solving Time: 1.414195
+ [java] 1588133875574 Original Encoding Incremental Solving Time: 0.124563
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133876711 Original Encoding Solving Time: 0.168222
+ [java] 1588133876711 Original Encoding Incremental Solving Time: 0.01118
+ [java] 1588133876720 Original Encoding Solving Time: 0.136968
+ [java] 1588133876720 Original Encoding Incremental Solving Time: 0.013149
+ [java] 1588133876729 Original Encoding Solving Time: 0.182152
+ [java] 1588133876729 Original Encoding Incremental Solving Time: 0.013809
+ [java] 1588133876737 Original Encoding Solving Time: 0.147641
+ [java] 1588133876737 Original Encoding Incremental Solving Time: 0.011215
+ [java] Path Solving Time: 10.884588
+ [java] Path Solving Time: 11.707008
+ [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] 1588133876781 Original Encoding Solving Time: 0.237126
+ [java] 1588133876781 Original Encoding Incremental Solving Time: 0.09061
+ [java] 1588133876792 Original Encoding Solving Time: 0.168836
+ [java] 1588133876792 Original Encoding Incremental Solving Time: 0.012439
+ [java] 1588133876799 Original Encoding Solving Time: 0.165094
+ [java] 1588133876799 Original Encoding Incremental Solving Time: 0.014733
+ [java] 1588133876807 Original Encoding Solving Time: 0.163495
+ [java] 1588133876807 Original Encoding Incremental Solving Time: 0.012505
+ [java] 1588133876814 Original Encoding Solving Time: 0.134405
+ [java] 1588133876814 Original Encoding Incremental Solving Time: 0.010904
+ [java] Path Solving Time: 3.911907
+ [java] Path Solving Time: 5.166169
+ [java] 1588133876845 Original Encoding Solving Time: 0.247066
+ [java] 1588133876845 Original Encoding Incremental Solving Time: 0.08478
+ [java] 1588133876857 Original Encoding Solving Time: 0.190582
+ [java] 1588133876857 Original Encoding Incremental Solving Time: 0.028443
+ [java] 1588133876866 Original Encoding Solving Time: 0.205388
+ [java] 1588133876866 Original Encoding Incremental Solving Time: 0.016379
+ [java] 1588133876874 Original Encoding Solving Time: 0.336106
+ [java] 1588133876874 Original Encoding Incremental Solving Time: 0.038613
+ [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] 1588133876881 Original Encoding Solving Time: 0.151308
+ [java] 1588133876881 Original Encoding Incremental Solving Time: 0.010531
+ [java] Path Solving Time: 35.194508
+ [java] Path Solving Time: 6.105078
+ [java] Path Solving Time: 20.454365
+ [java] 1588133876965 Original Encoding Solving Time: 0.253033
+ [java] 1588133876965 Original Encoding Incremental Solving Time: 0.065525
+ [java] 1588133876976 Original Encoding Solving Time: 0.026059
+ [java] 1588133876976 Original Encoding Incremental Solving Time: 0.003983
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 13.808717
+ [java] Path Solving Time: 9.771751
+ [java] Path Solving Time: 7.997413
+ [java] 1588133877041 Original Encoding Solving Time: 0.248634
+ [java] 1588133877041 Original Encoding Incremental Solving Time: 0.130696
+ [java] 1588133877053 Original Encoding Solving Time: 0.164375
+ [java] 1588133877053 Original Encoding Incremental Solving Time: 0.012335
+ [java] 1588133877061 Original Encoding Solving Time: 0.152743
+ [java] 1588133877061 Original Encoding Incremental Solving Time: 0.004598
+ [java] Path Solving Time: 4.832396
+ [java] Path Solving Time: 4.831988
+ [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] Path Solving Time: 0.814905
+ [java] 1588133877099 Original Encoding Solving Time: 0.373499
+ [java] 1588133877099 Original Encoding Incremental Solving Time: 0.07758
+ [java] 1588133877112 Original Encoding Solving Time: 0.152641
+ [java] 1588133877112 Original Encoding Incremental Solving Time: 0.023409
+ [java] 1588133877121 Original Encoding Solving Time: 0.18515
+ [java] 1588133877121 Original Encoding Incremental Solving Time: 0.027988
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 13
+ [java] Sketch Generation Time: 1190.626501
+ [java] Sketch Completion Time: 1221.5889319999999
+ [java] Compilation Time: 2915.615136
+ [java] Running Test cases Time: 47.94985399999998
+ [java] Synthesis Time: 2460.165287
+ [java] Total Time: 5375.780423
+ [java] Number of components: 5
+ [java] Number of holes: 8
+ [java] Number of completed programs: 172
+ [java] Number of sketches: 49
+ [java] Solution:
+ [java] double sypet_var318 = sypet_arg1.getY();
+ [java] double sypet_var319 = sypet_arg1.getX();
+ [java] java.awt.geom.AffineTransform sypet_var320 = java.awt.geom.AffineTransform.getRotateInstance(sypet_arg2,sypet_var319,sypet_var318);
+ [java] java.awt.geom.Area sypet_var321 = sypet_arg0.createTransformedArea(sypet_var320);
+ [java] return sypet_var321;
+ [java]
+ [java] ============================
+ [java] 7f43d0a9f880>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9f960>: NOT
+ [java] {BooleanPredicate<0x7f43d07c8250>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260520>:{Set(1)<0x7f43d0a84300>:Members: 235, 237, } 0x7f43d0260520 UNASSIGNED }{ElementConst<0x7f43d079e810>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9fa40>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9fb20>: NOT
+ [java] {BooleanPredicate<0x7f43d0a5ebc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0260640>:{Set(1)<0x7f43d0a7bd30>:Members: 233, 236, } 0x7f43d0260640 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9fc00>: NOT
+ [java] {BooleanPredicate<0x7f43d0a79330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7bbd0>:{Set(1)<0x7f43d0a53b80>:Members: 238, } 0x7f43d0a7bbd0 UNASSIGNED }{ElementConst<0x7f43d07c80d0>: 238}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9fce0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f43d0a9fdc0>: NOT
+ [java] {BooleanPredicate<0x7f43d0a1d030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f43d0a7be70>:{Set(1)<0x7f43d0a218a0>:Members: 233, 236, } 0x7f43d0a7be70 UNASSIGNED }{ElementConst<0x7f43d07c8380>: 233}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 10 seconds
projects / Benchmarks_CSolver.git / blobdiff