--- /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/11/benchmark11.json
+ [java] Benchmark Id: 11
+ [java] Method name: shear
+ [java] Packages: [java.awt.geom]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.awt.geom.Rectangle2D, double, double]
+ [java] Target type: java.awt.geom.Rectangle2D
+ [java] --------------------------------------------------------
+ [java] Warning: javax.crypto.spec.DESKeySpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DESedeKeySpec is a phantom class!
+ [java] Warning: javax.crypto.Cipher is a phantom class!
+ [java] Warning: javax.crypto.spec.SecretKeySpec is a phantom class!
+ [java] Warning: javax.crypto.SecretKeyFactory is a phantom class!
+ [java] Warning: javax.crypto.spec.IvParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.SecretKey is a phantom class!
+ [java] Warning: javax.crypto.spec.PBEKeySpec is a phantom class!
+ [java] Warning: javax.crypto.Mac is a phantom class!
+ [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+ [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+ [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+ [java] Warning: sun.security.ssl.Krb5Helper is a phantom class!
+ [java] Warning: com.oracle.jrockit.jfr.FlightRecorder is a phantom class!
+ [java] Warning: sun.security.ssl.SSLSocketImpl is a phantom class!
+ [java] Warning: javax.crypto.CipherInputStream is a phantom class!
+ [java] Warning: javax.crypto.CipherOutputStream is a phantom class!
+ [java] Warning: sun.nio.cs.ext.EUC_TW$Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.EUC_TW$Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.DoubleByteEncoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0201$Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0201$Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0208_Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0208_Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0212_Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0212_Decoder is a phantom class!
+ [java] Warning: javax.crypto.spec.PBEParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
+ [java] Warning: javax.crypto.interfaces.DHKey is a phantom class!
+ [java] Warning: javax.crypto.interfaces.DHPublicKey is a phantom class!
+ [java] Warning: javax.crypto.spec.OAEPParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.PSource is a phantom class!
+ [java] Warning: javax.crypto.spec.PSource$PSpecified is a phantom class!
+ [java] Warning: javax.crypto.KeyGenerator is a phantom class!
+ [java] #Classes: 50
+ [java] #Methods: 751
+ [java] Soot Time: 3134.98075
+ [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: 21.10992
+ [java] Path Solving Time: 5.43415
+ [java] Path Solving Time: 19.343379
+ [java] Path Solving Time: 1.068918
+ [java] Done with finding holes : Flag = true
+ [java] 1588133857112 Original Encoding Solving Time: 0.595458
+ [java] 1588133857112 Original Encoding Incremental Solving Time: 0.175765
+ [java] Done with finding holes : Flag = true
+ [java] 1588133857385 Original Encoding Solving Time: 0.446087
+ [java] 1588133857385 Original Encoding Incremental Solving Time: 0.065379
+ [java] Done with finding holes : Flag = false
+ [java] 1588133857403 Original Encoding Solving Time: 0.208185
+ [java] 1588133857403 Original Encoding Incremental Solving Time: 0.03159
+ [java] Path Solving Time: 4.683245
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.854363
+ [java] Path Solving Time: 1.526619
+ [java] 1588133857655 Original Encoding Solving Time: 0.62694
+ [java] 1588133857655 Original Encoding Incremental Solving Time: 0.199138
+ [java] 1588133857683 Original Encoding Solving Time: 0.348123
+ [java] 1588133857683 Original Encoding Incremental Solving Time: 0.08126
+ [java] 1588133857700 Original Encoding Solving Time: 0.2484
+ [java] 1588133857700 Original Encoding Incremental Solving Time: 0.034642
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 5.014294
+ [java] Path Solving Time: 1.336965
+ [java] 1588133857723 Original Encoding Solving Time: 0.490979
+ [java] 1588133857723 Original Encoding Incremental Solving Time: 0.198105
+ [java] 1588133857749 Original Encoding Solving Time: 0.483661
+ [java] 1588133857749 Original Encoding Incremental Solving Time: 0.080393
+ [java] 1588133857764 Original Encoding Solving Time: 0.218695
+ [java] 1588133857764 Original Encoding Incremental Solving Time: 0.027812
+ [java] Path Solving Time: 15.619823
+ [java] Path Solving Time: 2.40624
+ [java] 1588133857800 Original Encoding Solving Time: 1.266214
+ [java] 1588133857800 Original Encoding Incremental Solving Time: 0.572558
+ [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] 1588133857825 Original Encoding Solving Time: 0.208634
+ [java] 1588133857825 Original Encoding Incremental Solving Time: 0.04866
+ [java] 1588133857839 Original Encoding Solving Time: 0.286035
+ [java] 1588133857839 Original Encoding Incremental Solving Time: 0.021842
+ [java] Path Solving Time: 11.802523
+ [java] Path Solving Time: 1.875798
+ [java] 1588133857869 Original Encoding Solving Time: 0.459234
+ [java] 1588133857869 Original Encoding Incremental Solving Time: 0.209579
+ [java] 1588133857895 Original Encoding Solving Time: 0.391806
+ [java] 1588133857895 Original Encoding Incremental Solving Time: 0.067823
+ [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] 1588133857910 Original Encoding Solving Time: 0.216512
+ [java] 1588133857910 Original Encoding Incremental Solving Time: 0.027039
+ [java] Path Solving Time: 5.727726
+ [java] Path Solving Time: 1.958338
+ [java] 1588133857935 Original Encoding Solving Time: 0.918488
+ [java] 1588133857935 Original Encoding Incremental Solving Time: 0.214544
+ [java] 1588133857962 Original Encoding Solving Time: 1.868879
+ [java] 1588133857962 Original Encoding Incremental Solving Time: 0.061452
+ [java] 1588133857976 Original Encoding Solving Time: 0.231749
+ [java] 1588133857976 Original Encoding Incremental Solving Time: 0.023565
+ [java] Path Solving Time: 5.103364
+ [java] Path Solving Time: 2.004048
+ [java] 1588133858000 Original Encoding Solving Time: 0.573093
+ [java] 1588133858000 Original Encoding Incremental Solving Time: 1.175399
+ [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] 1588133858027 Original Encoding Solving Time: 0.252845
+ [java] 1588133858027 Original Encoding Incremental Solving Time: 0.073534
+ [java] 1588133858041 Original Encoding Solving Time: 0.238393
+ [java] 1588133858041 Original Encoding Incremental Solving Time: 0.018626
+ [java] Path Solving Time: 4.758457
+ [java] Path Solving Time: 2.041517
+ [java] 1588133858065 Original Encoding Solving Time: 0.524882
+ [java] 1588133858065 Original Encoding Incremental Solving Time: 0.285752
+ [java] 1588133858088 Original Encoding Solving Time: 0.535814
+ [java] 1588133858088 Original Encoding Incremental Solving Time: 0.059393
+ [java] 1588133858103 Original Encoding Solving Time: 0.241762
+ [java] 1588133858103 Original Encoding Incremental Solving Time: 0.023519
+ [java] Path Solving Time: 4.373047
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 2.342298
+ [java] 1588133858126 Original Encoding Solving Time: 0.606597
+ [java] 1588133858126 Original Encoding Incremental Solving Time: 0.258238
+ [java] 1588133858151 Original Encoding Solving Time: 1.326964
+ [java] 1588133858151 Original Encoding Incremental Solving Time: 0.068017
+ [java] 1588133858164 Original Encoding Solving Time: 0.232636
+ [java] 1588133858164 Original Encoding Incremental Solving Time: 0.029313
+ [java] Path Solving Time: 4.197709
+ [java] Path Solving Time: 1.964406
+ [java] 1588133858187 Original Encoding Solving Time: 0.500478
+ [java] 1588133858187 Original Encoding Incremental Solving Time: 7.080519
+ [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] 1588133858213 Original Encoding Solving Time: 0.295968
+ [java] 1588133858213 Original Encoding Incremental Solving Time: 0.057519
+ [java] 1588133858227 Original Encoding Solving Time: 1.990548
+ [java] 1588133858227 Original Encoding Incremental Solving Time: 0.03239
+ [java] Path Solving Time: 4.428298
+ [java] Path Solving Time: 2.149699
+ [java] 1588133858252 Original Encoding Solving Time: 1.464631
+ [java] 1588133858252 Original Encoding Incremental Solving Time: 2.367618
+ [java] 1588133858278 Original Encoding Solving Time: 0.862186
+ [java] 1588133858278 Original Encoding Incremental Solving Time: 0.049315
+ [java] 1588133858290 Original Encoding Solving Time: 0.19639
+ [java] 1588133858290 Original Encoding Incremental Solving Time: 0.021595
+ [java] Path Solving Time: 4.27763
+ [java] Path Solving Time: 2.101763
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133858313 Original Encoding Solving Time: 0.526198
+ [java] 1588133858313 Original Encoding Incremental Solving Time: 1.714014
+ [java] 1588133858335 Original Encoding Solving Time: 0.256849
+ [java] 1588133858335 Original Encoding Incremental Solving Time: 0.049884
+ [java] 1588133858347 Original Encoding Solving Time: 0.192402
+ [java] 1588133858347 Original Encoding Incremental Solving Time: 0.020446
+ [java] Path Solving Time: 4.263014
+ [java] Path Solving Time: 1.728837
+ [java] 1588133858370 Original Encoding Solving Time: 0.584454
+ [java] 1588133858370 Original Encoding Incremental Solving Time: 0.772622
+ [java] 1588133858387 Original Encoding Solving Time: 0.49924
+ [java] 1588133858387 Original Encoding Incremental Solving Time: 0.074918
+ [java] 1588133858400 Original Encoding Solving Time: 0.261228
+ [java] 1588133858400 Original Encoding Incremental Solving Time: 0.035117
+ [java] Path Solving Time: 18.161797
+ [java] Path Solving Time: 10.394816
+ [java] Path Solving Time: 0.793822
+ [java] Path Solving Time: 0.688536
+ [java] Path Solving Time: 67.89159
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133858515 Original Encoding Solving Time: 0.463336
+ [java] 1588133858515 Original Encoding Incremental Solving Time: 1.177906
+ [java] 1588133858531 Original Encoding Solving Time: 0.229549
+ [java] 1588133858531 Original Encoding Incremental Solving Time: 0.041726
+ [java] 1588133858541 Original Encoding Solving Time: 0.156446
+ [java] 1588133858541 Original Encoding Incremental Solving Time: 0.022263
+ [java] Path Solving Time: 33.938959
+ [java] Path Solving Time: 25.653902
+ [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: 35.08314
+ [java] 1588133858652 Original Encoding Solving Time: 0.336685
+ [java] 1588133858652 Original Encoding Incremental Solving Time: 0.095723
+ [java] 1588133858667 Original Encoding Solving Time: 0.261077
+ [java] 1588133858667 Original Encoding Incremental Solving Time: 0.027751
+ [java] 1588133858677 Original Encoding Solving Time: 0.148091
+ [java] 1588133858677 Original Encoding Incremental Solving Time: 0.008345
+ [java] Path Solving Time: 7.341562
+ [java] Path Solving Time: 4.118939
+ [java] 1588133858705 Original Encoding Solving Time: 0.367428
+ [java] 1588133858705 Original Encoding Incremental Solving Time: 0.120217
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133858721 Original Encoding Solving Time: 0.24681
+ [java] 1588133858721 Original Encoding Incremental Solving Time: 0.034639
+ [java] 1588133858732 Original Encoding Solving Time: 0.172225
+ [java] 1588133858732 Original Encoding Incremental Solving Time: 0.013548
+ [java] Path Solving Time: 7.843553
+ [java] Path Solving Time: 3.79774
+ [java] 1588133858761 Original Encoding Solving Time: 0.630143
+ [java] 1588133858761 Original Encoding Incremental Solving Time: 1.954397
+ [java] 1588133858785 Original Encoding Solving Time: 0.24043
+ [java] 1588133858785 Original Encoding Incremental Solving Time: 0.062438
+ [java] 1588133858799 Original Encoding Solving Time: 0.991815
+ [java] 1588133858799 Original Encoding Incremental Solving Time: 0.013654
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 22.945663
+ [java] Path Solving Time: 33.769639
+ [java] Path Solving Time: 2.069484
+ [java] 1588133858876 Original Encoding Solving Time: 0.515649
+ [java] 1588133858876 Original Encoding Incremental Solving Time: 0.382692
+ [java] 1588133858899 Original Encoding Solving Time: 2.998716
+ [java] 1588133858899 Original Encoding Incremental Solving Time: 0.041195
+ [java] 1588133858910 Original Encoding Solving Time: 0.187815
+ [java] 1588133858910 Original Encoding Incremental Solving Time: 0.0163
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 15.606576
+ [java] Path Solving Time: 2.380517
+ [java] 1588133858946 Original Encoding Solving Time: 0.591646
+ [java] 1588133858946 Original Encoding Incremental Solving Time: 0.171004
+ [java] 1588133858969 Original Encoding Solving Time: 0.242931
+ [java] 1588133858969 Original Encoding Incremental Solving Time: 0.036328
+ [java] 1588133858981 Original Encoding Solving Time: 0.171102
+ [java] 1588133858981 Original Encoding Incremental Solving Time: 0.013488
+ [java] Path Solving Time: 4.056561
+ [java] Path Solving Time: 2.719013
+ [java] 1588133859006 Original Encoding Solving Time: 0.556764
+ [java] 1588133859006 Original Encoding Incremental Solving Time: 0.183523
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133859028 Original Encoding Solving Time: 0.248225
+ [java] 1588133859028 Original Encoding Incremental Solving Time: 0.03711
+ [java] 1588133859042 Original Encoding Solving Time: 1.904661
+ [java] 1588133859042 Original Encoding Incremental Solving Time: 0.014159
+ [java] Path Solving Time: 3.946704
+ [java] Path Solving Time: 2.554661
+ [java] 1588133859067 Original Encoding Solving Time: 0.721157
+ [java] 1588133859067 Original Encoding Incremental Solving Time: 0.218872
+ [java] 1588133859088 Original Encoding Solving Time: 0.2177
+ [java] 1588133859088 Original Encoding Incremental Solving Time: 0.033032
+ [java] 1588133859101 Original Encoding Solving Time: 0.23128
+ [java] 1588133859101 Original Encoding Incremental Solving Time: 0.043021
+ [java] Path Solving Time: 5.375959
+ [java] Path Solving Time: 3.255543
+ [java] Done with finding holes : Flag = true
+ [java] 1588133859128 Original Encoding Solving Time: 0.700839
+ [java] 1588133859128 Original Encoding Incremental Solving Time: 1.744448
+ [java] 1588133859150 Original Encoding Solving Time: 0.232347
+ [java] 1588133859150 Original Encoding Incremental Solving Time: 0.037063
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588133859284 Original Encoding Solving Time: 2.521953
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f5e2c9828e0>: OR
+ [java] {BooleanPredicate<0x7f5e2c3bd400>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745960>:Members: 100, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 100}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9ba320>:{Set(1)<0x7f5e2c731c00>:Members: 100, 105, } 0x7f5e2c9ba320 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 100}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9952e0>: OR
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 101, 102, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 101}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 101, 102, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 101}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c99d410>: OR
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 101, 102, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 102}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9b1ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 101, 102, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 102}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c73daa0>: OR
+ [java] {BooleanPredicate<0x7f5e2c9b1d10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 103, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 103}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c235d40>: OR
+ [java] {BooleanPredicate<0x7f5e2c736360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9ba320>:{Set(1)<0x7f5e2c731c00>:Members: 100, 105, } 0x7f5e2c9ba320 UNASSIGNED }{ElementConst<0x7f5e2c972770>: 105}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9bf480>: OR
+ [java] {BooleanLogic<0x7f5e2c9b72e0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c3bd400>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745960>:Members: 100, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c72b3e0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 101, 102, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 101}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9bee00>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 101, 102, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 101}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9beec0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 101, 102, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 101}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9bf0b0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 101, 102, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 101}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9bf190>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b1d10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 103, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 103}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9bf270>: NOT
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9ba320>:{Set(1)<0x7f5e2c731c00>:Members: 100, 105, } 0x7f5e2c9ba320 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9bf350>: NOT
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9ba320>:{Set(1)<0x7f5e2c731c00>:Members: 100, 105, } 0x7f5e2c9ba320 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 100}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f5e2c9cfb60>: OR
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745960>:Members: 124, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9da590>:{Set(1)<0x7f5e2c95f400>:Members: 124, 128, } 0x7f5e2c9da590 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9828e0>: OR
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 125, 126, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 125, 126, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9b9f10>: OR
+ [java] {BooleanPredicate<0x7f5e2c9b1ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 125, 126, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 126}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9b1d10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 125, 126, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 126}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9af560>: OR
+ [java] {BooleanPredicate<0x7f5e2c9c26c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 127, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 127}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9d2ba0>: OR
+ [java] {BooleanPredicate<0x7f5e2c9d20c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9da590>:{Set(1)<0x7f5e2c95f400>:Members: 124, 128, } 0x7f5e2c9da590 UNASSIGNED }{ElementConst<0x7f5e2c745820>: 128}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9c3ec0>: OR
+ [java] {BooleanLogic<0x7f5e2c9c3660>: NOT
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745960>:Members: 124, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3740>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9c26c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 127, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 127}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3820>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 125, 126, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3900>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 125, 126, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3af0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 125, 126, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3bd0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 125, 126, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3cb0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9da590>:{Set(1)<0x7f5e2c95f400>:Members: 124, 128, } 0x7f5e2c9da590 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3d90>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9da590>:{Set(1)<0x7f5e2c95f400>:Members: 124, 128, } 0x7f5e2c9da590 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c399b00>: OR
+ [java] {BooleanLogic<0x7f5e2c397a50>: NOT
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745960>:Members: 124, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9c3fb0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9c26c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c744820>:Members: 127, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 127}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c399570>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elem1588133859284 Original Encoding Incremental Solving Time: 0.020484
+ [java] Path Solving Time: 2.538617
+ [java] Path Solving Time: 2.437967
+ [java] 1588133859310 Original Encoding Solving Time: 0.43586
+ [java] 1588133859310 Original Encoding Incremental Solving Time: 1.034293
+ [java] 1588133859325 Original Encoding Solving Time: 0.247808
+ [java] 1588133859325 Original Encoding Incremental Solving Time: 0.027968
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133859338 Original Encoding Solving Time: 0.144015
+ [java] 1588133859338 Original Encoding Incremental Solving Time: 0.007471
+ [java] Path Solving Time: 2.667805
+ [java] Path Solving Time: 1.755516
+ [java] 1588133859362 Original Encoding Solving Time: 0.344477
+ [java] 1588133859362 Original Encoding Incremental Solving Time: 0.129068
+ [java] 1588133859377 Original Encoding Solving Time: 0.171884
+ [java] 1588133859377 Original Encoding Incremental Solving Time: 0.016214
+ [java] 1588133859386 Original Encoding Solving Time: 0.159131
+ [java] 1588133859386 Original Encoding Incremental Solving Time: 0.007947
+ [java] Path Solving Time: 2.437234
+ [java] Path Solving Time: 1.385014
+ [java] 1588133859410 Original Encoding Solving Time: 0.911394
+ [java] 1588133859410 Original Encoding Incremental Solving Time: 1.216667
+ [java] 1588133859425 Original Encoding Solving Time: 0.17464
+ [java] 1588133859425 Original Encoding Incremental Solving Time: 0.019729
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133859435 Original Encoding Solving Time: 0.323711
+ [java] 1588133859435 Original Encoding Incremental Solving Time: 0.00837
+ [java] Path Solving Time: 13.294668
+ [java] Path Solving Time: 1.419669
+ [java] 1588133859472 Original Encoding Solving Time: 0.417044
+ [java] 1588133859472 Original Encoding Incremental Solving Time: 0.105963
+ [java] 1588133859487 Original Encoding Solving Time: 2.222957
+ [java] ents:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 125, 126, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c399650>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c745430>:Members: 125, 126, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c399730>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 125, 126, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c399810>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c97a960>:Members: 125, 126, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 125}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c3998f0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9da590>:{Set(1)<0x7f5e2c95f400>:Members: 124, 128, } 0x7f5e2c9da590 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c3999d0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9da590>:{Set(1)<0x7f5e2c95f400>:Members: 124, 128, } 0x7f5e2c9da590 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 124}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f5e2c9e6e60>: OR
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c744820>:Members: 148, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 148}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9f9860>:{Set(1)<0x7f5e2c25db50>:Members: 148, 152, } 0x7f5e2c9f9860 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 148}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9e9470>: OR
+ [java] {BooleanPredicate<0x7f5e2c9b1ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c97a960>:Members: 149, 150, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 149}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9b1d10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c399580>:Members: 149, 150, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 149}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c972c20>: OR
+ [java] {BooleanPredicate<0x7f5e2c9c7fa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c97a960>:Members: 149, 150, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 150}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9e6df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c399580>:Members: 149, 150, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 150}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9da250>: OR
+ [java] {BooleanPredicate<0x7f5e2c9e6ed0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c745430>:Members: 151, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 151}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9f1870>: OR
+ [java] {BooleanPredicate<0x7f5e2c994980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9f9860>:{Set(1)<0x7f5e2c25db50>:Members: 148, 152, } 0x7f5e2c9f9860 UNASSIGNED }{ElementConst<0x7f5e2c745820>: 152}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9f37d0>: OR
+ [java] {BooleanLogic<0x7f5e2c9f6b40>: NOT
+ [java] {BooleanPredicate<0x7f5e2c235bf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c744820>:Members: 148, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 148}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f3050>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9e6ed0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c745430>:Members: 151, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 151}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f3130>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b1ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c97a960>:Members: 149, 150, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f3210>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b1ab0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c97a960>:Me1588133859487 Original Encoding Incremental Solving Time: 0.060801
+ [java] 1588133859495 Original Encoding Solving Time: 0.222089
+ [java] 1588133859495 Original Encoding Incremental Solving Time: 0.007691
+ [java] Path Solving Time: 3.824595
+ [java] Path Solving Time: 1.266103
+ [java] 1588133859519 Original Encoding Solving Time: 0.468073
+ [java] 1588133859519 Original Encoding Incremental Solving Time: 0.162517
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133859535 Original Encoding Solving Time: 0.203296
+ [java] 1588133859535 Original Encoding Incremental Solving Time: 0.022601
+ [java] 1588133859548 Original Encoding Solving Time: 0.226162
+ [java] 1588133859548 Original Encoding Incremental Solving Time: 0.032481
+ [java] Path Solving Time: 2.740596
+ [java] Path Solving Time: 1.387484
+ [java] 1588133859575 Original Encoding Solving Time: 0.447416
+ [java] 1588133859575 Original Encoding Incremental Solving Time: 0.133172
+ [java] 1588133859589 Original Encoding Solving Time: 0.184858
+ [java] 1588133859589 Original Encoding Incremental Solving Time: 0.019195
+ [java] 1588133859599 Original Encoding Solving Time: 1.354275
+ [java] 1588133859599 Original Encoding Incremental Solving Time: 0.051413
+ [java] Path Solving Time: 3.799531
+ [java] Path Solving Time: 2.199948
+ [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] 1588133859636 Original Encoding Solving Time: 0.53668
+ [java] 1588133859636 Original Encoding Incremental Solving Time: 0.182693
+ [java] 1588133859651 Original Encoding Solving Time: 0.274226
+ [java] 1588133859651 Original Encoding Incremental Solving Time: 0.050354
+ [java] 1588133859663 Original Encoding Solving Time: 0.17184
+ [java] 1588133859663 Original Encoding Incremental Solving Time: 0.010875
+ [java] Path Solving Time: 3.174043
+ [java] Path Solving Time: 2.388846
+ [java] 1588133859688 Original Encoding Solving Time: 0.488407
+ [java] 1588133859688 Original Encoding Incremental Solving Time: 0.1238
+ [java] 1588133859701 Original Encoding Solving Time: 0.191841
+ [java] 1588133859701 Original Encoding Incremental Solving Time: 0.062327
+ [java] 1588133859710 Original Encoding Solving Time: 0.1443
+ [java] 1588133859710 Original Encoding Incremental Solving Time: 0.007645
+ [java] Path Solving Time: 4.007438
+ [java] Path Solving Time: 1.150026
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133859737 Original Encoding Solving Time: 0.57811
+ [java] 1588133859737 Original Encoding Incremental Solving Time: 1.217796
+ [java] 1588133859753 Original Encoding Solving Time: 0.248852
+ [java] 1588133859753 Original Encoding Incremental Solving Time: 0.033499
+ [java] 1588133859763 Original Encoding Solving Time: 1.005093
+ [java] 1588133859763 Original Encoding Incremental Solving Time: 0.060469
+ [java] 1588133859771 Original Encoding Solving Time: 0.568114
+ [java] 1588133859771 Original Encoding Incremental Solving Time: 0.015501
+ [java] 1588133859781 Original Encoding Solving Time: 0.230749
+ [java] 1588133859781 Original Encoding Incremental Solving Time: 0.019145
+ [java] Path Solving Time: 3.697486
+ [java] Path Solving Time: 1.492309
+ [java] 1588133859806 Original Encoding Solving Time: 0.587646
+ [java] 1588133859806 Original Encoding Incremental Solving Time: 0.111411
+ [java] 1588133859823 Original Encoding Solving Time: 2.200981
+ [java] mbers: 149, 150, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f3400>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b1d10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c399580>:Members: 149, 150, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f34e0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b1d10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c399580>:Members: 149, 150, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 149}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f35c0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9f9860>:{Set(1)<0x7f5e2c25db50>:Members: 148, 152, } 0x7f5e2c9f9860 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 148}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c9f36a0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c9f9860>:{Set(1)<0x7f5e2c25db50>:Members: 148, 152, } 0x7f5e2c9f9860 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 148}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f5e2c9f6df0>: OR
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 184, 188, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 184}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c9e6ed0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca2dec0>:{Set(1)<0x7f5e2ca095a0>:Members: 184, 188, } 0x7f5e2ca2dec0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 184}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9ee7d0>: OR
+ [java] {BooleanPredicate<0x7f5e2c994980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 185, 186, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 185}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2ca08d80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 185, 186, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 185}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca28990>: OR
+ [java] {BooleanPredicate<0x7f5e2c9df890>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 185, 186, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 186}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2ca10990>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 185, 186, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 186}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2c9f17a0>: OR
+ [java] {BooleanPredicate<0x7f5e2c9c26c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745430>:Members: 187, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 187}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca20be0>: OR
+ [java] {BooleanPredicate<0x7f5e2ca08550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 184, 188, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c745820>: 188}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2c23c740>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca2dec0>:{Set(1)<0x7f5e2ca095a0>:Members: 184, 188, } 0x7f5e2ca2dec0 UNASSIGNED }{ElementConst<0x7f5e2c745820>: 188}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca087a0>: OR
+ [java] {BooleanLogic<0x7f5e2ca2d5c0>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9c26c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745430>:Members: 187, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 187}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca2d510>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 184, 188, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 184}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca2d430>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 184, 188, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 184}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca2d350>: NOT
+ [java] {BooleanPredicate<0x7f5e2c994980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 185, 186, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 185}
+ [java] }
+ [java] }
+ [java] {1588133859823 Original Encoding Incremental Solving Time: 0.03662
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 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] 1588133859836 Original Encoding Solving Time: 0.262694
+ [java] 1588133859836 Original Encoding Incremental Solving Time: 0.018977
+ [java] 1588133859843 Original Encoding Solving Time: 0.17744
+ [java] 1588133859843 Original Encoding Incremental Solving Time: 0.012441
+ [java] 1588133859850 Original Encoding Solving Time: 0.155033
+ [java] 1588133859850 Original Encoding Incremental Solving Time: 0.013376
+ [java] Path Solving Time: 2.722632
+ [java] Path Solving Time: 1.195693
+ [java] 1588133859874 Original Encoding Solving Time: 0.364179
+ [java] 1588133859874 Original Encoding Incremental Solving Time: 1.178462
+ [java] 1588133859888 Original Encoding Solving Time: 0.210768
+ [java] 1588133859888 Original Encoding Incremental Solving Time: 0.019434
+ [java] 1588133859897 Original Encoding Solving Time: 0.307027
+ [java] 1588133859897 Original Encoding Incremental Solving Time: 0.023144
+ [java] 1588133859904 Original Encoding Solving Time: 0.187648
+ [java] 1588133859904 Original Encoding Incremental Solving Time: 0.013959
+ [java] 1588133859911 Original Encoding Solving Time: 0.188316
+ [java] 1588133859911 Original Encoding Incremental Solving Time: 0.023072
+ [java] Path Solving Time: 2.302909
+ [java] Path Solving Time: 1.321431
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133859934 Original Encoding Solving Time: 0.840316
+ [java] 1588133859934 Original Encoding Incremental Solving Time: 0.530633
+ [java] 1588133859949 Original Encoding Solving Time: 0.300555
+ [java] 1588133859949 Original Encoding Incremental Solving Time: 0.026177
+ [java] 1588133859957 Original Encoding Solving Time: 0.221035
+ [java] 1588133859957 Original Encoding Incremental Solving Time: 0.026185
+ [java] 1588133859966 Original Encoding Solving Time: 0.24485
+ [java] 1588133859966 Original Encoding Incremental Solving Time: 0.013094
+ [java] 1588133859973 Original Encoding Solving Time: 0.170613
+ [java] 1588133859973 Original Encoding Incremental Solving Time: 0.013609
+ [java] Path Solving Time: 2.678281
+ [java] Path Solving Time: 1.461257
+ [java] 1588133859997 Original Encoding Solving Time: 0.426367
+ [java] 1588133859997 Original Encoding Incremental Solving Time: 0.137719
+ [java] 1588133860013 Original Encoding Solving Time: 0.256526
+ [java] 1588133860013 Original Encoding Incremental Solving Time: 0.028608
+ [java] 1588133860022 Original Encoding Solving Time: 0.205636
+ [java] 1588133860022 Original Encoding Incremental Solving Time: 0.026673
+ [java] 1588133860029 Original Encoding Solving Time: 0.21978
+ [java] 1588133860029 Original Encoding Incremental Solving Time: 0.013487
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133860037 Original Encoding Solving Time: 0.237023
+ [java] 1588133860037 Original Encoding Incremental Solving Time: 0.015275
+ [java] Path Solving Time: 2.656134
+ [java] Path Solving Time: 1.157401
+ [java] 1588133860060 Original Encoding Solving Time: 0.371339
+ [java] 1588133860060 Original Encoding Incremental Solving Time: 0.083683
+ [java] 1588133860072 Original Encoding Solving Time: 0.22514
+ [java] 1588133860072 Original Encoding Incremental Solving Time: 0.021629
+ [java] 1588133860081 Original Encoding Solving Time: 0.680186
+ [java] 1588133860081 Original Encoding Incremental Solving Time: 0.018529
+ [java] 1588133860088 Original Encoding Solving Time: 0.165912
+ [java] 1588133860088 Original Encoding Incremental Solving Time: 0.023389
+ [java] 1588133860095 Original Encoding Solving Time: 0.167774
+ [java] 1588133860095 Original Encoding Incremental Solving Time: 0.01418
+ [java] Path Solving Time: 2.477487
+ [java] Path Solving Time: 1.193384
+ [java] 1588133860118 Original Encoding Solving Time: 0.400376
+ [java] 1588133860118 Original Encoding Incremental Solving Time: 0.574972
+ [java] 1588133860132 Original Encoding Solving Time: 0.229085
+ [java] 1588133860132 Original Encoding Incremental Solving Time: 0.027874
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133860144 Original Encoding Solving Time: 0.292654
+ [java] 1588133860144 Original Encoding Incremental Solving Time: 0.030643
+ [java] 1588133860154 Original Encoding Solving Time: 0.19028
+ [java] 1588133860154 Original Encoding Incremental Solving Time: 0.012735
+ [java] 1588133860162 Original Encoding Solving Time: 0.211959
+ [java] 1588133860162 Original Encoding Incremental Solving Time: 0.036439
+ [java] Path Solving Time: 3.362712
+ [java] Path Solving Time: 1.058276
+ [java] 1588133860185 Original Encoding Solving Time: 0.274788
+ [java] 1588133860185 Original Encoding Incremental Solving Time: 0.071254
+ [java] 1588133860197 Original Encoding Solving Time: 0.201624
+ [java] 1588133860197 Original Encoding Incremental Solving Time: 0.017205
+ [java] 1588133860204 Original Encoding Solving Time: 0.189735
+ [java] 1588133860204 Original Encoding Incremental Solving Time: 0.024892
+ [java] 1588133860212 Original Encoding Solving Time: 0.164638
+ [java] 1588133860212 Original Encoding Incremental Solving Time: 0.012264
+ [java] 1588133860219 Original Encoding Solving Time: 0.193061
+ [java] 1588133860219 Original Encoding Incremental Solving Time: 0.017372
+ [java] Path Solving Time: 3.274774
+ [java] Path Solving Time: 1.055062
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133860242 Original Encoding Solving Time: 0.431477
+ [java] 1588133860242 Original Encoding Incremental Solving Time: 0.114266
+ [java] 1588133860256 Original Encoding Solving Time: 0.183859
+ [java] 1588133860256 Original Encoding Incremental Solving Time: 0.017956
+ [java] 1588133860265 Original Encoding Solving Time: 0.289796
+ [java] 1588133860265 Original Encoding Incremental Solving Time: 0.037805
+ [java] 1588133860276 Original Encoding Solving Time: 0.192348
+ [java] 1588133860276 Original Encoding Incremental Solving Time: 0.017893
+ [java] 1588133860286 Original Encoding Solving Time: 0.161745
+ [java] 1588133860286 Original Encoding Incremental Solving Time: 0.016033
+ [java] Path Solving Time: 2.3306
+ [java] Path Solving Time: 1.151269
+ [java] 1588133860309 Original Encoding Solving Time: 0.380165
+ [java] 1588133860309 Original Encoding Incremental Solving Time: 2.188836
+ [java] 1588133860323 Original Encoding Solving Time: 2.045322
+ [java] BooleanLogic<0x7f5e2ca2ab10>: NOT
+ [java] {BooleanPredicate<0x7f5e2c994980>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 185, 186, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 185}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca2aa70>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca08d80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 185, 186, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 185}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca2a870>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca08d80>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 185, 186, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 185}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca2a790>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9e6ed0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca2dec0>:{Set(1)<0x7f5e2ca095a0>:Members: 184, 188, } 0x7f5e2ca2dec0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 184}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca08980>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9e6ed0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca2dec0>:{Set(1)<0x7f5e2ca095a0>:Members: 184, 188, } 0x7f5e2ca2dec0 UNASSIGNED }{ElementConst<0x7f5e2c744910>: 184}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f5e2ca79f40>: OR
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 232, 236, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 232}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2ca5e520>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca997c0>:{Set(1)<0x7f5e2c9f6820>:Members: 232, 236, } 0x7f5e2ca997c0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 232}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca799a0>: OR
+ [java] {BooleanPredicate<0x7f5e2ca797c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 233, 234, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 233}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2ca085e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 233, 234, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 233}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca902b0>: OR
+ [java] {BooleanPredicate<0x7f5e2ca25940>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 233, 234, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 234}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2ca6a8b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 233, 234, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c745570>: 234}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca6ddd0>: OR
+ [java] {BooleanPredicate<0x7f5e2ca80b90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745430>:Members: 235, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c745820>: 235}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca207d0>: OR
+ [java] {BooleanPredicate<0x7f5e2ca98c30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 232, 236, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 236}
+ [java] }
+ [java] {BooleanPredicate<0x7f5e2ca259d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca997c0>:{Set(1)<0x7f5e2c9f6820>:Members: 232, 236, } 0x7f5e2ca997c0 UNASSIGNED }{ElementConst<0x7f5e2c972850>: 236}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f5e2ca96270>: OR
+ [java] {BooleanLogic<0x7f5e2ca20b30>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca80b90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c978500>:{Set(1)<0x7f5e2c745430>:Members: 235, } 0x7f5e2c978500 UNASSIGNED }{ElementConst<0x7f5e2c745820>: 235}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca37890>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 232, 236, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 232}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca5e280>: NOT
+ [java] {BooleanPredicate<0x7f5e2c9b16a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c730ca0>:{Set(1)<0x7f5e2c97a960>:Members: 232, 236, } 0x7f5e2c730ca0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 232}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2c23c760>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca797c0>:
+ [java] PredicateOperator:1588133860323 Original Encoding Incremental Solving Time: 0.032245
+ [java] 1588133860332 Original Encoding Solving Time: 0.162973
+ [java] 1588133860332 Original Encoding Incremental Solving Time: 0.023276
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 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] 1588133860340 Original Encoding Solving Time: 0.164088
+ [java] 1588133860340 Original Encoding Incremental Solving Time: 0.025956
+ [java] 1588133860347 Original Encoding Solving Time: 0.160775
+ [java] 1588133860347 Original Encoding Incremental Solving Time: 0.027662
+ [java] Path Solving Time: 4.817723
+ [java] Path Solving Time: 1.216414
+ [java] 1588133860371 Original Encoding Solving Time: 0.276248
+ [java] 1588133860371 Original Encoding Incremental Solving Time: 0.08104
+ [java] 1588133860382 Original Encoding Solving Time: 0.192577
+ [java] 1588133860382 Original Encoding Incremental Solving Time: 0.017562
+ [java] 1588133860389 Original Encoding Solving Time: 0.177066
+ [java] 1588133860389 Original Encoding Incremental Solving Time: 0.018385
+ [java] 1588133860396 Original Encoding Solving Time: 0.171517
+ [java] 1588133860396 Original Encoding Incremental Solving Time: 0.021294
+ [java] 1588133860402 Original Encoding Solving Time: 0.153044
+ [java] 1588133860402 Original Encoding Incremental Solving Time: 0.013217
+ [java] Path Solving Time: 3.51847
+ [java] Path Solving Time: 0.310834
+ [java] 1588133860425 Original Encoding Solving Time: 0.320468
+ [java] 1588133860425 Original Encoding Incremental Solving Time: 0.163292
+ [java] 1588133860439 Original Encoding Solving Time: 0.195706
+ [java] 1588133860439 Original Encoding Incremental Solving Time: 0.031621
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133860447 Original Encoding Solving Time: 0.147548
+ [java] 1588133860447 Original Encoding Incremental Solving Time: 0.005764
+ [java] Path Solving Time: 3.059171
+ [java] Path Solving Time: 0.333903
+ [java] 1588133860469 Original Encoding Solving Time: 0.343166
+ [java] 1588133860469 Original Encoding Incremental Solving Time: 1.779956
+ [java] 1588133860485 Original Encoding Solving Time: 1.38792
+ [java] 1588133860485 Original Encoding Incremental Solving Time: 0.015174
+ [java] 1588133860493 Original Encoding Solving Time: 0.146038
+ [java] 1588133860493 Original Encoding Incremental Solving Time: 0.007655
+ [java] Path Solving Time: 1.783995
+ [java] Path Solving Time: 0.301203
+ [java] 1588133860515 Original Encoding Solving Time: 0.500096
+ [java] 1588133860515 Original Encoding Incremental Solving Time: 0.183742
+ [java] 1588133860530 Original Encoding Solving Time: 0.200958
+ [java] 1588133860530 Original Encoding Incremental Solving Time: 0.021036
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 11
+ [java] Sketch Generation Time: 608.2805109999999
+ [java] Sketch Completion Time: 1159.5275750000005
+ [java] Compilation Time: 1486.1520509999998
+ [java] Running Test cases Time: 24.613375
+ [java] Synthesis Time: 1792.4214610000004
+ [java] Total Time: 3278.573512
+ [java] Number of components: 4
+ [java] Number of holes: 7
+ [java] Number of completed programs: 153
+ [java] Number of sketches: 44
+ [java] Solution:
+ [java] java.awt.Shape sypet_var261 = sypet_arg0;
+ [java] java.awt.geom.AffineTransform sypet_var262 = java.awt.geom.AffineTransform.getShearInstance(sypet_arg1,sypet_arg2);
+ [java] java.awt.geom.Path2D.Double sypet_var263 = new java.awt.geom.Path2D.Double(sypet_var261,sypet_var262);
+ [java] java.awt.geom.Rectangle2D sypet_var264 = sypet_var263.getBounds2D();
+ [java] return sypet_var264;
+ [java]
+ [java] ============================
+ [java] ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 233, 234, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca8b5d0>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca797c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c95fa60>:{Set(1)<0x7f5e2c399580>:Members: 233, 234, } 0x7f5e2c95fa60 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca83840>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca085e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 233, 234, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca98e80>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca085e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2c25b860>:{Set(1)<0x7f5e2c9f35d0>:Members: 233, 234, } 0x7f5e2c25b860 UNASSIGNED }{ElementConst<0x7f5e2c96a690>: 233}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca98dc0>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca5e520>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca997c0>:{Set(1)<0x7f5e2c9f6820>:Members: 232, 236, } 0x7f5e2ca997c0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 232}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f5e2ca98d30>: NOT
+ [java] {BooleanPredicate<0x7f5e2ca5e520>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f5e2ca997c0>:{Set(1)<0x7f5e2c9f6820>:Members: 232, 236, } 0x7f5e2ca997c0 UNASSIGNED }{ElementConst<0x7f5e2c96a310>: 232}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+
+BUILD SUCCESSFUL
+Total time: 7 seconds
projects / Benchmarks_CSolver.git / blobdiff