--- /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: 3196.457764
+ [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: 15.29837
+ [java] Path Solving Time: 23.587026
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 11.689761
+ [java] Path Solving Time: 9.959225
+ [java] Path Solving Time: 3.548516
+ [java] Path Solving Time: 1.249649
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 1.284849
+ [java] 1588119251763 Original Encoding Solving Time: 0.704361
+ [java] 1588119251763 Original Encoding Incremental Solving Time: 0.292831
+ [java] Done with finding holes : Flag = true
+ [java] 1588119252027 Original Encoding Solving Time: 0.34306
+ [java] 1588119252027 Original Encoding Incremental Solving Time: 0.047239
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588119252051 Original Encoding Solving Time: 0.23133
+ [java] 1588119252051 Original Encoding Incremental Solving Time: 0.029458
+ [java] Path Solving Time: 2.061709
+ [java] Path Solving Time: 18.533679
+ [java] Path Solving Time: 3.317199
+ [java] Path Solving Time: 1.060815
+ [java] 1588119252091 Original Encoding Solving Time: 0.439722
+ [java] 1588119252091 Original Encoding Incremental Solving Time: 0.228973
+ [java] 1588119252118 Original Encoding Solving Time: 0.223676
+ [java] 1588119252118 Original Encoding Incremental Solving Time: 0.044421
+ [java] 1588119252138 Original Encoding Solving Time: 0.185961
+ [java] 1588119252138 Original Encoding Incremental Solving Time: 0.283663
+ [java] Path Solving Time: 4.17393
+ [java] Path Solving Time: 1.139924
+ [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] 1588119252158 Original Encoding Solving Time: 0.462119
+ [java] 1588119252158 Original Encoding Incremental Solving Time: 0.226681
+ [java] 1588119252184 Original Encoding Solving Time: 0.233648
+ [java] 1588119252184 Original Encoding Incremental Solving Time: 0.045526
+ [java] 1588119252202 Original Encoding Solving Time: 0.197094
+ [java] 1588119252202 Original Encoding Incremental Solving Time: 0.030027
+ [java] Path Solving Time: 4.123239
+ [java] Path Solving Time: 0.964474
+ [java] 1588119252222 Original Encoding Solving Time: 1.147403
+ [java] 1588119252222 Original Encoding Incremental Solving Time: 0.231163
+ [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] 1588119252251 Original Encoding Solving Time: 0.222118
+ [java] 1588119252251 Original Encoding Incremental Solving Time: 0.058361
+ [java] 1588119252269 Original Encoding Solving Time: 0.24408
+ [java] 1588119252269 Original Encoding Incremental Solving Time: 0.028057
+ [java] Path Solving Time: 4.057001
+ [java] Path Solving Time: 0.975229
+ [java] 1588119252288 Original Encoding Solving Time: 0.528658
+ [java] 1588119252288 Original Encoding Incremental Solving Time: 0.212077
+ [java] 1588119252314 Original Encoding Solving Time: 0.487953
+ [java] 1588119252314 Original Encoding Incremental Solving Time: 0.06007
+ [java] 1588119252331 Original Encoding Solving Time: 0.236324
+ [java] 1588119252331 Original Encoding Incremental Solving Time: 0.028902
+ [java] Path Solving Time: 4.409513
+ [java] Path Solving Time: 0.842427
+ [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] 1588119252351 Original Encoding Solving Time: 0.567942
+ [java] 1588119252351 Original Encoding Incremental Solving Time: 0.219831
+ [java] 1588119252375 Original Encoding Solving Time: 0.560587
+ [java] 1588119252375 Original Encoding Incremental Solving Time: 0.063636
+ [java] 1588119252399 Original Encoding Solving Time: 0.234774
+ [java] 1588119252399 Original Encoding Incremental Solving Time: 0.030525
+ [java] Path Solving Time: 5.155821
+ [java] Path Solving Time: 1.159964
+ [java] 1588119252421 Original Encoding Solving Time: 0.598395
+ [java] 1588119252421 Original Encoding Incremental Solving Time: 0.218942
+ [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] 1588119252453 Original Encoding Solving Time: 0.250722
+ [java] 1588119252453 Original Encoding Incremental Solving Time: 0.053086
+ [java] 1588119252474 Original Encoding Solving Time: 0.290684
+ [java] 1588119252474 Original Encoding Incremental Solving Time: 0.031446
+ [java] Path Solving Time: 5.783608
+ [java] Path Solving Time: 0.951036
+ [java] 1588119252497 Original Encoding Solving Time: 0.540735
+ [java] 1588119252497 Original Encoding Incremental Solving Time: 0.43531
+ [java] 1588119252516 Original Encoding Solving Time: 0.227324
+ [java] 1588119252516 Original Encoding Incremental Solving Time: 0.034784
+ [java] 1588119252532 Original Encoding Solving Time: 0.199038
+ [java] 1588119252532 Original Encoding Incremental Solving Time: 0.023992
+ [java] Path Solving Time: 18.177623
+ [java] PetriNet for path length: 7 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 10.22854
+ [java] Path Solving Time: 23.540218
+ [java] Path Solving Time: 4.07452
+ [java] Path Solving Time: 1.646142
+ [java] Path Solving Time: 0.571363
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588119252965 Original Encoding Solving Time: 0.466639
+ [java] 1588119252965 Original Encoding Incremental Solving Time: 0.196626
+ [java] 1588119252991 Original Encoding Solving Time: 0.266463
+ [java] 1588119252991 Original Encoding Incremental Solving Time: 0.044202
+ [java] 1588119253004 Original Encoding Solving Time: 0.17493
+ [java] 1588119253004 Original Encoding Incremental Solving Time: 0.01668
+ [java] Path Solving Time: 1.014949
+ [java] Path Solving Time: 30.333605
+ [java] Path Solving Time: 2.971943
+ [java] Path Solving Time: 2.196516
+ [java] Path Solving Time: 0.535664
+ [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] 1588119253059 Original Encoding Solving Time: 1.075425
+ [java] 1588119253059 Original Encoding Incremental Solving Time: 0.329111
+ [java] 1588119253083 Original Encoding Solving Time: 0.303623
+ [java] 1588119253083 Original Encoding Incremental Solving Time: 0.053773
+ [java] 1588119253096 Original Encoding Solving Time: 0.156751
+ [java] 1588119253096 Original Encoding Incremental Solving Time: 0.028327
+ [java] Path Solving Time: 2.140712
+ [java] Path Solving Time: 4.264769
+ [java] Path Solving Time: 0.607114
+ [java] 1588119253120 Original Encoding Solving Time: 0.594535
+ [java] 1588119253120 Original Encoding Incremental Solving Time: 0.158779
+ [java] 1588119253142 Original Encoding Solving Time: 0.218729
+ [java] 1588119253142 Original Encoding Incremental Solving Time: 0.038535
+ [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] 1588119253158 Original Encoding Solving Time: 0.245346
+ [java] 1588119253158 Original Encoding Incremental Solving Time: 0.014659
+ [java] Path Solving Time: 3.450076
+ [java] Path Solving Time: 0.766003
+ [java] 1588119253179 Original Encoding Solving Time: 0.345706
+ [java] 1588119253179 Original Encoding Incremental Solving Time: 0.174289
+ [java] 1588119253204 Original Encoding Solving Time: 0.207226
+ [java] 1588119253204 Original Encoding Incremental Solving Time: 0.035402
+ [java] 1588119253217 Original Encoding Solving Time: 0.162139
+ [java] 1588119253217 Original Encoding Incremental Solving Time: 0.012412
+ [java] Path Solving Time: 3.252844
+ [java] Path Solving Time: 0.769698
+ [java] 1588119253238 Original Encoding Solving Time: 0.530901
+ [java] 1588119253238 Original Encoding Incremental Solving Time: 0.135372
+ [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] 1588119253263 Original Encoding Solving Time: 0.240288
+ [java] 1588119253263 Original Encoding Incremental Solving Time: 0.050371
+ [java] 1588119253280 Original Encoding Solving Time: 0.195648
+ [java] 1588119253280 Original Encoding Incremental Solving Time: 0.017347
+ [java] Path Solving Time: 3.246308
+ [java] Path Solving Time: 0.75482
+ [java] 1588119253303 Original Encoding Solving Time: 0.643737
+ [java] 1588119253303 Original Encoding Incremental Solving Time: 0.273327
+ [java] 1588119253326 Original Encoding Solving Time: 0.221789
+ [java] 1588119253326 Original Encoding Incremental Solving Time: 0.040174
+ [java] 1588119253338 Original Encoding Solving Time: 0.184292
+ [java] 1588119253338 Original Encoding Incremental Solving Time: 0.014059
+ [java] Path Solving Time: 2.391132
+ [java] Path Solving Time: 0.508931
+ [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] 1588119253359 Original Encoding Solving Time: 0.582968
+ [java] 1588119253359 Original Encoding Incremental Solving Time: 0.440955
+ [java] 1588119253380 Original Encoding Solving Time: 0.724209
+ [java] 1588119253380 Original Encoding Incremental Solving Time: 0.043862
+ [java] 1588119253392 Original Encoding Solving Time: 0.177502
+ [java] 1588119253392 Original Encoding Incremental Solving Time: 0.013423
+ [java] Path Solving Time: 2.318956
+ [java] Path Solving Time: 0.589548
+ [java] 1588119253415 Original Encoding Solving Time: 3.961248
+ [java] 1588119253415 Original Encoding Incremental Solving Time: 2.446961
+ [java] 1588119253435 Original Encoding Solving Time: 0.276466
+ [java] 1588119253435 Original Encoding Incremental Solving Time: 0.030402
+ [java] 1588119253447 Original Encoding Solving Time: 0.206382
+ [java] 1588119253447 Original Encoding Incremental Solving Time: 0.009237
+ [java] Path Solving Time: 1.996851
+ [java] Path Solving Time: 0.403806
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588119253466 Original Encoding Solving Time: 0.503402
+ [java] 1588119253466 Original Encoding Incremental Solving Time: 0.545166
+ [java] 1588119253485 Original Encoding Solving Time: 0.826342
+ [java] 1588119253485 Original Encoding Incremental Solving Time: 0.034784
+ [java] 1588119253498 Original Encoding Solving Time: 1.856009
+ [java] 1588119253498 Original Encoding Incremental Solving Time: 0.01266
+ [java] Path Solving Time: 2.280158
+ [java] Path Solving Time: 0.455603
+ [java] 1588119253517 Original Encoding Solving Time: 0.496769
+ [java] 1588119253517 Original Encoding Incremental Solving Time: 1.992729
+ [java] 1588119253536 Original Encoding Solving Time: 0.204241
+ [java] 1588119253536 Original Encoding Incremental Solving Time: 0.025207
+ [java] 1588119253546 Original Encoding Solving Time: 0.179847
+ [java] 1588119253546 Original Encoding Incremental Solving Time: 0.019657
+ [java] Path Solving Time: 2.137673
+ [java] Path Solving Time: 0.432979
+ [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] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588119253566 Original Encoding Solving Time: 0.430223
+ [java] 1588119253566 Original Encoding Incremental Solving Time: 0.144754
+ [java] 1588119253585 Original Encoding Solving Time: 0.174909
+ [java] 1588119253585 Original Encoding Incremental Solving Time: 0.022762
+ [java] 1588119253595 Original Encoding Solving Time: 0.172483
+ [java] 1588119253595 Original Encoding Incremental Solving Time: 0.010937
+ [java] Path Solving Time: 2.088704
+ [java] Path Solving Time: 0.399042
+ [java] 1588119253614 Original Encoding Solving Time: 0.417474
+ [java] 1588119253614 Original Encoding Incremental Solving Time: 0.908483
+ [java] 1588119253635 Original Encoding Solving Time: 3.255983
+ [java] serializing ...
+ [java] {BooleanLogic<0x7ff7f49cd380>: OR
+ [java] {BooleanPredicate<0x7ff7f49d7d20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4778bd0>:{Set(1)<0x7ff7f424e930>:Members: 98, } 0x7ff7f4778bd0 UNASSIGNED }{ElementConst<0x7ff7f49a86e0>: 98}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f49cfda0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4355230>:{Set(1)<0x7ff7f49bef90>:Members: 98, 104, } 0x7ff7f4355230 UNASSIGNED }{ElementConst<0x7ff7f49a86e0>: 98}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f44e8380>: OR
+ [java] {BooleanPredicate<0x7ff7f4782850>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f2ac0>:{Set(1)<0x7ff7f49ba020>:Members: 99, } 0x7ff7f49f2ac0 UNASSIGNED }{ElementConst<0x7ff7f4785d80>: 99}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43eba40>: OR
+ [java] {BooleanPredicate<0x7ff7f49eda60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f47849b0>:Members: 100, 101, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f49d8050>: 100}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f44e8230>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47be280>:Members: 100, 101, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f49d8050>: 100}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f451ffd0>: OR
+ [java] {BooleanPredicate<0x7ff7f4266af0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f47849b0>:Members: 100, 101, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f49c9650>: 101}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f49de000>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47be280>:Members: 100, 101, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f49c9650>: 101}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43f1c20>: OR
+ [java] {BooleanPredicate<0x7ff7f47c0540>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47be300>:{Set(1)<0x7ff7f4250940>:Members: 102, } 0x7ff7f47be300 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 102}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f424e1c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4354f10>:{Set(1)<0x7ff7f49c5fe0>:Members: 102, 103, } 0x7ff7f4354f10 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 102}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43f1520>: OR
+ [java] {BooleanPredicate<0x7ff7f424e380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4354f10>:{Set(1)<0x7ff7f49c5fe0>:Members: 102, 103, } 0x7ff7f4354f10 UNASSIGNED }{ElementConst<0x7ff7f4785b10>: 103}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f49d9df0>: OR
+ [java] {BooleanPredicate<0x7ff7f4778450>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4355230>:{Set(1)<0x7ff7f49bef90>:Members: 98, 104, } 0x7ff7f4355230 UNASSIGNED }{ElementConst<0x7ff7f47855f0>: 104}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7ff7f49a7f60>: OR
+ [java] {BooleanPredicate<0x7ff7f49d7d20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d6350>:{Set(1)<0x7ff7f4354770>:Members: 126, } 0x7ff7f43d6350 UNASSIGNED }{ElementConst<0x7ff7f43a6c20>: 126}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f49cfda0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1f60>:{Set(1)<0x7ff7f47841f0>:Members: 126, 132, } 0x7ff7f43d1f60 UNASSIGNED }{ElementConst<0x7ff7f43a6c20>: 126}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43f1520>: OR
+ [java] {BooleanPredicate<0x7ff7f4782850>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f2ac0>:{Set(1)<0x7ff7f477e960>:Members: 127, } 0x7ff7f49f2ac0 UNASSIGNED }{ElementConst<0x7ff7f4785b10>: 127}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43a14c0>: OR
+ [java] {BooleanPredicate<0x7ff7f43cbf40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f49ba020>:Members: 128, 129, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 128}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f43a90f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47849b0>:Members: 128, 129, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 128}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43a9f40>: OR
+ [java] {BooleanPredicate<0x7ff7f43a7080>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f49ba020>:Members: 128, 129, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f47855f0>: 129}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f43a6ec0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47849b0>:Members: 128, 129, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f47855f0>: 129}
+ [java] }
+ [java] }
+ [java] 1588119253635 Original Encoding Incremental Solving Time: 0.033682
+ [java] 1588119253646 Original Encoding Solving Time: 0.174039
+ [java] 1588119253646 Original Encoding Incremental Solving Time: 0.012401
+ [java] Path Solving Time: 2.273272
+ [java] Path Solving Time: 0.548377
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588119253670 Original Encoding Solving Time: 0.447875
+ [java] 1588119253670 Original Encoding Incremental Solving Time: 1.161407
+ [java] 1588119253689 Original Encoding Solving Time: 0.209189
+ [java] 1588119253689 Original Encoding Incremental Solving Time: 0.042499
+ [java] 1588119253700 Original Encoding Solving Time: 0.961949
+ [java] 1588119253700 Original Encoding Incremental Solving Time: 0.013192
+ [java] Path Solving Time: 2.526763
+ [java] Path Solving Time: 0.506384
+ [java] 1588119253721 Original Encoding Solving Time: 0.48659
+ [java] 1588119253721 Original Encoding Incremental Solving Time: 0.213033
+ [java] 1588119253740 Original Encoding Solving Time: 0.199493
+ [java] 1588119253740 Original Encoding Incremental Solving Time: 0.036347
+ [java] 1588119253751 Original Encoding Solving Time: 1.465609
+ [java] 1588119253751 Original Encoding Incremental Solving Time: 0.013638
+ [java] Path Solving Time: 2.152419
+ [java] Path Solving Time: 0.487145
+ [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] 1588119253771 Original Encoding Solving Time: 0.437423
+ [java] 1588119253771 Original Encoding Incremental Solving Time: 0.149803
+ [java] 1588119253791 Original Encoding Solving Time: 0.534763
+ [java] 1588119253791 Original Encoding Incremental Solving Time: 0.042566
+ [java] 1588119253803 Original Encoding Solving Time: 0.209484
+ [java] 1588119253803 Original Encoding Incremental Solving Time: 0.016365
+ [java] Path Solving Time: 2.436623
+ [java] Path Solving Time: 0.530324
+ [java] 1588119253823 Original Encoding Solving Time: 0.449558
+ [java] 1588119253823 Original Encoding Incremental Solving Time: 0.160878
+ [java] 1588119253843 Original Encoding Solving Time: 0.287318
+ [java] 1588119253843 Original Encoding Incremental Solving Time: 0.056097
+ [java] 1588119253855 Original Encoding Solving Time: 0.178369
+ [java] 1588119253855 Original Encoding Incremental Solving Time: 0.01524
+ [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: 9.865809
+ [java] Path Solving Time: 19.634723
+ [java] Path Solving Time: 6.778984
+ [java] Path Solving Time: 3.35114
+ [java] 1588119253914 Original Encoding Solving Time: 1.373571
+ [java] 1588119253914 Original Encoding Incremental Solving Time: 0.157819
+ [java] 1588119253933 Original Encoding Solving Time: 0.243043
+ [java] 1588119253933 Original Encoding Incremental Solving Time: 0.029526
+ [java] 1588119253945 Original Encoding Solving Time: 0.187055
+ [java] 1588119253945 Original Encoding Incremental Solving Time: 0.014848
+ [java] Path Solving Time: 7.889408
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 37.927178
+ [java] Path Solving Time: 71.572987
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 1.818727
+ [java] 1588119254083 Original Encoding Solving Time: 2.259301
+ [java]
+ [java] {BooleanLogic<0x7ff7f49cd450>: OR
+ [java] {BooleanPredicate<0x7ff7f43af140>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47be300>:{Set(1)<0x7ff7f47be280>:Members: 130, } 0x7ff7f47be300 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 130}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f4266af0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1c40>:{Set(1)<0x7ff7f43a1b80>:Members: 130, 131, } 0x7ff7f43d1c40 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 130}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43d1ad0>: OR
+ [java] {BooleanPredicate<0x7ff7f49de000>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1c40>:{Set(1)<0x7ff7f43a1b80>:Members: 130, 131, } 0x7ff7f43d1c40 UNASSIGNED }{ElementConst<0x7ff7f4998e40>: 131}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43a93c0>: OR
+ [java] {BooleanPredicate<0x7ff7f4354ec0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1f60>:{Set(1)<0x7ff7f47841f0>:Members: 126, 132, } 0x7ff7f43d1f60 UNASSIGNED }{ElementConst<0x7ff7f49c9650>: 132}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43dbdc0>: OR
+ [java] {BooleanLogic<0x7ff7f43f3130>: NOT
+ [java] {BooleanPredicate<0x7ff7f4782850>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f2ac0>:{Set(1)<0x7ff7f477e960>:Members: 127, } 0x7ff7f49f2ac0 UNASSIGNED }{ElementConst<0x7ff7f4785b10>: 127}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f49d9df0>: NOT
+ [java] {BooleanPredicate<0x7ff7f43cbf40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f49ba020>:Members: 128, 129, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 128}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43db5e0>: NOT
+ [java] {BooleanPredicate<0x7ff7f43cbf40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f49ba020>:Members: 128, 129, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 128}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43db6c0>: NOT
+ [java] {BooleanPredicate<0x7ff7f43a90f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47849b0>:Members: 128, 129, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 128}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43db7a0>: NOT
+ [java] {BooleanPredicate<0x7ff7f43a90f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47849b0>:Members: 128, 129, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 128}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43db880>: NOT
+ [java] {BooleanPredicate<0x7ff7f43af140>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47be300>:{Set(1)<0x7ff7f47be280>:Members: 130, } 0x7ff7f47be300 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 130}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43db960>: NOT
+ [java] {BooleanPredicate<0x7ff7f49d7d20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d6350>:{Set(1)<0x7ff7f4354770>:Members: 126, } 0x7ff7f43d6350 UNASSIGNED }{ElementConst<0x7ff7f43a6c20>: 126}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43dba40>: NOT
+ [java] {BooleanPredicate<0x7ff7f4266af0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1c40>:{Set(1)<0x7ff7f43a1b80>:Members: 130, 131, } 0x7ff7f43d1c40 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 130}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43dbb20>: NOT
+ [java] {BooleanPredicate<0x7ff7f4266af0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1c40>:{Set(1)<0x7ff7f43a1b80>:Members: 130, 131, } 0x7ff7f43d1c40 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 130}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43dbc00>: NOT
+ [java] {BooleanPredicate<0x7ff7f49cfda0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1f60>:{Set(1)<0x7ff7f47841f0>:Members: 126, 132, } 0x7ff7f43d1f60 UNASSIGNED }{ElementConst<0x7ff7f43a6c20>: 126}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7ff7f43dbce0>: NOT
+ [java] {BooleanPredicate<0x7ff7f49cfda0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f43d1f60>:{Set(1)<0x7ff7f47841f0>:Members: 126, 132, } 0x7ff7f43d1f60 UNASSIGNED }{ElementConst<0x7ff7f43a6c20>: 126}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7ff7f43d1520>: OR
+ [java] {BooleanPredicate<0x7ff7f49cfda0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4a1c430>:{Set(1)<0x7ff7f4a1cb80>:Members: 167, } 0x7ff7f4a1c430 UNASSIGNED }{ElementConst<0x7ff7f4785d80>: 167}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f4782850>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4a11ed0>:{Set(1)<0x7ff7f477e780>:Members: 167, 172, } 0x7ff7f4a11ed0 UNASSIGNED }{ElementConst<0x7ff7f4785d80>: 167}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f47788e1588119254083 Original Encoding Incremental Solving Time: 0.121194
+ [java] 1588119254101 Original Encoding Solving Time: 0.060968
+ [java] 1588119254101 Original Encoding Incremental Solving Time: 0.012643
+ [java] Path Solving Time: 44.436853
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 37.921435
+ [java] Path Solving Time: 10.044774
+ [java] Path Solving Time: 1.844837
+ [java] 1588119254219 Original Encoding Solving Time: 0.519083
+ [java] 1588119254219 Original Encoding Incremental Solving Time: 0.199084
+ [java] 1588119254242 Original Encoding Solving Time: 0.036597
+ [java] 1588119254242 Original Encoding Incremental Solving Time: 0.014238
+ [java] Path Solving Time: 18.166914
+ [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: 15.462448
+ [java] Path Solving Time: 9.760073
+ [java] Path Solving Time: 1.115341
+ [java] 1588119254307 Original Encoding Solving Time: 0.474844
+ [java] 1588119254307 Original Encoding Incremental Solving Time: 0.088998
+ [java] 1588119254326 Original Encoding Solving Time: 0.256418
+ [java] 1588119254326 Original Encoding Incremental Solving Time: 0.035715
+ [java] 1588119254340 Original Encoding Solving Time: 0.195292
+ [java] 1588119254340 Original Encoding Incremental Solving Time: 0.033692
+ [java] 1588119254350 Original Encoding Solving Time: 0.189143
+ [java] 1588119254350 Original Encoding Incremental Solving Time: 0.029731
+ [java] 1588119254364 Original Encoding Solving Time: 0.224211
+ [java] 1588119254364 Original Encoding Incremental Solving Time: 0.026065
+ [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] 1588119254375 Original Encoding Solving Time: 0.246267
+ [java] 1588119254375 Original Encoding Incremental Solving Time: 0.035016
+ [java] 1588119254386 Original Encoding Solving Time: 0.671161
+ [java] 1588119254386 Original Encoding Incremental Solving Time: 0.025165
+ [java] Path Solving Time: 41.557063
+ [java] Path Solving Time: 28.823926
+ [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: 29.271228
+ [java] Path Solving Time: 1.074893
+ [java] 1588119254504 Original Encoding Solving Time: 0.652225
+ [java] 1588119254504 Original Encoding Incremental Solving Time: 0.161109
+ [java] 1588119254524 Original Encoding Solving Time: 0.417455
+ [java] 1588119254524 Original Encoding Incremental Solving Time: 0.026796
+ [java] 1588119254536 Original Encoding Solving Time: 0.193707
+ [java] 1588119254536 Original Encoding Incremental Solving Time: 0.032291
+ [java] Path Solving Time: 9.604835
+ [java] Path Solving Time: 20.01649
+ [java] Path Solving Time: 1.161595
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588119254584 Original Encoding Solving Time: 0.453162
+ [java] 1588119254584 Original Encoding Incremental Solving Time: 0.122523
+ [java] 1588119254601 Original Encoding Solving Time: 0.250905
+ [java] 1588119254601 Original Encoding Incremental Solving Time: 0.027268
+ [java] 1588119254612 Original Encoding Solving Time: 0.173976
+ [java] 1588119254612 Original Encoding Incremental Solving Time: 0.035211
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 70.05721
+ [java] Path Solving Time: 15.738964
+ [java] Path Solving Time: 0.928921
+ [java] 1588119254716 Original Encoding Solving Time: 0.458246
+ [java] 1588119254716 Original Encoding Incremental Solving Time: 0.099736
+ [java] 1588119254731 Original Encoding Solving Time: 0.261368
+ [java] 1588119254731 Original Encoding Incremental Solving Time: 0.032074
+ [java] 1588119254746 Original Encoding Solving Time: 0.197722
+ [java] 1588119254746 Original Encoding Incremental Solving Time: 0.028804
+ [java] Path Solving Time: 11.044524
+ [java] Path Solving Time: 7.641352
+ [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: 14.250273
+ [java] Path Solving Time: 0.775112
+ [java] 1588119254797 Original Encoding Solving Time: 0.386188
+ [java] 1588119254797 Original Encoding Incremental Solving Time: 0.172617
+ [java] 1588119254813 Original Encoding Solving Time: 0.376909
+ [java] 1588119254813 Original Encoding Incremental Solving Time: 0.029721
+ [java] 1588119254823 Original Encoding Solving Time: 0.146724
+ [java] 1588119254823 Original Encoding Incremental Solving Time: 0.01356
+ [java] Path Solving Time: 14.969257
+ [java] Path Solving Time: 13.477434
+ [java] Path Solving Time: 0.722064
+ [java] 1588119254868 Original Encoding Solving Time: 0.272593
+ [java] 1588119254868 Original Encoding Incremental Solving Time: 0.102803
+ [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] 1588119254883 Original Encoding Solving Time: 0.804832
+ [java] 1588119254883 Original Encoding Incremental Solving Time: 0.025624
+ [java] 1588119254895 Original Encoding Solving Time: 0.394442
+ [java] 1588119254895 Original Encoding Incremental Solving Time: 0.015325
+ [java] Path Solving Time: 14.695568
+ [java] Path Solving Time: 6.926682
+ [java] Path Solving Time: 0.622789
+ [java] 1588119254934 Original Encoding Solving Time: 0.304977
+ [java] 1588119254934 Original Encoding Incremental Solving Time: 0.107723
+ [java] 1588119254948 Original Encoding Solving Time: 0.244773
+ [java] 1588119254948 Original Encoding Incremental Solving Time: 0.032099
+ [java] 1588119254961 Original Encoding Solving Time: 0.947303
+ [java] 1588119254961 Original Encoding Incremental Solving Time: 0.025037
+ [java] 1588119254969 Original Encoding Solving Time: 0.160585
+ [java] 1588119254969 Original Encoding Incremental Solving Time: 0.024085
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588119254978 Original Encoding Solving Time: 0.191045
+ [java] 1588119254978 Original Encoding Incremental Solving Time: 0.02644
+ [java] 1588119254987 Original Encoding Solving Time: 0.195691
+ [java] 1588119254987 Original Encoding Incremental Solving Time: 0.022462
+ [java] 1588119254999 Original Encoding Solving Time: 0.26867
+ [java] 1588119254999 Original Encoding Incremental Solving Time: 0.025597
+ [java] Path Solving Time: 4.555517
+ [java] Path Solving Time: 9.991195
+ [java] Path Solving Time: 0.631909
+ [java] 1588119255031 Original Encoding Solving Time: 0.526722
+ [java] 1588119255031 Original Encoding Incremental Solving Time: 0.157802
+ [java] 1588119255047 Original Encoding Solving Time: 0.183313
+ [java] 1588119255047 Original Encoding Incremental Solving Time: 0.015801
+ [java] 1588119255056 Original Encoding Solving Time: 0.15443
+ [java] 1588119255056 Original Encoding Incremental Solving Time: 0.025567
+ [java] Path Solving Time: 3.855388
+ [java] Path Solving Time: 7.046148
+ [java] Path Solving Time: 0.617555
+ [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] 1588119255083 Original Encoding Solving Time: 0.27228
+ [java] 1588119255083 Original Encoding Incremental Solving Time: 0.087159
+ [java] 1588119255100 Original Encoding Solving Time: 0.255022
+ [java] 1588119255100 Original Encoding Incremental Solving Time: 0.040009
+ [java] 1588119255113 Original Encoding Solving Time: 0.217897
+ [java] 1588119255113 Original Encoding Incremental Solving Time: 0.013681
+ [java] Path Solving Time: 4.366392
+ [java] Path Solving Time: 22.320517
+ [java] 1588119255158 Original Encoding Solving Time: 0.512809
+ [java] 1588119255158 Original Encoding Incremental Solving Time: 0.17665
+ [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] 1588119255174 Original Encoding Solving Time: 0.212035
+ [java] 1588119255174 Original Encoding Incremental Solving Time: 0.022268
+ [java] 1588119255184 Original Encoding Solving Time: 0.16088
+ [java] 1588119255184 Original Encoding Incremental Solving Time: 0.024685
+ [java] 1588119255192 Original Encoding Solving Time: 0.152924
+ [java] 1588119255192 Original Encoding Incremental Solving Time: 0.014578
+ [java] 1588119255201 Original Encoding Solving Time: 0.218804
+ [java] 1588119255201 Original Encoding Incremental Solving Time: 0.025786
+ [java] Path Solving Time: 4.911048
+ [java] Path Solving Time: 14.296186
+ [java] 1588119255238 Original Encoding Solving Time: 0.511761
+ [java] 1588119255238 Original Encoding Incremental Solving Time: 0.147663
+ [java] 1588119255253 Original Encoding Solving Time: 0.163517
+ [java] 1588119255253 Original Encoding Incremental Solving Time: 0.01808
+ [java] 1588119255265 Original Encoding Solving Time: 0.15974
+ [java] 1588119255265 Original Encoding Incremental Solving Time: 0.017867
+ [java] 1588119255274 Original Encoding Solving Time: 0.198266
+ [java] 1588119255274 Original Encoding Incremental Solving Time: 0.019761
+ [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] 1588119255286 Original Encoding Solving Time: 0.187149
+ [java] 1588119255286 Original Encoding Incremental Solving Time: 0.017257
+ [java] Path Solving Time: 4.748512
+ [java] Path Solving Time: 9.668892
+ [java] 1588119255317 Original Encoding Solving Time: 0.295472
+ [java] 1588119255317 Original Encoding Incremental Solving Time: 0.098308
+ [java] 1588119255330 Original Encoding Solving Time: 0.161482
+ [java] 1588119255330 Original Encoding Incremental Solving Time: 0.014626
+ [java] 1588119255339 Original Encoding Solving Time: 1.796782
+ [java] 1588119255339 Original Encoding Incremental Solving Time: 0.025812
+ [java] 1588119255348 Original Encoding Solving Time: 0.158191
+ [java] 1588119255348 Original Encoding Incremental Solving Time: 0.014041
+ [java] 1588119255356 Original Encoding Solving Time: 0.161325
+ [java] 1588119255356 Original Encoding Incremental Solving Time: 0.01658
+ [java] Path Solving Time: 4.402632
+ [java] Path Solving Time: 8.410919
+ [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] 1588119255387 Original Encoding Solving Time: 0.411532
+ [java] 1588119255387 Original Encoding Incremental Solving Time: 0.136961
+ [java] 1588119255402 Original Encoding Solving Time: 0.171363
+ [java] 1588119255402 Original Encoding Incremental Solving Time: 0.021018
+ [java] 1588119255412 Original Encoding Solving Time: 0.174695
+ [java] 1588119255412 Original Encoding Incremental Solving Time: 0.023279
+ [java] 1588119255421 Original Encoding Solving Time: 0.151938
+ [java] 1588119255421 Original Encoding Incremental Solving Time: 0.015168
+ [java] 1588119255430 Original Encoding Solving Time: 0.153101
+ [java] 1588119255430 Original Encoding Incremental Solving Time: 0.015796
+ [java] Path Solving Time: 4.636355
+ [java] Path Solving Time: 13.334329
+ [java] 1588119255465 Original Encoding Solving Time: 0.553517
+ [java] 1588119255465 Original Encoding Incremental Solving Time: 0.138396
+ [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] 1588119255480 Original Encoding Solving Time: 0.209407
+ [java] 1588119255480 Original Encoding Incremental Solving Time: 0.02061
+ [java] 1588119255491 Original Encoding Solving Time: 0.217997
+ [java] 1588119255491 Original Encoding Incremental Solving Time: 0.03961
+ [java] 1588119255500 Original Encoding Solving Time: 0.183374
+ [java] 1588119255500 Original Encoding Incremental Solving Time: 0.024594
+ [java] 1588119255508 Original Encoding Solving Time: 0.167838
+ [java] 1588119255508 Original Encoding Incremental Solving Time: 0.022491
+ [java] Path Solving Time: 4.647112
+ [java] Path Solving Time: 5.469694
+ [java] 1588119255535 Original Encoding Solving Time: 1.113646
+ [java] 1588119255535 Original Encoding Incremental Solving Time: 1.707769
+ [java] 1588119255550 Original Encoding Solving Time: 0.146203
+ [java] 1588119255550 Original Encoding Incremental Solving Time: 0.013144
+ [java] 1588119255558 Original Encoding Solving Time: 0.152006
+ [java] 1588119255558 Original Encoding Incremental Solving Time: 0.017503
+ [java] 1588119255565 Original Encoding Solving Time: 0.148071
+ [java] 1588119255565 Original Encoding Incremental Solving Time: 0.01141
+ [java] 1588119255573 Original Encoding Solving Time: 0.181599
+ [java] 1588119255573 Original Encoding Incremental Solving Time: 0.020796
+ [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] Path Solving Time: 4.90871
+ [java] Path Solving Time: 6.490554
+ [java] 1588119255602 Original Encoding Solving Time: 0.308951
+ [java] 1588119255602 Original Encoding Incremental Solving Time: 0.102228
+ [java] 1588119255616 Original Encoding Solving Time: 0.173675
+ [java] 1588119255616 Original Encoding Incremental Solving Time: 0.014304
+ [java] 1588119255624 Original Encoding Solving Time: 0.159376
+ [java] 1588119255624 Original Encoding Incremental Solving Time: 0.016374
+ [java] 1588119255632 Original Encoding Solving Time: 0.164851
+ [java] 1588119255632 Original Encoding Incremental Solving Time: 0.017158
+ [java] 1588119255641 Original Encoding Solving Time: 0.156518
+ [java] 1588119255641 Original Encoding Incremental Solving Time: 0.01453
+ [java] Path Solving Time: 4.434618
+ [java] Path Solving Time: 9.199504
+ [java] 1588119255671 Original Encoding Solving Time: 0.280023
+ [java] 1588119255671 Original Encoding Incremental Solving Time: 0.09069
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588119255684 Original Encoding Solving Time: 0.166903
+ [java] 1588119255684 Original Encoding Incremental Solving Time: 0.019455
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588119255809 Original Encoding Solving Time: 0.155528
+ [java] 1588119255809 Original Encoding Incremental Solving Time: 0.018085
+ [java] 1588119255819 Original Encoding Solving Time: 0.14355
+ [java] 1588119255819 Original Encoding Incremental Solving Time: 0.010862
+ [java] 1588119255826 Original Encoding Solving Time: 0.14999
+ [java] 1588119255826 Original Encoding Incremental Solving Time: 0.009788
+ [java] Path Solving Time: 11.065924
+ [java] Path Solving Time: 11.770908
+ [java] 1588119255867 Original Encoding Solving Time: 0.266854
+ [java] 1588119255867 Original Encoding Incremental Solving Time: 0.099629
+ [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] 1588119255878 Original Encoding Solving Time: 0.160743
+ [java] 1588119255878 Original Encoding Incremental Solving Time: 0.02188
+ [java] 1588119255886 Original Encoding Solving Time: 0.167801
+ [java] 1588119255886 Original Encoding Incremental Solving Time: 0.019598
+ [java] 1588119255894 Original Encoding Solving Time: 0.219263
+ [java] 1588119255894 Original Encoding Incremental Solving Time: 0.021384
+ [java] 1588119255903 Original Encoding Solving Time: 0.172429
+ [java] 1588119255903 Original Encoding Incremental Solving Time: 0.022147
+ [java] Path Solving Time: 4.24998
+ [java] Path Solving Time: 6.047124
+ [java] 1588119255932 Original Encoding Solving Time: 0.268032
+ [java] 1588119255932 Original Encoding Incremental Solving Time: 0.109201
+ [java] 1588119255944 Original Encoding Solving Time: 0.217569
+ [java] 1588119255944 Original Encoding Incremental Solving Time: 0.026237
+ [java] 1588119255953 Original Encoding Solving Time: 0.190946
+ [java] 1588119255953 Original Encoding Incremental Solving Time: 0.023671
+ [java] 1588119255960 Original Encoding Solving Time: 0.139493
+ [java] 1588119255960 Original Encoding Incremental Solving Time: 0.013411
+ [java] 1588119255969 Original Encoding Solving Time: 0.152468
+ [java] 1588119255969 Original Encoding Incremental Solving Time: 0.012914
+ [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: 37.051541
+ [java] Path Solving Time: 6.163677
+ [java] Path Solving Time: 20.166746
+ [java] 1588119256051 Original Encoding Solving Time: 0.395128
+ [java] 1588119256051 Original Encoding Incremental Solving Time: 0.164001
+ [java] 1588119256061 Original Encoding Solving Time: 0.026567
+ [java] 1588119256061 Original Encoding Incremental Solving Time: 0.004639
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 13.354691
+ [java] Path Solving Time: 9.680579
+ [java] Path Solving Time: 8.059772
+ [java] 1588119256122 Original Encoding Solving Time: 0.42082
+ [java] 1588119256122 Original Encoding Incremental Solving Time: 0.140955
+ [java] 1588119256133 Original Encoding Solving Time: 0.194792
+ [java] 1588119256133 Original Encoding Incremental Solving Time: 0.022969
+ [java] 1588119256141 Original Encoding Solving Time: 0.155127
+ [java] 1588119256141 Original Encoding Incremental Solving Time: 0.005523
+ [java] Path Solving Time: 5.166491
+ [java] Path Solving Time: 5.21659
+ [java] Path Solving Time: 0.878343
+ [java] 1588119256175 Original Encoding Solving Time: 0.32354
+ [java] 1588119256175 Original Encoding Incremental Solving Time: 0.085642
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588119256188 Original Encoding Solving Time: 0.188736
+ [java] 1588119256188 Original Encoding Incremental Solving Time: 0.018214
+ [java] 1588119256196 Original Encoding Solving Time: 0.177934
+ [java] 1588119256196 Original Encoding Incremental Solving Time: 0.027941
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 13
+ [java] Sketch Generation Time: 1201.256969
+ [java] Sketch Completion Time: 1074.8750470000002
+ [java] Compilation Time: 1847.6407390000008
+ [java] Running Test cases Time: 46.58397500000004
+ [java] Synthesis Time: 2322.715991
+ [java] Total Time: 4170.356730000001
+ [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] 0>: OR
+ [java] {BooleanPredicate<0x7ff7f43db8f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f2ac0>:{Set(1)<0x7ff7f477e960>:Members: 168, } 0x7ff7f49f2ac0 UNASSIGNED }{ElementConst<0x7ff7f43a6c20>: 168}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f44cb290>: OR
+ [java] {BooleanPredicate<0x7ff7f49c0920>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f49f29a0>:{Set(1)<0x7ff7f49ba020>:Members: 169, } 0x7ff7f49f29a0 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 169}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f4a095e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47bda30>:{Set(1)<0x7ff7f47849b0>:Members: 169, } 0x7ff7f47bda30 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 169}
+ [java] }
+ [java] {BooleanPredicate<0x7ff7f4a0c2d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47be300>:{Set(1)<0x7ff7f47be280>:Members: 169, 170, } 0x7ff7f47be300 UNASSIGNED }{ElementConst<0x7ff7f477ed70>: 169}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f4a0c730>: OR
+ [java] {BooleanPredicate<0x7ff7f424c810>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f47be300>:{Set(1)<0x7ff7f47be280>:Members: 169, 170, } 0x7ff7f47be300 UNASSIGNED }{ElementConst<0x7ff7f4784a80>: 170}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43ebda0>: OR
+ [java] {BooleanPredicate<0x7ff7f4a04360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f424b6d0>:{Set(1)<0x7ff7f49c5fe0>:Members: 171, } 0x7ff7f424b6d0 UNASSIGNED }{ElementConst<0x7ff7f43ccb40>: 171}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7ff7f43db650>: OR
+ [java] {BooleanPredicate<0x7ff7f4a0b940>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7ff7f4a11ed0>:{Set(1)<0x7ff7f477e780>:Members: 167, 172, } 0x7ff7f4a11ed0 UNASSIGNED }{ElementConst<0x7ff7f498f660>: 172}
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 8 seconds
projects / Benchmarks_CSolver.git / blobdiff