--- /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: 3179.383166
+ [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: 18.958958
+ [java] Path Solving Time: 5.866886
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 21.021904
+ [java] Path Solving Time: 1.101266
+ [java] 1588123303192 Original Encoding Solving Time: 0.550006
+ [java] 1588123303192 Original Encoding Incremental Solving Time: 0.23567
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123303458 Original Encoding Solving Time: 0.398721
+ [java] 1588123303458 Original Encoding Incremental Solving Time: 0.044804
+ [java] 1588123303475 Original Encoding Solving Time: 0.329956
+ [java] 1588123303475 Original Encoding Incremental Solving Time: 0.058801
+ [java] Path Solving Time: 4.06906
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 9.248115
+ [java] Path Solving Time: 1.388125
+ [java] 1588123303830 Original Encoding Solving Time: 0.573589
+ [java] 1588123303830 Original Encoding Incremental Solving Time: 0.267595
+ [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] 1588123303863 Original Encoding Solving Time: 0.376775
+ [java] 1588123303863 Original Encoding Incremental Solving Time: 0.0648
+ [java] 1588123303879 Original Encoding Solving Time: 0.184446
+ [java] 1588123303879 Original Encoding Incremental Solving Time: 0.021277
+ [java] Path Solving Time: 4.652553
+ [java] Path Solving Time: 1.364362
+ [java] 1588123303900 Original Encoding Solving Time: 0.516771
+ [java] 1588123303900 Original Encoding Incremental Solving Time: 0.180578
+ [java] 1588123303924 Original Encoding Solving Time: 0.456515
+ [java] 1588123303924 Original Encoding Incremental Solving Time: 0.067462
+ [java] 1588123303939 Original Encoding Solving Time: 0.21402
+ [java] 1588123303939 Original Encoding Incremental Solving Time: 0.026481
+ [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.699675
+ [java] Path Solving Time: 2.501104
+ [java] 1588123303972 Original Encoding Solving Time: 0.46335
+ [java] 1588123303972 Original Encoding Incremental Solving Time: 0.219918
+ [java] 1588123303998 Original Encoding Solving Time: 0.228992
+ [java] 1588123303998 Original Encoding Incremental Solving Time: 0.08064
+ [java] 1588123304014 Original Encoding Solving Time: 0.246964
+ [java] 1588123304014 Original Encoding Incremental Solving Time: 0.029528
+ [java] Path Solving Time: 11.557488
+ [java] Path Solving Time: 2.34628
+ [java] 1588123304042 Original Encoding Solving Time: 0.479275
+ [java] 1588123304042 Original Encoding Incremental Solving Time: 0.169916
+ [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] 1588123304066 Original Encoding Solving Time: 0.821371
+ [java] 1588123304066 Original Encoding Incremental Solving Time: 0.056072
+ [java] 1588123304080 Original Encoding Solving Time: 0.241098
+ [java] 1588123304080 Original Encoding Incremental Solving Time: 0.028542
+ [java] Path Solving Time: 5.641837
+ [java] Path Solving Time: 1.999756
+ [java] 1588123304103 Original Encoding Solving Time: 1.107197
+ [java] 1588123304103 Original Encoding Incremental Solving Time: 1.519464
+ [java] 1588123304124 Original Encoding Solving Time: 0.231351
+ [java] 1588123304124 Original Encoding Incremental Solving Time: 0.058001
+ [java] 1588123304136 Original Encoding Solving Time: 0.209599
+ [java] 1588123304136 Original Encoding Incremental Solving Time: 0.024553
+ [java] Path Solving Time: 4.741892
+ [java] Path Solving Time: 2.00011
+ [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] 1588123304159 Original Encoding Solving Time: 1.801204
+ [java] 1588123304159 Original Encoding Incremental Solving Time: 0.730281
+ [java] 1588123304187 Original Encoding Solving Time: 0.27249
+ [java] 1588123304187 Original Encoding Incremental Solving Time: 0.072909
+ [java] 1588123304200 Original Encoding Solving Time: 0.24645
+ [java] 1588123304200 Original Encoding Incremental Solving Time: 0.026675
+ [java] Path Solving Time: 4.775629
+ [java] Path Solving Time: 2.13664
+ [java] 1588123304223 Original Encoding Solving Time: 1.146687
+ [java] 1588123304223 Original Encoding Incremental Solving Time: 0.659909
+ [java] 1588123304247 Original Encoding Solving Time: 0.348396
+ [java] 1588123304247 Original Encoding Incremental Solving Time: 0.049427
+ [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] 1588123304265 Original Encoding Solving Time: 0.23151
+ [java] 1588123304265 Original Encoding Incremental Solving Time: 0.021277
+ [java] Path Solving Time: 5.715373
+ [java] Path Solving Time: 2.987854
+ [java] 1588123304290 Original Encoding Solving Time: 0.677124
+ [java] 1588123304290 Original Encoding Incremental Solving Time: 0.578081
+ [java] 1588123304309 Original Encoding Solving Time: 0.219487
+ [java] 1588123304309 Original Encoding Incremental Solving Time: 0.03972
+ [java] 1588123304322 Original Encoding Solving Time: 1.097258
+ [java] 1588123304322 Original Encoding Incremental Solving Time: 0.031067
+ [java] Path Solving Time: 4.06995
+ [java] Path Solving Time: 1.936734
+ [java] 1588123304343 Original Encoding Solving Time: 1.333444
+ [java] 1588123304343 Original Encoding Incremental Solving Time: 0.278191
+ [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] 1588123304363 Original Encoding Solving Time: 0.193869
+ [java] 1588123304363 Original Encoding Incremental Solving Time: 0.035938
+ [java] 1588123304374 Original Encoding Solving Time: 0.389966
+ [java] 1588123304374 Original Encoding Incremental Solving Time: 0.014669
+ [java] Path Solving Time: 4.010708
+ [java] Path Solving Time: 1.808828
+ [java] 1588123304394 Original Encoding Solving Time: 0.531653
+ [java] 1588123304394 Original Encoding Incremental Solving Time: 0.208182
+ [java] 1588123304419 Original Encoding Solving Time: 1.096797
+ [java] 1588123304419 Original Encoding Incremental Solving Time: 0.044689
+ [java] 1588123304432 Original Encoding Solving Time: 0.193029
+ [java] 1588123304432 Original Encoding Incremental Solving Time: 0.020951
+ [java] Path Solving Time: 4.250877
+ [java] Path Solving Time: 2.166328
+ [java] 1588123304453 Original Encoding Solving Time: 0.578916
+ [java] 1588123304453 Original Encoding Incremental Solving Time: 3.022343
+ [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] 1588123304476 Original Encoding Solving Time: 0.244942
+ [java] 1588123304476 Original Encoding Incremental Solving Time: 0.073565
+ [java] 1588123304491 Original Encoding Solving Time: 0.211178
+ [java] 1588123304491 Original Encoding Incremental Solving Time: 0.02711
+ [java] Path Solving Time: 4.837447
+ [java] Path Solving Time: 2.803152
+ [java] 1588123304515 Original Encoding Solving Time: 1.995968
+ [java] 1588123304515 Original Encoding Incremental Solving Time: 2.634274
+ [java] 1588123304538 Original Encoding Solving Time: 0.285438
+ [java] 1588123304538 Original Encoding Incremental Solving Time: 0.09123
+ [java] 1588123304552 Original Encoding Solving Time: 0.258396
+ [java] 1588123304552 Original Encoding Incremental Solving Time: 0.043435
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 14.654637
+ [java] Path Solving Time: 9.910354
+ [java] Path Solving Time: 0.74892
+ [java] Path Solving Time: 0.393942
+ [java] Path Solving Time: 67.37284
+ [java] 1588123304660 Original Encoding Solving Time: 0.384724
+ [java] 1588123304660 Original Encoding Incremental Solving Time: 0.162178
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123304675 Original Encoding Solving Time: 0.315625
+ [java] 1588123304675 Original Encoding Incremental Solving Time: 0.038806
+ [java] 1588123304687 Original Encoding Solving Time: 0.417251
+ [java] 1588123304687 Original Encoding Incremental Solving Time: 0.01827
+ [java] Path Solving Time: 43.705852
+ [java] Path Solving Time: 27.312236
+ [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: 34.574274
+ [java] 1588123304808 Original Encoding Solving Time: 0.455003
+ [java] 1588123304808 Original Encoding Incremental Solving Time: 0.115981
+ [java] 1588123304826 Original Encoding Solving Time: 0.388888
+ [java] 1588123304826 Original Encoding Incremental Solving Time: 0.026631
+ [java] 1588123304837 Original Encoding Solving Time: 0.152095
+ [java] 1588123304837 Original Encoding Incremental Solving Time: 0.008274
+ [java] Path Solving Time: 7.4638
+ [java] Path Solving Time: 4.239969
+ [java] 1588123304864 Original Encoding Solving Time: 0.523875
+ [java] 1588123304864 Original Encoding Incremental Solving Time: 0.126284
+ [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] 1588123304881 Original Encoding Solving Time: 0.28307
+ [java] 1588123304881 Original Encoding Incremental Solving Time: 0.034354
+ [java] 1588123304893 Original Encoding Solving Time: 0.2159
+ [java] 1588123304893 Original Encoding Incremental Solving Time: 0.012172
+ [java] Path Solving Time: 9.497191
+ [java] Path Solving Time: 4.432328
+ [java] 1588123304924 Original Encoding Solving Time: 1.208432
+ [java] 1588123304924 Original Encoding Incremental Solving Time: 0.191096
+ [java] 1588123304946 Original Encoding Solving Time: 0.215318
+ [java] 1588123304946 Original Encoding Incremental Solving Time: 0.058609
+ [java] 1588123304961 Original Encoding Solving Time: 0.2113
+ [java] 1588123304961 Original Encoding Incremental Solving Time: 0.015399
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 27.571042
+ [java] Path Solving Time: 29.290883
+ [java] Path Solving Time: 2.114226
+ [java] 1588123305036 Original Encoding Solving Time: 0.580613
+ [java] 1588123305036 Original Encoding Incremental Solving Time: 0.106553
+ [java] 1588123305053 Original Encoding Solving Time: 0.234793
+ [java] 1588123305053 Original Encoding Incremental Solving Time: 0.02905
+ [java] 1588123305062 Original Encoding Solving Time: 0.164761
+ [java] 1588123305062 Original Encoding Incremental Solving Time: 0.008794
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 14.750257
+ [java] Path Solving Time: 1.917392
+ [java] 1588123305093 Original Encoding Solving Time: 0.379685
+ [java] 1588123305093 Original Encoding Incremental Solving Time: 0.09552
+ [java] 1588123305108 Original Encoding Solving Time: 0.348634
+ [java] 1588123305108 Original Encoding Incremental Solving Time: 0.024701
+ [java] 1588123305118 Original Encoding Solving Time: 0.157264
+ [java] 1588123305118 Original Encoding Incremental Solving Time: 0.018393
+ [java] Path Solving Time: 3.681802
+ [java] Path Solving Time: 2.00078
+ [java] 1588123305139 Original Encoding Solving Time: 0.943755
+ [java] 1588123305139 Original Encoding Incremental Solving Time: 0.109128
+ [java] 1588123305154 Original Encoding Solving Time: 0.247731
+ [java] 1588123305154 Original Encoding Incremental Solving Time: 0.020015
+ [java] 1588123305167 Original Encoding Solving Time: 3.10751
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f15709da4d0>: OR
+ [java] {BooleanPredicate<0x7f157076c640>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f157097afc0>:Members: 112, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] {BooleanPredicate<0x7f15709bb8e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709c4560>:{Set(1)<0x7f15709e14f0>:Members: 112, 116, } 0x7f15709c4560 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570988fb0>: OR
+ [java] {BooleanPredicate<0x7f15709cec00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f1570954e90>:Members: 113, 114, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] {BooleanPredicate<0x7f15709ced70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f1570777a00>:Members: 113, 114, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f15709defc0>: OR
+ [java] {BooleanPredicate<0x7f1570988de0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f1570954e90>:Members: 113, 114, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709b6d30>: 114}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570995b60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f1570777a00>:Members: 113, 114, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f15709b6d30>: 114}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f15709d21a0>: OR
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f157096f880>:Members: 115, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f1570740640>: 115}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f15709df510>: OR
+ [java] {BooleanPredicate<0x7f15709da240>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709c4560>:{Set(1)<0x7f15709e14f0>:Members: 112, 116, } 0x7f15709c4560 UNASSIGNED }{ElementConst<0x7f157076b9a0>: 116}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f15709eeaa0>: OR
+ [java] {BooleanLogic<0x7f15709c6470>: NOT
+ [java] {BooleanPredicate<0x7f157076c640>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f157097afc0>:Members: 112, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709eaba0>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f157096f880>:Members: 115, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f1570740640>: 115}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709eab00>: NOT
+ [java] {BooleanPredicate<0x7f15709cec00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f1570954e90>:Members: 113, 114, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709ee4e0>: NOT
+ [java] {BooleanPredicate<0x7f15709cec00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f1570954e90>:Members: 113, 114, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709ee6d0>: NOT
+ [java] {BooleanPredicate<0x7f15709ced70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f1570777a00>:Members: 113, 114, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709ee7b0>: NOT
+ [java] {BooleanPredicate<0x7f15709ced70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f1570777a00>:Members: 113, 114, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709ee890>: NOT
+ [java] {BooleanPredicate<0x7f15709bb8e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709c4560>:{Set(1)<0x7f15709e14f0>:Members: 112, 116, } 0x7f15709c4560 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709ee970>: NOT
+ [java] {BooleanPredicate<0x7f15709bb8e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709c4560>:{Set(1)<0x7f15709e14f0>:Members: 112, 116, } 0x7f15709c4560 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f15709f17a0>: OR
+ [java] {BooleanLogic<0x7f15709eef70>: NOT
+ [java] {BooleanPredicate<0x7f157076c640>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f157097afc0>:Members: 112, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709eeb90>: 1588123305167 Original Encoding Incremental Solving Time: 0.014027
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 4.532191
+ [java] Path Solving Time: 2.07753
+ [java] 1588123305189 Original Encoding Solving Time: 0.413576
+ [java] 1588123305189 Original Encoding Incremental Solving Time: 0.073607
+ [java] 1588123305204 Original Encoding Solving Time: 0.854532
+ [java] 1588123305204 Original Encoding Incremental Solving Time: 0.020409
+ [java] 1588123305214 Original Encoding Solving Time: 0.149534
+ [java] 1588123305214 Original Encoding Incremental Solving Time: 0.009632
+ [java] Path Solving Time: 3.648939
+ [java] Path Solving Time: 1.949479
+ [java] 1588123305235 Original Encoding Solving Time: 0.626726
+ [java] 1588123305235 Original Encoding Incremental Solving Time: 0.139268
+ [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] 1588123306378 Original Encoding Solving Time: 1.347717
+ [java] 1588123306378 Original Encoding Incremental Solving Time: 0.017842
+ [java] 1588123306385 Original Encoding Solving Time: 0.149224
+ [java] 1588123306385 Original Encoding Incremental Solving Time: 0.006305
+ [java] Path Solving Time: 1.397703
+ [java] Path Solving Time: 1.186484
+ [java] 1588123306406 Original Encoding Solving Time: 0.311243
+ [java] 1588123306406 Original Encoding Incremental Solving Time: 1.343993
+ [java] 1588123306420 Original Encoding Solving Time: 0.2244
+ [java] 1588123306420 Original Encoding Incremental Solving Time: 0.014707
+ [java] 1588123306429 Original Encoding Solving Time: 0.450607
+ [java] 1588123306429 Original Encoding Incremental Solving Time: 0.007867
+ [java] Path Solving Time: 2.491934
+ [java] Path Solving Time: 1.560906
+ [java] 1588123306453 Original Encoding Solving Time: 0.385964
+ [java] 1588123306453 Original Encoding Incremental Solving Time: 0.226484
+ [java] 1588123306466 Original Encoding Solving Time: 0.546987
+ [java] 1588123306466 Original Encoding Incremental Solving Time: 0.016379
+ [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] Done with finding holes : Flag = true
+ [java] 1588123306475 Original Encoding Solving Time: 0.159604
+ [java] 1588123306475 Original Encoding Incremental Solving Time: 0.007006
+ [java] Path Solving Time: 2.268957
+ [java] Path Solving Time: 1.093982
+ [java] 1588123306496 Original Encoding Solving Time: 0.26452
+ [java] 1588123306496 Original Encoding Incremental Solving Time: 0.071529
+ [java] 1588123306509 Original Encoding Solving Time: 0.365514
+ [java] 1588123306509 Original Encoding Incremental Solving Time: 0.016036
+ [java] 1588123306518 Original Encoding Solving Time: 0.202432
+ [java] 1588123306518 Original Encoding Incremental Solving Time: 0.006853
+ [java] Path Solving Time: 11.7388
+ [java] Path Solving Time: 1.221358
+ [java] 1588123306549 Original Encoding Solving Time: 0.324716
+ [java] 1588123306549 Original Encoding Incremental Solving Time: 0.137139
+ [java] 1588123306561 Original Encoding Solving Time: 0.202572
+ [java] 1588123306561 Original Encoding Incremental Solving Time: 0.032661
+ [java] 1588123306569 Original Encoding Solving Time: 0.141644
+ [java] 1588123306569 Original Encoding Incremental Solving Time: 0.007518
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 3.694486
+ [java] Path Solving Time: 1.377459
+ [java] 1588123306594 Original Encoding Solving Time: 0.461984
+ [java] 1588123306594 Original Encoding Incremental Solving Time: 0.149825
+ [java] 1588123306609 Original Encoding Solving Time: 0.22227
+ [java] 1588123306609 Original Encoding Incremental Solving Time: 0.029263
+ [java] 1588123306617 Original Encoding Solving Time: 0.178989
+ [java] 1588123306617 Original Encoding Incremental Solving Time: 0.023798
+ [java] Path Solving Time: 2.779487
+ [java] Path Solving Time: 1.366494
+ [java] 1588123306640 Original Encoding Solving Time: 0.331818
+ [java] 1588123306640 Original Encoding Incremental Solving Time: 3.376361
+ [java] 1588123306656 Original Encoding Solving Time: 0.181218
+ [java] 1588123306656 Original Encoding Incremental Solving Time: 0.015766
+ [java] 1588123306664 Original Encoding Solving Time: 0.159708
+ [java] 1588123306664 Original Encoding Incremental Solving Time: 0.017434
+ [java] Path Solving Time: 2.553186
+ [java] Path Solving Time: 1.520187
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588123306687 Original Encoding Solving Time: 1.017393
+ [java] 1588123306687 Original Encoding Incremental Solving Time: 0.171192
+ [java] 1588123306707 Original Encoding Solving Time: 0.296912
+ [java] 1588123306707 Original Encoding Incremental Solving Time: 0.036162
+ [java] 1588123306715 Original Encoding Solving Time: 0.214316
+ [java] 1588123306715 Original Encoding Incremental Solving Time: 0.015559
+ [java] Path Solving Time: 2.919053
+ [java] Path Solving Time: 1.918077
+ [java] 1588123306740 Original Encoding Solving Time: 0.497093
+ [java] 1588123306740 Original Encoding Incremental Solving Time: 0.153761
+ [java] 1588123306757 Original Encoding Solving Time: 0.294681
+ [java] 1588123306757 Original Encoding Incremental Solving Time: 0.043304
+ [java] 1588123306767 Original Encoding Solving Time: 0.143979
+ [java] 1588123306767 Original Encoding Incremental Solving Time: 0.009853
+ [java] Path Solving Time: 5.042947
+ [java] Path Solving Time: 1.590372
+ [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] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123306793 Original Encoding Solving Time: 0.51393
+ [java] 1588123306793 Original Encoding Incremental Solving Time: 0.181271
+ [java] 1588123306808 Original Encoding Solving Time: 0.220576
+ [java] 1588123306808 Original Encoding Incremental Solving Time: 0.02679
+ [java] 1588123306818 Original Encoding Solving Time: 0.553689
+ [java] 1588123306818 Original Encoding Incremental Solving Time: 0.081434
+ [java] 1588123306831 Original Encoding Solving Time: 2.435634
+ [java] NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f157096f880>:Members: 115, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f1570740640>: 115}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709f1210>: NOT
+ [java] {BooleanPredicate<0x7f15709cec00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f1570954e90>:Members: 113, 114, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709f12f0>: NOT
+ [java] {BooleanPredicate<0x7f15709cec00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f1570954e90>:Members: 113, 114, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709f13d0>: NOT
+ [java] {BooleanPredicate<0x7f15709ced70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f1570777a00>:Members: 113, 114, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709f14b0>: NOT
+ [java] {BooleanPredicate<0x7f15709ced70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f1570777a00>:Members: 113, 114, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157046bc40>: 113}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709f1590>: NOT
+ [java] {BooleanPredicate<0x7f15709bb8e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709c4560>:{Set(1)<0x7f15709e14f0>:Members: 112, 116, } 0x7f15709c4560 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709f1670>: NOT
+ [java] {BooleanPredicate<0x7f15709bb8e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709c4560>:{Set(1)<0x7f15709e14f0>:Members: 112, 116, } 0x7f15709c4560 UNASSIGNED }{ElementConst<0x7f15709a2cf0>: 112}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f1570a14ef0>: OR
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a0ce60>: OR
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a21800>: OR
+ [java] {BooleanPredicate<0x7f1570216430>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709c3de0>: 180}
+ [java] }
+ [java] {BooleanPredicate<0x7f15702162c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709c3de0>: 180}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570469920>: OR
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 181, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 181}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570216bf0>: OR
+ [java] {BooleanPredicate<0x7f1570773690>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 182}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570999270>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f15709cf970>: 182}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a29e80>: OR
+ [java] {BooleanLogic<0x7f1570a219a0>: NOT
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 181, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29620>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29700>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a298f0>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a299d0>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29ab0>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29b90>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29c70>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29d50>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f15709a0a70>: OR
+ [java] {BooleanLogic<0x7f1570a2a350>: NOT
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 181, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29f70>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2be50>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2bf30>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2c010>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2c0f0>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2c1d0>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2c2b0>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2c390>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a2ec10>: OR
+ [java] {BooleanLogic<0x7f1570a2c990>: NOT
+ [java] {1588123306831 Original Encoding Incremental Solving Time: 0.026948
+ [java] 1588123306844 Original Encoding Solving Time: 0.213899
+ [java] 1588123306844 Original Encoding Incremental Solving Time: 0.022695
+ [java] Path Solving Time: 2.506164
+ [java] Path Solving Time: 1.708792
+ [java] 1588123306867 Original Encoding Solving Time: 0.393454
+ [java] 1588123306867 Original Encoding Incremental Solving Time: 0.113024
+ [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] 1588123306887 Original Encoding Solving Time: 1.580282
+ [java] 1588123306887 Original Encoding Incremental Solving Time: 0.030526
+ [java] 1588123306898 Original Encoding Solving Time: 0.324271
+ [java] 1588123306898 Original Encoding Incremental Solving Time: 0.028503
+ [java] 1588123306909 Original Encoding Solving Time: 0.209596
+ [java] 1588123306909 Original Encoding Incremental Solving Time: 0.020199
+ [java] 1588123306919 Original Encoding Solving Time: 0.199628
+ [java] 1588123306919 Original Encoding Incremental Solving Time: 0.022997
+ [java] Path Solving Time: 2.707391
+ [java] Path Solving Time: 1.730633
+ [java] 1588123306942 Original Encoding Solving Time: 0.492257
+ [java] 1588123306942 Original Encoding Incremental Solving Time: 0.207963
+ [java] 1588123306957 Original Encoding Solving Time: 0.262472
+ [java] 1588123306957 Original Encoding Incremental Solving Time: 0.034653
+ [java] 1588123306966 Original Encoding Solving Time: 0.24916
+ [java] 1588123306966 Original Encoding Incremental Solving Time: 0.041528
+ [java] 1588123306979 Original Encoding Solving Time: 2.012371
+ [java] BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 181, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 181}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a29880>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2e5a0>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 178, 182, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2e680>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2e760>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 179, 180, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2e840>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2e920>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 179, 180, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709da8b0>: 179}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2ea00>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2eae0>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a249c0>:{Set(1)<0x7f157096f880>:Members: 178, 182, } 0x7f1570a249c0 UNASSIGNED }{ElementConst<0x7f1570995b60>: 178}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f1570a12a80>: OR
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a22290>: OR
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a29b20>: OR
+ [java] {BooleanPredicate<0x7f1570216430>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f15709c3de0>: 192}
+ [java] }
+ [java] {BooleanPredicate<0x7f15702162c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f15709c3de0>: 192}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a2c990>: OR
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 193, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f1570782840>: 193}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a1cf90>: OR
+ [java] {BooleanPredicate<0x7f1570a0e550>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f1570a24240>: 194}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570a1c590>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f1570a24240>: 194}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a04810>: OR
+ [java] {BooleanLogic<0x7f1570a1a720>: NOT
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 193, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f1570782840>: 193}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f15709a87c0>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a3d2d0>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04280>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04360>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04440>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04520>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04600>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a046e0>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a29690>: OR
+ [java] {BooleanLogic<0x7f1570a04c60>: NOT
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 193, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f1570782840>: 193}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04900>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a06730>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a06810>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a068f0>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a069d0>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a06ab0>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a06b90>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] Predicat1588123306979 Original Encoding Incremental Solving Time: 0.027225
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588123306991 Original Encoding Solving Time: 1.570959
+ [java] 1588123306991 Original Encoding Incremental Solving Time: 0.020279
+ [java] Path Solving Time: 2.506643
+ [java] Path Solving Time: 1.888052
+ [java] 1588123307014 Original Encoding Solving Time: 0.399882
+ [java] 1588123307014 Original Encoding Incremental Solving Time: 0.110969
+ [java] 1588123307029 Original Encoding Solving Time: 0.291893
+ [java] 1588123307029 Original Encoding Incremental Solving Time: 0.032999
+ [java] 1588123307039 Original Encoding Solving Time: 0.459776
+ [java] 1588123307039 Original Encoding Incremental Solving Time: 0.037347
+ [java] 1588123307050 Original Encoding Solving Time: 0.195385
+ [java] 1588123307050 Original Encoding Incremental Solving Time: 0.014542
+ [java] 1588123307057 Original Encoding Solving Time: 0.193466
+ [java] 1588123307057 Original Encoding Incremental Solving Time: 0.019916
+ [java] Path Solving Time: 2.931226
+ [java] Path Solving Time: 1.514017
+ [java] 1588123307083 Original Encoding Solving Time: 0.478524
+ [java] 1588123307083 Original Encoding Incremental Solving Time: 0.28531
+ [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] 1588123307097 Original Encoding Solving Time: 0.195648
+ [java] 1588123307097 Original Encoding Incremental Solving Time: 0.016252
+ [java] 1588123307106 Original Encoding Solving Time: 0.37271
+ [java] 1588123307106 Original Encoding Incremental Solving Time: 0.039671
+ [java] 1588123307114 Original Encoding Solving Time: 0.173473
+ [java] 1588123307114 Original Encoding Incremental Solving Time: 0.016029
+ [java] 1588123307122 Original Encoding Solving Time: 0.167442
+ [java] 1588123307122 Original Encoding Incremental Solving Time: 0.020842
+ [java] Path Solving Time: 3.062912
+ [java] Path Solving Time: 1.563117
+ [java] 1588123307145 Original Encoding Solving Time: 0.346348
+ [java] 1588123307145 Original Encoding Incremental Solving Time: 0.130685
+ [java] 1588123307161 Original Encoding Solving Time: 0.244345
+ [java] 1588123307161 Original Encoding Incremental Solving Time: 0.037378
+ [java] 1588123307170 Original Encoding Solving Time: 0.178238
+ [java] 1588123307170 Original Encoding Incremental Solving Time: 0.025661
+ [java] 1588123307177 Original Encoding Solving Time: 0.157686
+ [java] 1588123307177 Original Encoding Incremental Solving Time: 0.015412
+ [java] 1588123307184 Original Encoding Solving Time: 0.168231
+ [java] 1588123307184 Original Encoding Incremental Solving Time: 0.016148
+ [java] Path Solving Time: 2.625326
+ [java] Path Solving Time: 1.435135
+ [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] 1588123307207 Original Encoding Solving Time: 0.363265
+ [java] 1588123307207 Original Encoding Incremental Solving Time: 0.221148
+ [java] 1588123307220 Original Encoding Solving Time: 0.20653
+ [java] 1588123307220 Original Encoding Incremental Solving Time: 0.024743
+ [java] 1588123307230 Original Encoding Solving Time: 0.170683
+ [java] 1588123307230 Original Encoding Incremental Solving Time: 0.042515
+ [java] 1588123307237 Original Encoding Solving Time: 0.145021
+ [java] 1588123307237 Original Encoding Incremental Solving Time: 0.014008
+ [java] 1588123307244 Original Encoding Solving Time: 0.138068
+ [java] 1588123307244 Original Encoding Incremental Solving Time: 0.018162
+ [java] Path Solving Time: 3.220711
+ [java] Path Solving Time: 1.35874
+ [java] 1588123307267 Original Encoding Solving Time: 0.297848
+ [java] 1588123307267 Original Encoding Incremental Solving Time: 0.102384
+ [java] 1588123307279 Original Encoding Solving Time: 0.194
+ [java] 1588123307279 Original Encoding Incremental Solving Time: 0.043161
+ [java] 1588123307287 Original Encoding Solving Time: 0.196611
+ [java] 1588123307287 Original Encoding Incremental Solving Time: 0.043444
+ [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] Done with finding holes : Flag = true
+ [java] 1588123307295 Original Encoding Solving Time: 0.162166
+ [java] 1588123307295 Original Encoding Incremental Solving Time: 0.016378
+ [java] 1588123307303 Original Encoding Solving Time: 0.157918
+ [java] 1588123307303 Original Encoding Incremental Solving Time: 0.021249
+ [java] Path Solving Time: 3.564869
+ [java] Path Solving Time: 1.345358
+ [java] 1588123307326 Original Encoding Solving Time: 0.451669
+ [java] 1588123307326 Original Encoding Incremental Solving Time: 0.10849
+ [java] 1588123307338 Original Encoding Solving Time: 0.19796
+ [java] 1588123307338 Original Encoding Incremental Solving Time: 0.020978
+ [java] 1588123307346 Original Encoding Solving Time: 0.184689
+ [java] 1588123307346 Original Encoding Incremental Solving Time: 0.03226
+ [java] 1588123307353 Original Encoding Solving Time: 0.222564
+ [java] 1588123307353 Original Encoding Incremental Solving Time: 0.024353
+ [java] 1588123307362 Original Encoding Solving Time: 0.151197
+ [java] 1588123307362 Original Encoding Incremental Solving Time: 0.017761
+ [java] Path Solving Time: 2.675019
+ [java] Path Solving Time: 1.638636
+ [java] 1588123307387 Original Encoding Solving Time: 2.341268
+ [java] eOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a06c70>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a46900>: OR
+ [java] {BooleanLogic<0x7f1570a29600>: NOT
+ [java] {BooleanPredicate<0x7f1570a14730>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 193, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f1570782840>: 193}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a2c750>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a085e0>: NOT
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 190, 194, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a08500>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a08420>: NOT
+ [java] {BooleanPredicate<0x7f1570776df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 191, 192, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a08340>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a08070>: NOT
+ [java] {BooleanPredicate<0x7f157098c280>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15705127f0>:{Set(1)<0x7f15709f7e60>:Members: 191, 192, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157021b420>: 191}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a04950>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f1570a46810>: NOT
+ [java] {BooleanPredicate<0x7f15702148c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a3d870>:{Set(1)<0x7f1570a0cfb0>:Members: 190, 194, } 0x7f1570a3d870 UNASSIGNED }{ElementConst<0x7f15709cf970>: 190}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f1570a78a20>: OR
+ [java] {BooleanPredicate<0x7f15709cee70>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 232, 236, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f1570469a00>: 232}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570a782a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a931a0>:{Set(1)<0x7f1570787210>:Members: 232, 236, } 0x7f1570a931a0 UNASSIGNED }{ElementConst<0x7f1570469a00>: 232}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a78410>: OR
+ [java] {BooleanPredicate<0x7f1570a067a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 233, 234, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157046bc40>: 233}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570a71510>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 233, 234, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157046bc40>: 233}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a81f10>: OR
+ [java] {BooleanPredicate<0x7f1570a69c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709add60>:{Set(1)<0x7f15709a10c0>:Members: 233, 234, } 0x7f15709add60 UNASSIGNED }{ElementConst<0x7f157076b9a0>: 234}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570a55130>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f157097b8f0>:{Set(1)<0x7f15703d2310>:Members: 233, 234, } 0x7f157097b8f0 UNASSIGNED }{ElementConst<0x7f157076b9a0>: 234}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a6cb00>: OR
+ [java] {BooleanPredicate<0x7f1570a75e00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1571588123307387 Original Encoding Incremental Solving Time: 0.141547
+ [java] Done with finding holes : Flag = false
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588123307402 Original Encoding Solving Time: 0.241091
+ [java] 1588123307402 Original Encoding Incremental Solving Time: 0.030042
+ [java] 1588123307410 Original Encoding Solving Time: 0.17446
+ [java] 1588123307410 Original Encoding Incremental Solving Time: 0.022121
+ [java] 1588123307418 Original Encoding Solving Time: 0.154498
+ [java] 1588123307418 Original Encoding Incremental Solving Time: 0.015099
+ [java] 1588123307425 Original Encoding Solving Time: 0.152978
+ [java] 1588123307425 Original Encoding Incremental Solving Time: 0.025382
+ [java] Path Solving Time: 4.765944
+ [java] Path Solving Time: 1.360021
+ [java] 1588123307450 Original Encoding Solving Time: 0.276889
+ [java] 1588123307450 Original Encoding Incremental Solving Time: 0.103798
+ [java] 1588123307462 Original Encoding Solving Time: 0.279738
+ [java] 1588123307462 Original Encoding Incremental Solving Time: 0.037945
+ [java] 1588123307473 Original Encoding Solving Time: 0.210047
+ [java] 1588123307473 Original Encoding Incremental Solving Time: 0.031123
+ [java] 1588123307483 Original Encoding Solving Time: 0.306857
+ [java] 1588123307483 Original Encoding Incremental Solving Time: 0.021218
+ [java] 1588123307493 Original Encoding Solving Time: 0.206407
+ [java] 1588123307493 Original Encoding Incremental Solving Time: 0.021755
+ [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 = false
+ [java] Path Solving Time: 4.502045
+ [java] Path Solving Time: 0.459973
+ [java] 1588123307517 Original Encoding Solving Time: 0.378435
+ [java] 1588123307517 Original Encoding Incremental Solving Time: 0.226244
+ [java] 1588123307535 Original Encoding Solving Time: 0.23611
+ [java] 1588123307535 Original Encoding Incremental Solving Time: 0.061007
+ [java] 1588123307544 Original Encoding Solving Time: 0.197133
+ [java] 1588123307544 Original Encoding Incremental Solving Time: 0.009667
+ [java] Path Solving Time: 3.426114
+ [java] Path Solving Time: 0.292947
+ [java] 1588123307569 Original Encoding Solving Time: 0.481087
+ [java] 1588123307569 Original Encoding Incremental Solving Time: 0.078132
+ [java] 1588123307582 Original Encoding Solving Time: 0.195954
+ [java] 1588123307582 Original Encoding Incremental Solving Time: 0.023504
+ [java] 1588123307593 Original Encoding Solving Time: 0.168435
+ [java] 1588123307593 Original Encoding Incremental Solving Time: 0.008774
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 2.851151
+ [java] Path Solving Time: 0.60235
+ [java] 1588123307616 Original Encoding Solving Time: 0.571624
+ [java] 1588123307616 Original Encoding Incremental Solving Time: 0.726474
+ [java] 1588123307631 Original Encoding Solving Time: 0.225839
+ [java] 1588123307631 Original Encoding Incremental Solving Time: 0.04085
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 11
+ [java] Sketch Generation Time: 614.0135979999997
+ [java] Sketch Completion Time: 2068.2415270000006
+ [java] Compilation Time: 1483.289794
+ [java] Running Test cases Time: 24.736904999999997
+ [java] Synthesis Time: 2706.992030000001
+ [java] Total Time: 4190.281824000001
+ [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] 05127f0>:{Set(1)<0x7f15709f7e60>:Members: 235, } 0x7f15705127f0 UNASSIGNED }{ElementConst<0x7f157096f720>: 235}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f1570a826c0>: OR
+ [java] {BooleanPredicate<0x7f1570a92610>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f15709ad6a0>:{Set(1)<0x7f15707406c0>:Members: 232, 236, } 0x7f15709ad6a0 UNASSIGNED }{ElementConst<0x7f1570782840>: 236}
+ [java] }
+ [java] {BooleanPredicate<0x7f1570a69f00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1570a931a0>:{Set(1)<0x7f1570787210>:Members: 232, 236, } 0x7f1570a931a0 UNASSIGNED }{ElementConst<0x7f1570782840>: 236}
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 8 seconds
projects / Benchmarks_CSolver.git / blobdiff