--- /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: 3245.359002
+ [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: 13.199957
+ [java] Path Solving Time: 20.007321
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 12.104268
+ [java] Path Solving Time: 10.445929
+ [java] Path Solving Time: 4.101879
+ [java] Path Solving Time: 1.465469
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 1.428431
+ [java] 1588145253658 Original Encoding Solving Time: 0.881827
+ [java] 1588145253658 Original Encoding Incremental Solving Time: 0.177954
+ [java] 1588145253933 Original Encoding Solving Time: 0.313215
+ [java] 1588145253933 Original Encoding Incremental Solving Time: 0.045699
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588145253961 Original Encoding Solving Time: 0.297134
+ [java] 1588145253961 Original Encoding Incremental Solving Time: 0.033426
+ [java] Path Solving Time: 2.173707
+ [java] Path Solving Time: 18.705814
+ [java] Path Solving Time: 3.51541
+ [java] Path Solving Time: 1.213524
+ [java] 1588145254004 Original Encoding Solving Time: 0.316513
+ [java] 1588145254004 Original Encoding Incremental Solving Time: 0.211616
+ [java] 1588145254032 Original Encoding Solving Time: 0.414784
+ [java] 1588145254032 Original Encoding Incremental Solving Time: 0.056175
+ [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] 1588145254051 Original Encoding Solving Time: 0.185888
+ [java] 1588145254051 Original Encoding Incremental Solving Time: 0.216397
+ [java] Path Solving Time: 4.294038
+ [java] Path Solving Time: 1.124785
+ [java] 1588145254074 Original Encoding Solving Time: 0.396207
+ [java] 1588145254074 Original Encoding Incremental Solving Time: 0.200206
+ [java] 1588145254100 Original Encoding Solving Time: 0.278577
+ [java] 1588145254100 Original Encoding Incremental Solving Time: 0.044345
+ [java] 1588145254117 Original Encoding Solving Time: 0.180042
+ [java] 1588145254117 Original Encoding Incremental Solving Time: 0.020585
+ [java] Path Solving Time: 3.980829
+ [java] Path Solving Time: 0.903009
+ [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] 1588145254140 Original Encoding Solving Time: 0.407881
+ [java] 1588145254140 Original Encoding Incremental Solving Time: 0.132737
+ [java] 1588145254164 Original Encoding Solving Time: 0.226016
+ [java] 1588145254164 Original Encoding Incremental Solving Time: 0.041812
+ [java] 1588145254181 Original Encoding Solving Time: 0.177742
+ [java] 1588145254181 Original Encoding Incremental Solving Time: 0.017156
+ [java] Path Solving Time: 3.741488
+ [java] Path Solving Time: 0.838808
+ [java] 1588145254203 Original Encoding Solving Time: 0.467534
+ [java] 1588145254203 Original Encoding Incremental Solving Time: 0.176451
+ [java] 1588145254232 Original Encoding Solving Time: 0.416897
+ [java] 1588145254232 Original Encoding Incremental Solving Time: 0.047342
+ [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] 1588145254246 Original Encoding Solving Time: 0.184946
+ [java] 1588145254246 Original Encoding Incremental Solving Time: 0.01683
+ [java] Path Solving Time: 3.687934
+ [java] Path Solving Time: 0.724267
+ [java] 1588145254269 Original Encoding Solving Time: 0.566617
+ [java] 1588145254269 Original Encoding Incremental Solving Time: 0.270336
+ [java] 1588145254294 Original Encoding Solving Time: 0.191406
+ [java] 1588145254294 Original Encoding Incremental Solving Time: 0.035086
+ [java] 1588145254310 Original Encoding Solving Time: 0.163012
+ [java] 1588145254310 Original Encoding Incremental Solving Time: 0.105857
+ [java] Path Solving Time: 4.685404
+ [java] Path Solving Time: 1.153696
+ [java] 1588145254333 Original Encoding Solving Time: 0.42935
+ [java] 1588145254333 Original Encoding Incremental Solving Time: 0.162298
+ [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] 1588145254355 Original Encoding Solving Time: 0.187048
+ [java] 1588145254355 Original Encoding Incremental Solving Time: 0.037016
+ [java] 1588145254368 Original Encoding Solving Time: 0.184618
+ [java] 1588145254368 Original Encoding Incremental Solving Time: 0.024512
+ [java] Path Solving Time: 3.847303
+ [java] Path Solving Time: 0.787096
+ [java] 1588145254390 Original Encoding Solving Time: 0.488391
+ [java] 1588145254390 Original Encoding Incremental Solving Time: 0.197052
+ [java] 1588145254413 Original Encoding Solving Time: 0.280818
+ [java] 1588145254413 Original Encoding Incremental Solving Time: 0.035007
+ [java] 1588145254433 Original Encoding Solving Time: 0.225224
+ [java] 1588145254433 Original Encoding Incremental Solving Time: 0.019493
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 16.150278
+ [java] PetriNet for path length: 7 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 10.310166
+ [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: 22.593302
+ [java] Path Solving Time: 4.137873
+ [java] Path Solving Time: 1.764205
+ [java] Path Solving Time: 0.698228
+ [java] 1588145254879 Original Encoding Solving Time: 0.550051
+ [java] 1588145254879 Original Encoding Incremental Solving Time: 0.196023
+ [java] 1588145254898 Original Encoding Solving Time: 0.2869
+ [java] 1588145254898 Original Encoding Incremental Solving Time: 0.043637
+ [java] 1588145254911 Original Encoding Solving Time: 0.229494
+ [java] 1588145254911 Original Encoding Incremental Solving Time: 0.016971
+ [java] Path Solving Time: 1.055773
+ [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: 30.334431
+ [java] Path Solving Time: 3.020868
+ [java] Path Solving Time: 2.540603
+ [java] Path Solving Time: 0.563162
+ [java] 1588145254970 Original Encoding Solving Time: 1.100909
+ [java] 1588145254970 Original Encoding Incremental Solving Time: 0.469523
+ [java] 1588145254990 Original Encoding Solving Time: 0.209029
+ [java] 1588145254990 Original Encoding Incremental Solving Time: 0.046508
+ [java] 1588145255003 Original Encoding Solving Time: 0.173598
+ [java] 1588145255003 Original Encoding Incremental Solving Time: 0.028366
+ [java] Path Solving Time: 2.536072
+ [java] Path Solving Time: 4.605737
+ [java] Path Solving Time: 0.563636
+ [java] 1588145255031 Original Encoding Solving Time: 0.471097
+ [java] 1588145255031 Original Encoding Incremental Solving Time: 0.110583
+ [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] Done with finding holes : Flag = true
+ [java] 1588145255052 Original Encoding Solving Time: 0.222601
+ [java] 1588145255052 Original Encoding Incremental Solving Time: 0.028012
+ [java] 1588145255065 Original Encoding Solving Time: 0.161765
+ [java] 1588145255065 Original Encoding Incremental Solving Time: 0.01203
+ [java] Path Solving Time: 2.181977
+ [java] Path Solving Time: 0.492013
+ [java] 1588145255094 Original Encoding Solving Time: 6.601554
+ [java] 1588145255094 Original Encoding Incremental Solving Time: 0.222509
+ [java] 1588145255115 Original Encoding Solving Time: 0.200853
+ [java] 1588145255115 Original Encoding Incremental Solving Time: 0.025225
+ [java] 1588145255127 Original Encoding Solving Time: 0.210606
+ [java] 1588145255127 Original Encoding Incremental Solving Time: 0.010685
+ [java] Path Solving Time: 2.168415
+ [java] Path Solving Time: 0.509897
+ [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] 1588145255151 Original Encoding Solving Time: 0.42499
+ [java] 1588145255151 Original Encoding Incremental Solving Time: 0.157641
+ [java] 1588145255173 Original Encoding Solving Time: 0.209149
+ [java] 1588145255173 Original Encoding Incremental Solving Time: 0.044495
+ [java] 1588145255186 Original Encoding Solving Time: 0.163423
+ [java] 1588145255186 Original Encoding Incremental Solving Time: 0.024199
+ [java] Path Solving Time: 2.055637
+ [java] Path Solving Time: 0.36354
+ [java] 1588145255210 Original Encoding Solving Time: 1.388586
+ [java] 1588145255210 Original Encoding Incremental Solving Time: 0.130553
+ [java] 1588145255229 Original Encoding Solving Time: 0.217651
+ [java] 1588145255229 Original Encoding Incremental Solving Time: 0.025062
+ [java] 1588145255242 Original Encoding Solving Time: 0.186697
+ [java] 1588145255242 Original Encoding Incremental Solving Time: 0.015238
+ [java] Path Solving Time: 2.326462
+ [java] Path Solving Time: 0.532211
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145255266 Original Encoding Solving Time: 0.380214
+ [java] 1588145255266 Original Encoding Incremental Solving Time: 0.142734
+ [java] 1588145255291 Original Encoding Solving Time: 3.12323
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f97089ba220>: OR
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970839ad60>:{Set(1)<0x7f970876f610>:Members: 70, } 0x7f970839ad60 UNASSIGNED }{ElementConst<0x7f970877c0b0>: 70}
+ [java] }
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708248960>:{Set(1)<0x7f970877af60>:Members: 70, 76, } 0x7f9708248960 UNASSIGNED }{ElementConst<0x7f970877c0b0>: 70}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083b99a0>: OR
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f970897bd90>:Members: 71, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f970877c020>: 71}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97082435a0>: OR
+ [java] {BooleanPredicate<0x7f970898dca0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970877ce20>:Members: 72, 73, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708762060>: 72}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708995db0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f97087818f0>:Members: 72, 73, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708762060>: 72}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708247cb0>: OR
+ [java] {BooleanPredicate<0x7f97089796d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970877ce20>:Members: 72, 73, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708730e60>: 73}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708778b00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f97087818f0>:Members: 72, 73, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708730e60>: 73}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708998f40>: OR
+ [java] {BooleanPredicate<0x7f9708243610>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f97083b91d0>:Members: 74, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f9708979510>: 74}
+ [java] }
+ [java] {BooleanPredicate<0x7f97089a97a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970899e0f0>:{Set(1)<0x7f97087618d0>:Members: 74, 75, } 0x7f970899e0f0 UNASSIGNED }{ElementConst<0x7f9708979510>: 74}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f970899e9f0>: OR
+ [java] {BooleanPredicate<0x7f9708762810>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970899e0f0>:{Set(1)<0x7f97087618d0>:Members: 74, 75, } 0x7f970899e0f0 UNASSIGNED }{ElementConst<0x7f9708979430>: 75}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f970899f6d0>: OR
+ [java] {BooleanPredicate<0x7f97089b14e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708248960>:{Set(1)<0x7f970877af60>:Members: 70, 76, } 0x7f9708248960 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 76}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f9708396840>: OR
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bf390>:{Set(1)<0x7f9708781870>:Members: 91, } 0x7f97083bf390 UNASSIGNED }{ElementConst<0x7f9708968730>: 91}
+ [java] }
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc4c0>:{Set(1)<0x7f970876e200>:Members: 91, 97, } 0x7f97083bc4c0 UNASSIGNED }{ElementConst<0x7f9708968730>: 91}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97089b76c0>: OR
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f97087818f0>:Members: 92, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f9708979430>: 92}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708996360>: OR
+ [java] {BooleanPredicate<0x7f97083a0cd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 93, 94, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f97083a0870>: 93}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083a0b10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 93, 94, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f97083a0870>: 93}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a8d40>: OR
+ [java] {BooleanPredicate<0x7f97089a94b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 93, 94, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708987670>: 94}
+ [java] }
+ [java] {BooleanPredicate<0x7f970877c9f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 93, 94, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708987670>: 94}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f970875c7a0>: OR
+ [java] {Boolea1588145255291 Original Encoding Incremental Solving Time: 0.048555
+ [java] 1588145255304 Original Encoding Solving Time: 0.164881
+ [java] 1588145255304 Original Encoding Incremental Solving Time: 0.009852
+ [java] Path Solving Time: 2.116619
+ [java] Path Solving Time: 0.402161
+ [java] 1588145255327 Original Encoding Solving Time: 0.378937
+ [java] 1588145255327 Original Encoding Incremental Solving Time: 0.821594
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588145255355 Original Encoding Solving Time: 4.179934
+ [java] nPredicate<0x7f97083a8aa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97082483c0>:Members: 95, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708979510>: 95}
+ [java] }
+ [java] {BooleanPredicate<0x7f97089a97a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc1c0>:{Set(1)<0x7f9708987530>:Members: 95, 96, } 0x7f97083bc1c0 UNASSIGNED }{ElementConst<0x7f9708979510>: 95}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a3630>: OR
+ [java] {BooleanPredicate<0x7f97083a2ef0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc1c0>:{Set(1)<0x7f9708987530>:Members: 95, 96, } 0x7f97083bc1c0 UNASSIGNED }{ElementConst<0x7f9708762060>: 96}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708778da0>: OR
+ [java] {BooleanPredicate<0x7f970877b450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc4c0>:{Set(1)<0x7f970876e200>:Members: 91, 97, } 0x7f97083bc4c0 UNASSIGNED }{ElementConst<0x7f9708996a80>: 97}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083c4860>: OR
+ [java] {BooleanLogic<0x7f97083a09c0>: NOT
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f97087818f0>:Members: 92, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f9708979430>: 92}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c3fa0>: NOT
+ [java] {BooleanPredicate<0x7f97083a0cd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 93, 94, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f97083a0870>: 93}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c4080>: NOT
+ [java] {BooleanPredicate<0x7f97083a0cd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 93, 94, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f97083a0870>: 93}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c4160>: NOT
+ [java] {BooleanPredicate<0x7f97083a0b10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 93, 94, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f97083a0870>: 93}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c4240>: NOT
+ [java] {BooleanPredicate<0x7f97083a0b10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 93, 94, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f97083a0870>: 93}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c4320>: NOT
+ [java] {BooleanPredicate<0x7f97083a8aa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97082483c0>:Members: 95, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708979510>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c4400>: NOT
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bf390>:{Set(1)<0x7f9708781870>:Members: 91, } 0x7f97083bf390 UNASSIGNED }{ElementConst<0x7f9708968730>: 91}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c44e0>: NOT
+ [java] {BooleanPredicate<0x7f97089a97a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc1c0>:{Set(1)<0x7f9708987530>:Members: 95, 96, } 0x7f97083bc1c0 UNASSIGNED }{ElementConst<0x7f9708979510>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c45c0>: NOT
+ [java] {BooleanPredicate<0x7f97089a97a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc1c0>:{Set(1)<0x7f9708987530>:Members: 95, 96, } 0x7f97083bc1c0 UNASSIGNED }{ElementConst<0x7f9708979510>: 95}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c46a0>: NOT
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc4c0>:{Set(1)<0x7f970876e200>:Members: 91, 97, } 0x7f97083bc4c0 UNASSIGNED }{ElementConst<0x7f9708968730>: 91}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083c4780>: NOT
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083bc4c0>:{Set(1)<0x7f970876e200>:Members: 91, 97, } 0x7f97083bc4c0 UNASSIGNED }{ElementConst<0x7f9708968730>: 91}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f97083ab5e0>: OR
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c72d0>:{Set(1)<0x7f970877aca0>:Members: 98, } 0x7f97083c72d0 UNASSIGNED }{ElementConst<0x7f9708968730>: 98}
+ [java] }
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4d20>:{Set(1)<0x7f97083b91d0>:Members: 98, 104, } 0x7f97083c4d20 UNASSIGNED }{ElementConst<0x7f9708968730>: 98}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f970898dcc0>: OR
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97082483c0>:Members: 99, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f970877d360>: 99}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708773b40>: OR
+ [java] {BooleanPredicate<0x7f97083b0ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 100, 101, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708762060>: 100}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083b0c50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 100, 101, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708762060>: 100}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a8a30>: OR
+ [java] {BooleanPredicate<0x7f97083a0bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 100, 101, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708979510>: 101}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083a8c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 100, 101, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708979510>: 101}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a3630>: OR
+ [java] {BooleanPredicate<0x7f9708778b00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f97087818f0>:Members: 102, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 102}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083a8aa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4a00>:{Set(1)<0x7f97087618d0>:Members: 102, 103, } 0x7f97083c4a00 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 102}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083bea90>: OR
+ [java] {BooleanPredicate<0x7f97089a97a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4a00>:{Set(1)<0x7f97087618d0>:Members: 102, 103, } 0x7f97083c4a00 UNASSIGNED }{ElementConst<0x7f9708730e60>: 103}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a0e20>: OR
+ [java] {BooleanPredicate<0x7f97083a2ef0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4d20>:{Set(1)<0x7f97083b91d0>:Members: 98, 104, } 0x7f97083c4d20 UNASSIGNED }{ElementConst<0x7f9708987670>: 104}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083ccae0>: OR
+ [java] {BooleanLogic<0x7f970839a5a0>: NOT
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97082483c0>:Members: 99, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f970877d360>: 99}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc220>: NOT
+ [java] {BooleanPredicate<0x7f97083b0ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 100, 101, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708762060>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc300>: NOT
+ [java] {BooleanPredicate<0x7f97083b0ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f970897bd90>:Members: 100, 101, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708762060>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc3e0>: NOT
+ [java] {BooleanPredicate<0x7f97083b0c50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 100, 101, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708762060>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc4c0>: NOT
+ [java] {BooleanPredicate<0x7f97083b0c50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970877ce20>:Members: 100, 101, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708762060>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc5a0>: NOT
+ [java] {BooleanPredicate<0x7f9708778b00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f97087818f0>:Members: 102, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 102}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc680>: NOT
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c72d0>:{Set(1)<0x7f970877aca0>:Members: 98, } 0x7f97083c72d0 UNASSIGNED }{ElementConst<0x7f9708968730>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc760>: NOT
+ [java] {BooleanPredicate<0x7f97083a8aa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4a00>:{Set(1)<0x7f97087618d0>:Members: 102, 103, } 0x7f97083c4a00 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 102}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc840>: NOT
+ [java] {BooleanPredicate<0x7f97083a8aa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4a00>:{Set(1)<0x7f97087618d0>:Members: 102, 103, } 0x7f97083c4a00 UNASSIGNED }{El1588145255355 Original Encoding Incremental Solving Time: 0.084436
+ [java] 1588145255371 Original Encoding Solving Time: 0.160892
+ [java] 1588145255371 Original Encoding Incremental Solving Time: 0.015531
+ [java] Path Solving Time: 2.459401
+ [java] Path Solving Time: 0.513933
+ [java] 1588145255394 Original Encoding Solving Time: 0.413849
+ [java] 1588145255394 Original Encoding Incremental Solving Time: 0.104434
+ [java] 1588145255422 Original Encoding Solving Time: 1.920213
+ [java] 1588145255422 Original Encoding Incremental Solving Time: 0.056743
+ [java] 1588145255436 Original Encoding Solving Time: 0.181859
+ [java] 1588145255436 Original Encoding Incremental Solving Time: 0.022502
+ [java] Path Solving Time: 2.292682
+ [java] Path Solving Time: 0.493688
+ [java] Done with finding holes : Flag = false
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588145255463 Original Encoding Solving Time: 3.680011
+ [java] 1588145255463 Original Encoding Incremental Solving Time: 0.180543
+ [java] 1588145255485 Original Encoding Solving Time: 0.227995
+ [java] 1588145255485 Original Encoding Incremental Solving Time: 0.032889
+ [java] 1588145255499 Original Encoding Solving Time: 0.181607
+ [java] 1588145255499 Original Encoding Incremental Solving Time: 0.010194
+ [java] Path Solving Time: 2.08258
+ [java] Path Solving Time: 0.41785
+ [java] 1588145255523 Original Encoding Solving Time: 1.478577
+ [java] 1588145255523 Original Encoding Incremental Solving Time: 0.16043
+ [java] 1588145255543 Original Encoding Solving Time: 0.608673
+ [java] 1588145255543 Original Encoding Incremental Solving Time: 0.036917
+ [java] 1588145255558 Original Encoding Solving Time: 0.19141
+ [java] 1588145255558 Original Encoding Incremental Solving Time: 0.018841
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 3.387405
+ [java] Path Solving Time: 0.89589
+ [java] 1588145255587 Original Encoding Solving Time: 3.292394
+ [java] ementConst<0x7f970877d5e0>: 102}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cc920>: NOT
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4d20>:{Set(1)<0x7f97083b91d0>:Members: 98, 104, } 0x7f97083c4d20 UNASSIGNED }{ElementConst<0x7f9708968730>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f97083cca00>: NOT
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083c4d20>:{Set(1)<0x7f97083b91d0>:Members: 98, 104, } 0x7f97083c4d20 UNASSIGNED }{ElementConst<0x7f9708968730>: 98}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f97087745e0>: OR
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97085054c0>:{Set(1)<0x7f97083a12a0>:Members: 112, } 0x7f97085054c0 UNASSIGNED }{ElementConst<0x7f97083c6db0>: 112}
+ [java] }
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083d4f10>:{Set(1)<0x7f97087818f0>:Members: 112, 118, } 0x7f97083d4f10 UNASSIGNED }{ElementConst<0x7f97083c6db0>: 112}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a8f00>: OR
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97083c4330>:Members: 113, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708987670>: 113}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083b0a40>: OR
+ [java] {BooleanPredicate<0x7f97083a8aa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f97082483c0>:Members: 114, 115, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708979430>: 114}
+ [java] }
+ [java] {BooleanPredicate<0x7f97089a97a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970897bd90>:Members: 114, 115, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708979430>: 114}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708242e80>: OR
+ [java] {BooleanPredicate<0x7f97083a2ef0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f97082483c0>:Members: 114, 115, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708996a80>: 115}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083cc200>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f970897bd90>:Members: 114, 115, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708996a80>: 115}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a3630>: OR
+ [java] {BooleanPredicate<0x7f970877c9f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f97083cf0b0>:Members: 116, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f970877d360>: 116}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083a8b80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083cf2c0>:{Set(1)<0x7f970877ce20>:Members: 116, 117, } 0x7f97083cf2c0 UNASSIGNED }{ElementConst<0x7f970877d360>: 116}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083d4e60>: OR
+ [java] {BooleanPredicate<0x7f97083a9350>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083cf2c0>:{Set(1)<0x7f970877ce20>:Members: 116, 117, } 0x7f97083cf2c0 UNASSIGNED }{ElementConst<0x7f9708730e60>: 117}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083bc430>: OR
+ [java] {BooleanPredicate<0x7f97083c4630>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97083d4f10>:{Set(1)<0x7f97087818f0>:Members: 112, 118, } 0x7f97083d4f10 UNASSIGNED }{ElementConst<0x7f9708979510>: 118}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f97083c4c70>: OR
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089c4cc0>:{Set(1)<0x7f97083cc5b0>:Members: 126, } 0x7f97089c4cc0 UNASSIGNED }{ElementConst<0x7f97083c6db0>: 126}
+ [java] }
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089c2b80>:{Set(1)<0x7f9708987530>:Members: 126, 132, } 0x7f97089c2b80 UNASSIGNED }{ElementConst<0x7f97083c6db0>: 126}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083a8f70>: OR
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97083d4530>:Members: 127, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 127}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083dbe90>: OR
+ [java] {BooleanPredicate<0x7f97083dbe00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f97083c4330>:Members: 128, 129, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708762060>: 128}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f97082483c0>:Members:1588145255587 Original Encoding Incremental Solving Time: 0.961455
+ [java] 1588145255607 Original Encoding Solving Time: 0.216911
+ [java] 1588145255607 Original Encoding Incremental Solving Time: 0.034912
+ [java] 1588145255618 Original Encoding Solving Time: 0.658296
+ [java] 1588145255618 Original Encoding Incremental Solving Time: 0.013848
+ [java] Path Solving Time: 2.267437
+ [java] Path Solving Time: 0.50273
+ [java] 1588145255643 Original Encoding Solving Time: 2.111124
+ [java] 1588145255643 Original Encoding Incremental Solving Time: 0.216817
+ [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] 1588145255666 Original Encoding Solving Time: 0.241159
+ [java] 1588145255666 Original Encoding Incremental Solving Time: 0.079251
+ [java] 1588145255682 Original Encoding Solving Time: 0.337403
+ [java] 1588145255682 Original Encoding Incremental Solving Time: 0.01845
+ [java] Path Solving Time: 3.929159
+ [java] Path Solving Time: 0.877936
+ [java] 1588145255708 Original Encoding Solving Time: 0.608729
+ [java] 1588145255708 Original Encoding Incremental Solving Time: 0.302965
+ [java] 1588145255732 Original Encoding Solving Time: 0.203736
+ [java] 1588145255732 Original Encoding Incremental Solving Time: 0.041342
+ [java] 1588145255746 Original Encoding Solving Time: 0.207032
+ [java] 1588145255746 Original Encoding Incremental Solving Time: 0.013051
+ [java] Path Solving Time: 3.271691
+ [java] Path Solving Time: 0.785535
+ [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] 1588145255771 Original Encoding Solving Time: 0.429587
+ [java] 1588145255771 Original Encoding Incremental Solving Time: 0.20385
+ [java] 1588145255796 Original Encoding Solving Time: 0.2204
+ [java] 1588145255796 Original Encoding Incremental Solving Time: 0.04471
+ [java] 1588145255810 Original Encoding Solving Time: 0.217689
+ [java] 1588145255810 Original Encoding Incremental Solving Time: 0.025123
+ [java] Path Solving Time: 2.909358
+ [java] Path Solving Time: 0.852639
+ [java] 1588145255835 Original Encoding Solving Time: 0.562808
+ [java] 1588145255835 Original Encoding Incremental Solving Time: 0.22979
+ [java] 1588145255860 Original Encoding Solving Time: 0.244471
+ [java] 1588145255860 Original Encoding Incremental Solving Time: 0.057524
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145255875 Original Encoding Solving Time: 0.224228
+ [java] 1588145255875 Original Encoding Incremental Solving Time: 0.016909
+ [java] Path Solving Time: 14.372455
+ [java] Path Solving Time: 30.797344
+ [java] Path Solving Time: 7.709344
+ [java] Path Solving Time: 4.25804
+ [java] 1588145255954 Original Encoding Solving Time: 0.518977
+ [java] 1588145255954 Original Encoding Incremental Solving Time: 0.139733
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145255976 Original Encoding Solving Time: 0.292818
+ [java] 1588145255976 Original Encoding Incremental Solving Time: 0.035511
+ [java] 1588145255986 Original Encoding Solving Time: 0.197051
+ [java] 1588145255986 Original Encoding Incremental Solving Time: 0.012407
+ [java] Path Solving Time: 5.338313
+ [java] Path Solving Time: 40.792558
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 71.658193
+ [java] Path Solving Time: 1.945546
+ [java] 1588145256128 Original Encoding Solving Time: 0.426576
+ [java] 1588145256128 Original Encoding Incremental Solving Time: 0.113219
+ [java] 1588145256143 Original Encoding Solving Time: 0.051227
+ [java] 1588145256143 Original Encoding Incremental Solving Time: 0.012197
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 48.159764
+ [java] Path Solving Time: 36.253812
+ [java] Path Solving Time: 9.242034
+ [java] Path Solving Time: 1.686111
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145256269 Original Encoding Solving Time: 0.443615
+ [java] 1588145256269 Original Encoding Incremental Solving Time: 0.153037
+ [java] 1588145256292 Original Encoding Solving Time: 0.046542
+ [java] 1588145256292 Original Encoding Incremental Solving Time: 0.011885
+ [java] Path Solving Time: 17.256863
+ [java] Path Solving Time: 14.535007
+ [java] Path Solving Time: 10.541894
+ [java] Path Solving Time: 1.233142
+ [java] 1588145256367 Original Encoding Solving Time: 0.675061
+ [java] 1588145256367 Original Encoding Incremental Solving Time: 0.173973
+ [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] 1588145256390 Original Encoding Solving Time: 0.253658
+ [java] 1588145256390 Original Encoding Incremental Solving Time: 0.026216
+ [java] 1588145256403 Original Encoding Solving Time: 0.221584
+ [java] 1588145256403 Original Encoding Incremental Solving Time: 0.04214
+ [java] 1588145256414 Original Encoding Solving Time: 0.171967
+ [java] 1588145256414 Original Encoding Incremental Solving Time: 0.025164
+ [java] 1588145256423 Original Encoding Solving Time: 0.217366
+ [java] 1588145256423 Original Encoding Incremental Solving Time: 0.014961
+ [java] 1588145256432 Original Encoding Solving Time: 0.179317
+ [java] 1588145256432 Original Encoding Incremental Solving Time: 0.019652
+ [java] 1588145256441 Original Encoding Solving Time: 0.184004
+ [java] 1588145256441 Original Encoding Incremental Solving Time: 0.020047
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 37.267641
+ [java] Path Solving Time: 27.983012
+ [java] Path Solving Time: 29.031575
+ [java] Path Solving Time: 1.03349
+ [java] 1588145256557 Original Encoding Solving Time: 0.528106
+ [java] 1588145256557 Original Encoding Incremental Solving Time: 0.112498
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145256573 Original Encoding Solving Time: 0.317998
+ [java] 1588145256573 Original Encoding Incremental Solving Time: 0.017234
+ [java] 1588145256582 Original Encoding Solving Time: 0.300972
+ [java] 1588145256582 Original Encoding Incremental Solving Time: 0.02184
+ [java] Path Solving Time: 12.361212
+ [java] Path Solving Time: 25.105234
+ [java] Path Solving Time: 1.560065
+ [java] 1588145256642 Original Encoding Solving Time: 0.438646
+ [java] 1588145256642 Original Encoding Incremental Solving Time: 0.135008
+ [java] 1588145256658 Original Encoding Solving Time: 0.323357
+ [java] 1588145256658 Original Encoding Incremental Solving Time: 0.035539
+ [java] 1588145256668 Original Encoding Solving Time: 0.199199
+ [java] 1588145256668 Original Encoding Incremental Solving Time: 0.009099
+ [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: 68.237398
+ [java] Path Solving Time: 15.723627
+ [java] Path Solving Time: 0.833405
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145256772 Original Encoding Solving Time: 0.365006
+ [java] 1588145256772 Original Encoding Incremental Solving Time: 0.081521
+ [java] 1588145256791 Original Encoding Solving Time: 1.570568
+ [java] 1588145256791 Original Encoding Incremental Solving Time: 0.038543
+ [java] 1588145256803 Original Encoding Solving Time: 0.162839
+ [java] 1588145256803 Original Encoding Incremental Solving Time: 0.007704
+ [java] Path Solving Time: 9.095651
+ [java] Path Solving Time: 7.228386
+ [java] Path Solving Time: 13.328333
+ [java] Path Solving Time: 0.631619
+ [java] 1588145256853 Original Encoding Solving Time: 0.262718
+ [java] 1588145256853 Original Encoding Incremental Solving Time: 0.381709
+ [java] 1588145256867 Original Encoding Solving Time: 0.195517
+ [java] 1588145256867 Original Encoding Incremental Solving Time: 0.019207
+ [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] 1588145256876 Original Encoding Solving Time: 0.143959
+ [java] 1588145256876 Original Encoding Incremental Solving Time: 0.007206
+ [java] Path Solving Time: 12.529363
+ [java] Path Solving Time: 10.634523
+ [java] Path Solving Time: 0.510608
+ [java] 1588145256919 Original Encoding Solving Time: 0.220594
+ [java] 1588145256919 Original Encoding Incremental Solving Time: 0.071393
+ [java] 1588145256933 Original Encoding Solving Time: 1.097609
+ [java] 1588145256933 Original Encoding Incremental Solving Time: 0.024532
+ [java] 1588145256943 Original Encoding Solving Time: 0.188205
+ [java] 1588145256943 Original Encoding Incremental Solving Time: 0.007653
+ [java] Path Solving Time: 13.286467
+ [java] Path Solving Time: 6.65776
+ [java] Path Solving Time: 0.51957
+ [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 = true
+ [java] 1588145256983 Original Encoding Solving Time: 0.287143
+ [java] 1588145256983 Original Encoding Incremental Solving Time: 0.071813
+ [java] 1588145256997 Original Encoding Solving Time: 0.16925
+ [java] 1588145256997 Original Encoding Incremental Solving Time: 0.01495
+ [java] 1588145257010 Original Encoding Solving Time: 0.182561
+ [java] 1588145257010 Original Encoding Incremental Solving Time: 0.02592
+ [java] 1588145257020 Original Encoding Solving Time: 0.162836
+ [java] 1588145257020 Original Encoding Incremental Solving Time: 0.027027
+ [java] 1588145257029 Original Encoding Solving Time: 0.188895
+ [java] 1588145257029 Original Encoding Incremental Solving Time: 0.015016
+ [java] 1588145257037 Original Encoding Solving Time: 0.151698
+ [java] 1588145257037 Original Encoding Incremental Solving Time: 0.015851
+ [java] 1588145257046 Original Encoding Solving Time: 0.158563
+ [java] 1588145257046 Original Encoding Incremental Solving Time: 0.013919
+ [java] Path Solving Time: 3.985497
+ [java] Path Solving Time: 9.442937
+ [java] Path Solving Time: 0.541034
+ [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] 1588145257080 Original Encoding Solving Time: 0.314013
+ [java] 1588145257080 Original Encoding Incremental Solving Time: 0.095419
+ [java] 1588145257095 Original Encoding Solving Time: 0.204892
+ [java] 1588145257095 Original Encoding Incremental Solving Time: 0.016524
+ [java] 1588145257105 Original Encoding Solving Time: 0.126401
+ [java] 1588145257105 Original Encoding Incremental Solving Time: 0.032606
+ [java] Path Solving Time: 3.843789
+ [java] Path Solving Time: 7.154324
+ [java] Path Solving Time: 0.687651
+ [java] 1588145257137 Original Encoding Solving Time: 0.308108
+ [java] 1588145257137 Original Encoding Incremental Solving Time: 0.080264
+ [java] 1588145257153 Original Encoding Solving Time: 0.168264
+ [java] 1588145257153 Original Encoding Incremental Solving Time: 0.016924
+ [java] 1588145257163 Original Encoding Solving Time: 0.175826
+ [java] 1588145257163 Original Encoding Incremental Solving Time: 0.01122
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 4.25216
+ [java] Path Solving Time: 19.264535
+ [java] 1588145257211 Original Encoding Solving Time: 0.424683
+ [java] 1588145257211 Original Encoding Incremental Solving Time: 0.136114
+ [java] 1588145257226 Original Encoding Solving Time: 0.185603
+ [java] 1588145257226 Original Encoding Incremental Solving Time: 0.017043
+ [java] 1588145257235 Original Encoding Solving Time: 0.155853
+ [java] 1588145257235 Original Encoding Incremental Solving Time: 0.025708
+ [java] 1588145257243 Original Encoding Solving Time: 0.19555
+ [java] 1588145257243 Original Encoding Incremental Solving Time: 0.014789
+ [java] 1588145257252 Original Encoding Solving Time: 0.303101
+ [java] 1588145257252 Original Encoding Incremental Solving Time: 0.020259
+ [java] Path Solving Time: 5.721644
+ [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] Path Solving Time: 18.499103
+ [java] 1588145257296 Original Encoding Solving Time: 0.315067
+ [java] 1588145257296 Original Encoding Incremental Solving Time: 0.083477
+ [java] 1588145257310 Original Encoding Solving Time: 0.175296
+ [java] 1588145257310 Original Encoding Incremental Solving Time: 0.019428
+ [java] 1588145257321 Original Encoding Solving Time: 0.857882
+ [java] 1588145257321 Original Encoding Incremental Solving Time: 0.032777
+ [java] 1588145257330 Original Encoding Solving Time: 0.194784
+ [java] 1588145257330 Original Encoding Incremental Solving Time: 0.017522
+ [java] 1588145257343 Original Encoding Solving Time: 2.476476
+ [java] 128, 129, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708762060>: 128}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083bfa20>: OR
+ [java] {BooleanPredicate<0x7f97083d6d90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f97083c4330>:Members: 128, 129, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 129}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083d7110>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f97082483c0>:Members: 128, 129, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 129}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083c6ec0>: OR
+ [java] {BooleanPredicate<0x7f97083a2ef0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f970897bd90>:Members: 130, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f9708979430>: 130}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708773c90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089c2860>:{Set(1)<0x7f97083c4410>:Members: 130, 131, } 0x7f97089c2860 UNASSIGNED }{ElementConst<0x7f9708979430>: 130}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083d7210>: OR
+ [java] {BooleanPredicate<0x7f97083a8b80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089c2860>:{Set(1)<0x7f97083c4410>:Members: 130, 131, } 0x7f97089c2860 UNASSIGNED }{ElementConst<0x7f9708979510>: 131}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083d4670>: OR
+ [java] {BooleanPredicate<0x7f97083a9350>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089c2b80>:{Set(1)<0x7f9708987530>:Members: 126, 132, } 0x7f97089c2b80 UNASSIGNED }{ElementConst<0x7f970877d360>: 132}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f9708505450>: OR
+ [java] {BooleanPredicate<0x7f970898d100>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089cd150>:{Set(1)<0x7f97083b0c50>:Members: 133, } 0x7f97089cd150 UNASSIGNED }{ElementConst<0x7f97083c6db0>: 133}
+ [java] }
+ [java] {BooleanPredicate<0x7f970899a330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ca300>:{Set(1)<0x7f97083a12a0>:Members: 133, 139, } 0x7f97089ca300 UNASSIGNED }{ElementConst<0x7f97083c6db0>: 133}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f970897bd20>: OR
+ [java] {BooleanPredicate<0x7f970877c5e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ad00>:{Set(1)<0x7f970897bd90>:Members: 134, } 0x7f970877ad00 UNASSIGNED }{ElementConst<0x7f9708987670>: 134}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083aba10>: OR
+ [java] {BooleanPredicate<0x7f97083c4630>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f97082483c0>:Members: 135, 136, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708979510>: 135}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083d6cb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f97083c4330>:Members: 135, 136, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708979510>: 135}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97089bcc30>: OR
+ [java] {BooleanPredicate<0x7f97083cc610>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f970877ae70>:{Set(1)<0x7f97082483c0>:Members: 135, 136, } 0x7f970877ae70 UNASSIGNED }{ElementConst<0x7f9708979430>: 136}
+ [java] }
+ [java] {BooleanPredicate<0x7f970877c9f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f97083c4330>:Members: 135, 136, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f9708979430>: 136}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97089bad00>: OR
+ [java] {BooleanPredicate<0x7f97089c46f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f97083d4530>:Members: 137, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 137}
+ [java] }
+ [java] {BooleanPredicate<0x7f97083a8b80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ca040>:{Set(1)<0x7f97083cf0b0>:Members: 137, 138, } 0x7f97089ca040 UNASSIGNED }{ElementConst<0x7f9708730e60>: 137}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97089c4680>: OR
+ [java] {BooleanPredicate<0x7f97083a9350>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ca040>:{Set(1)<0x7f97083cf0b0>:Members: 137, 138, } 0x7f97089ca040 UNASSIGNED }{ElementConst<0x7f9708996a80>: 138}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f97083d71a0>: OR
+ [java] {BooleanPredicate<0x7f97089c2340>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ca300>:{Set(1)<0x7f97083a12a0>:Members: 133, 139, } 0x7f97089ca300 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 139}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f9708a46150>: OR
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a4e930>: OR
+ [java] {BooleanPredicate<0x7f9708a427a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 241, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 241}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a646c0>: OR
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a674e0>: OR
+ [java] {BooleanPredicate<0x7f9708a4b7b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a4b510>: 243}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a42830>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a4b510>: 243}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a3af90>: OR
+ [java] {BooleanPredicate<0x7f9708a697c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 244}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a3aaf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 244}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a3a490>: OR
+ [java] {BooleanPredicate<0x7f9708a42910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a6a5d0>:{Set(1)<0x7f97089f4cd0>:Members: 245, } 0x7f9708a6a5d0 UNASSIGNED }{ElementConst<0x7f9708762060>: 245}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a69a80>: OR
+ [java] {BooleanLogic<0x7f97089ed650>: NOT
+ [java] {BooleanPredicate<0x7f9708a427a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 241, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 241}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a060d0>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a4ea50>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a19320>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a69f40>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a673e0>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a648e0>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a48a30>: NOT
+ [java] {BooleanPredicate<0x7f9708a42910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a6a5d0>:{Set(1)<0x7f97089f4cd0>:Members: 245, } 0x7f9708a6a5d0 UNASSIGNED }{ElementConst<0x7f9708762060>: 245}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a43130>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a69b60>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a71970>: OR
+ [java] {BooleanLogic<0x7f9708a67070>: NOT
+ [java] {BooleanPredicate<0x7f9708a427a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 241, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 241}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a69850>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a42f10>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a71200>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a712a0>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a71380>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a6f4d0>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a71670>: NOT
+ [java] {BooleanPredicate<0x7f9708a42910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a6a5d0>:{Set(1)<0x7f97089f4cd0>:Members: 245, } 0x7f9708a6a5d0 UNASSIGNED }{ElementConst<0x7f9708762060>: 245}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a71750>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a71830>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a743c0>: OR
+ [java] {BooleanLogic<0x7f9708a71dd0>: NOT
+ [java] {BooleanPredicate<0x7f9708a427a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 241, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 241}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a71a70>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a73c60>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a73d40>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a73e20>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb41588145257343 Original Encoding Incremental Solving Time: 0.016503
+ [java] Path Solving Time: 4.862651
+ [java] Path Solving Time: 11.051707
+ [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 = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145257381 Original Encoding Solving Time: 0.386155
+ [java] 1588145257381 Original Encoding Incremental Solving Time: 0.848597
+ [java] 1588145257400 Original Encoding Solving Time: 0.203006
+ [java] 1588145257400 Original Encoding Incremental Solving Time: 0.01514
+ [java] 1588145257411 Original Encoding Solving Time: 0.896639
+ [java] 1588145257411 Original Encoding Incremental Solving Time: 0.056641
+ [java] 1588145257420 Original Encoding Solving Time: 0.167442
+ [java] 1588145257420 Original Encoding Incremental Solving Time: 0.012541
+ [java] 1588145257429 Original Encoding Solving Time: 0.196957
+ [java] 1588145257429 Original Encoding Incremental Solving Time: 0.022782
+ [java] Path Solving Time: 4.692813
+ [java] Path Solving Time: 7.169498
+ [java] 1588145257461 Original Encoding Solving Time: 0.423677
+ [java] 1588145257461 Original Encoding Incremental Solving Time: 0.1184
+ [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] 1588145257479 Original Encoding Solving Time: 0.137775
+ [java] 1588145257479 Original Encoding Incremental Solving Time: 0.012822
+ [java] 1588145257488 Original Encoding Solving Time: 0.145982
+ [java] 1588145257488 Original Encoding Incremental Solving Time: 0.016247
+ [java] 1588145257496 Original Encoding Solving Time: 0.158903
+ [java] 1588145257496 Original Encoding Incremental Solving Time: 0.014522
+ [java] 1588145257504 Original Encoding Solving Time: 0.155318
+ [java] 1588145257504 Original Encoding Incremental Solving Time: 0.011671
+ [java] Path Solving Time: 4.23176
+ [java] Path Solving Time: 12.361677
+ [java] 1588145257541 Original Encoding Solving Time: 0.489944
+ [java] 1588145257541 Original Encoding Incremental Solving Time: 1.489444
+ [java] 1588145257556 Original Encoding Solving Time: 0.227836
+ [java] 1588145257556 Original Encoding Incremental Solving Time: 0.023358
+ [java] 1588145257567 Original Encoding Solving Time: 0.211604
+ [java] 1588145257567 Original Encoding Incremental Solving Time: 0.022962
+ [java] 1588145257576 Original Encoding Solving Time: 0.184868
+ [java] 1588145257576 Original Encoding Incremental Solving Time: 0.022979
+ [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] 1588145257584 Original Encoding Solving Time: 0.158955
+ [java] 1588145257584 Original Encoding Incremental Solving Time: 0.010295
+ [java] Path Solving Time: 4.146331
+ [java] Path Solving Time: 4.455397
+ [java] 1588145257612 Original Encoding Solving Time: 0.29778
+ [java] 1588145257612 Original Encoding Incremental Solving Time: 3.156476
+ [java] 1588145257631 Original Encoding Solving Time: 0.160444
+ [java] 1588145257631 Original Encoding Incremental Solving Time: 0.01722
+ [java] 1588145257640 Original Encoding Solving Time: 0.192624
+ [java] 1588145257640 Original Encoding Incremental Solving Time: 0.025178
+ [java] 1588145257648 Original Encoding Solving Time: 0.208984
+ [java] 1588145257648 Original Encoding Incremental Solving Time: 0.015357
+ [java] 1588145257656 Original Encoding Solving Time: 0.164774
+ [java] 1588145257656 Original Encoding Incremental Solving Time: 0.015059
+ [java] Path Solving Time: 5.114117
+ [java] Path Solving Time: 5.660721
+ [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] 1588145257688 Original Encoding Solving Time: 0.381511
+ [java] 1588145257688 Original Encoding Incremental Solving Time: 3.255647
+ [java] 1588145257707 Original Encoding Solving Time: 0.255956
+ [java] 1588145257707 Original Encoding Incremental Solving Time: 0.035744
+ [java] 1588145257718 Original Encoding Solving Time: 0.224233
+ [java] 1588145257718 Original Encoding Incremental Solving Time: 0.037383
+ [java] 1588145257729 Original Encoding Solving Time: 0.184532
+ [java] 1588145257729 Original Encoding Incremental Solving Time: 0.017087
+ [java] 1588145257739 Original Encoding Solving Time: 0.149851
+ [java] 1588145257739 Original Encoding Incremental Solving Time: 0.014629
+ [java] Path Solving Time: 4.241929
+ [java] Path Solving Time: 8.835572
+ [java] 1588145257772 Original Encoding Solving Time: 0.271512
+ [java] 1588145257772 Original Encoding Incremental Solving Time: 0.085877
+ [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] 1588145257786 Original Encoding Solving Time: 0.180433
+ [java] 1588145257786 Original Encoding Incremental Solving Time: 0.015419
+ [java] 1588145257799 Original Encoding Solving Time: 3.193361
+ [java] 00>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a73f00>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a73fe0>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a740c0>: NOT
+ [java] {BooleanPredicate<0x7f9708a42910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a6a5d0>:{Set(1)<0x7f97089f4cd0>:Members: 245, } 0x7f9708a6a5d0 UNASSIGNED }{ElementConst<0x7f9708762060>: 245}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a741a0>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a74280>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a76de0>: OR
+ [java] {BooleanLogic<0x7f9708a745f0>: NOT
+ [java] {BooleanPredicate<0x7f9708a427a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 241, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 241}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a74640>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76680>: NOT
+ [java] {BooleanPredicate<0x7f9708a32380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 242, 244, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76760>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76840>: NOT
+ [java] {BooleanPredicate<0x7f9708a4b970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 242, 244, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 242}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76920>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76a00>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 240, 243, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76ae0>: NOT
+ [java] {BooleanPredicate<0x7f9708a42910>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a6a5d0>:{Set(1)<0x7f97089f4cd0>:Members: 245, } 0x7f9708a6a5d0 UNASSIGNED }{ElementConst<0x7f9708762060>: 245}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76bc0>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76ca0>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a61a50>:{Set(1)<0x7f97083d4530>:Members: 240, 243, } 0x7f9708a61a50 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 240}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f9708aa4880>: OR
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 282, 285, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a81850>:{Set(1)<0x7f97083c4410>:Members: 282, 285, } 0x7f9708a81850 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a42830>: OR
+ [java] {BooleanPredicate<0x7f97089f86b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 283, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 283}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a64050>: OR
+ [java] {BooleanPredicate<0x7f9708aa2030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 284, 286, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a64360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 284, 286, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a675d0>: OR
+ [java] {BooleanPredicate<0x7f9708aa1f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 282, 285, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a4b510>: 285}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708aa92d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a81850>:{Set(1)<0x7f97083c4410>:Members: 282, 285, } 0x7f9708a81850 UNASSIGNED }{ElementConst<0x7f9708a4b510>: 285}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a8de30>: OR
+ [java] {BooleanPredicate<0x7f9708a55d50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 284, 286, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 286}
+ [java] }
+ [java] {BooleanPredicate<0x7f9708a9c970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 284, 286, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877d5e0>: 286}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a81ac0>: OR
+ [java] {BooleanPredicate<0x7f9708a7e280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708ab6dd0>:{Set(1)<0x7f9708a10d80>:Members: 287, } 0x7f9708ab6dd0 UNASSIGNED }{ElementConst<0x7f9708762060>: 287}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708a9cae0>: OR
+ [java] {BooleanLogic<0x7f9708aa6f50>: NOT
+ [java] {BooleanPredicate<0x7f97089f86b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 283, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 283}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a674e0>: NOT
+ [java] {BooleanPredicate<0x7f9708aa2030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 284, 286, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a76de0>: NOT
+ [java] {BooleanPredicate<0x7f9708aa2030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 284, 286, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a33000>: NOT
+ [java] {BooleanPredicate<0x7f9708a64360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 284, 286, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a83ec0>: NOT
+ [java] {BooleanPredicate<0x7f9708a64360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 284, 286, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a95ca0>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 282, 285, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a7e380>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 282, 285, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a46120>: NOT
+ [java] {BooleanPredicate<0x7f9708a7e280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708ab6dd0>:{Set(1)<0x7f9708a10d80>:Members: 287, } 0x7f9708ab6dd0 UNASSIGNED }{ElementConst<0x7f9708762060>: 287}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708ab3d20>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a81850>:{Set(1)<0x7f97083c4410>:Members: 282, 285, } 0x7f9708a81850 UNASSIGNED }{Elem1588145257799 Original Encoding Incremental Solving Time: 0.023545
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588145257924 Original Encoding Solving Time: 0.206755
+ [java] 1588145257924 Original Encoding Incremental Solving Time: 0.009281
+ [java] 1588145257931 Original Encoding Solving Time: 0.195974
+ [java] 1588145257931 Original Encoding Incremental Solving Time: 0.009493
+ [java] Path Solving Time: 11.594723
+ [java] Path Solving Time: 11.669605
+ [java] 1588145257976 Original Encoding Solving Time: 0.271494
+ [java] 1588145257976 Original Encoding Incremental Solving Time: 0.117349
+ [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] 1588145257988 Original Encoding Solving Time: 0.182038
+ [java] 1588145257988 Original Encoding Incremental Solving Time: 0.013583
+ [java] 1588145257996 Original Encoding Solving Time: 0.197739
+ [java] 1588145257996 Original Encoding Incremental Solving Time: 0.015265
+ [java] 1588145258003 Original Encoding Solving Time: 0.17527
+ [java] 1588145258003 Original Encoding Incremental Solving Time: 0.012864
+ [java] 1588145258011 Original Encoding Solving Time: 0.197058
+ [java] 1588145258011 Original Encoding Incremental Solving Time: 0.017592
+ [java] Path Solving Time: 4.688631
+ [java] Path Solving Time: 5.084027
+ [java] 1588145258042 Original Encoding Solving Time: 0.242121
+ [java] 1588145258042 Original Encoding Incremental Solving Time: 0.074441
+ [java] 1588145258055 Original Encoding Solving Time: 0.267002
+ [java] 1588145258055 Original Encoding Incremental Solving Time: 0.030286
+ [java] 1588145258063 Original Encoding Solving Time: 0.18578
+ [java] 1588145258063 Original Encoding Incremental Solving Time: 0.015197
+ [java] 1588145258071 Original Encoding Solving Time: 0.204131
+ [java] 1588145258071 Original Encoding Incremental Solving Time: 0.015157
+ [java] 1588145258080 Original Encoding Solving Time: 0.188526
+ [java] 1588145258080 Original Encoding Incremental Solving Time: 0.028489
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 38.17875
+ [java] Path Solving Time: 6.255191
+ [java] Path Solving Time: 20.598733
+ [java] 1588145258167 Original Encoding Solving Time: 0.313001
+ [java] 1588145258167 Original Encoding Incremental Solving Time: 0.067738
+ [java] 1588145258178 Original Encoding Solving Time: 0.032709
+ [java] 1588145258178 Original Encoding Incremental Solving Time: 0.005812
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 15.193537
+ [java] Path Solving Time: 10.11868
+ [java] Path Solving Time: 8.403498
+ [java] 1588145258252 Original Encoding Solving Time: 0.346416
+ [java] 1588145258252 Original Encoding Incremental Solving Time: 0.132384
+ [java] 1588145258264 Original Encoding Solving Time: 0.227175
+ [java] 1588145258264 Original Encoding Incremental Solving Time: 0.015517
+ [java] 1588145258274 Original Encoding Solving Time: 0.168272
+ [java] 1588145258274 Original Encoding Incremental Solving Time: 0.007297
+ [java] Path Solving Time: 5.062642
+ [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: 5.028232
+ [java] Path Solving Time: 0.96155
+ [java] 1588145258310 Original Encoding Solving Time: 0.253157
+ [java] 1588145258310 Original Encoding Incremental Solving Time: 0.090543
+ [java] 1588145258325 Original Encoding Solving Time: 0.223956
+ [java] 1588145258325 Original Encoding Incremental Solving Time: 0.029897
+ [java] 1588145258334 Original Encoding Solving Time: 0.177871
+ [java] 1588145258334 Original Encoding Incremental Solving Time: 0.034265
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 13
+ [java] Sketch Generation Time: 1203.3016629999997
+ [java] Sketch Completion Time: 1389.0011159999995
+ [java] Compilation Time: 1762.0743530000002
+ [java] Running Test cases Time: 49.205345000000015
+ [java] Synthesis Time: 2641.508123999999
+ [java] Total Time: 4403.582476999999
+ [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] entConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708aa6860>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a81850>:{Set(1)<0x7f97083c4410>:Members: 282, 285, } 0x7f9708a81850 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f9708ac1b20>: OR
+ [java] {BooleanLogic<0x7f9708ab6130>: NOT
+ [java] {BooleanPredicate<0x7f97089f86b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0140>:{Set(1)<0x7f9708a48730>:Members: 283, } 0x7f97089a0140 UNASSIGNED }{ElementConst<0x7f9708730e60>: 283}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708ab6210>: NOT
+ [java] {BooleanPredicate<0x7f9708aa2030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 284, 286, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a55c90>: NOT
+ [java] {BooleanPredicate<0x7f9708aa2030>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089a0020>:{Set(1)<0x7f9708a10ca0>:Members: 284, 286, } 0x7f97089a0020 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a55c00>: NOT
+ [java] {BooleanPredicate<0x7f9708a64360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 284, 286, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708a559d0>: NOT
+ [java] {BooleanPredicate<0x7f9708a64360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089ff420>:{Set(1)<0x7f97089fb400>:Members: 284, 286, } 0x7f97089ff420 UNASSIGNED }{ElementConst<0x7f970877c7d0>: 284}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708aa6920>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 282, 285, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708abfa20>: NOT
+ [java] {BooleanPredicate<0x7f97083cc290>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f97089f38e0>:{Set(1)<0x7f9708a4e430>:Members: 282, 285, } 0x7f97089f38e0 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708abf960>: NOT
+ [java] {BooleanPredicate<0x7f9708a7e280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708ab6dd0>:{Set(1)<0x7f9708a10d80>:Members: 287, } 0x7f9708ab6dd0 UNASSIGNED }{ElementConst<0x7f9708762060>: 287}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708ac1940>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a81850>:{Set(1)<0x7f97083c4410>:Members: 282, 285, } 0x7f9708a81850 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f9708ac19e0>: NOT
+ [java] {BooleanPredicate<0x7f9708a16e20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f9708a81850>:{Set(1)<0x7f97083c4410>:Members: 282, 285, } 0x7f9708a81850 UNASSIGNED }{ElementConst<0x7f9708a298a0>: 282}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 9 seconds
projects / Benchmarks_CSolver.git / blobdiff