--- /dev/null
+Buildfile: /scratch/satcheck/satproject/constraint_compiler_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/10/benchmark10.json
+ [java] Benchmark Id: 10
+ [java] Method name: scale
+ [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: 3622.507671
+ [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: 25.129899
+ [java] Path Solving Time: 6.031306
+ [java] Path Solving Time: 20.842075
+ [java] Path Solving Time: 0.966912
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588111699765 Original Encoding Solving Time: 0.78852
+ [java] 1588111699765 Original Encoding Incremental Solving Time: 0.128385
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588111700061 Original Encoding Solving Time: 0.301352
+ [java] 1588111700061 Original Encoding Incremental Solving Time: 0.047881
+ [java] 1588111700079 Original Encoding Solving Time: 0.535762
+ [java] 1588111700079 Original Encoding Incremental Solving Time: 0.026631
+ [java] Path Solving Time: 5.242903
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 9.066054
+ [java] Path Solving Time: 1.478576
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111700359 Original Encoding Solving Time: 0.995395
+ [java] 1588111700359 Original Encoding Incremental Solving Time: 0.333516
+ [java] 1588111700390 Original Encoding Solving Time: 0.37692
+ [java] 1588111700390 Original Encoding Incremental Solving Time: 0.05305
+ [java] 1588111700407 Original Encoding Solving Time: 0.187564
+ [java] 1588111700407 Original Encoding Incremental Solving Time: 0.020434
+ [java] Path Solving Time: 4.937214
+ [java] Path Solving Time: 1.392803
+ [java] 1588111700435 Original Encoding Solving Time: 1.200927
+ [java] 1588111700435 Original Encoding Incremental Solving Time: 0.355867
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588111700463 Original Encoding Solving Time: 0.338764
+ [java] 1588111700463 Original Encoding Incremental Solving Time: 0.055822
+ [java] 1588111700479 Original Encoding Solving Time: 0.21351
+ [java] 1588111700479 Original Encoding Incremental Solving Time: 0.029385
+ [java] Path Solving Time: 17.717456
+ [java] Path Solving Time: 2.368402
+ [java] 1588111700519 Original Encoding Solving Time: 0.413996
+ [java] 1588111700519 Original Encoding Incremental Solving Time: 0.149855
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588111700550 Original Encoding Solving Time: 1.951375
+ [java] 1588111700550 Original Encoding Incremental Solving Time: 0.170369
+ [java] 1588111700570 Original Encoding Solving Time: 0.378358
+ [java] 1588111700570 Original Encoding Incremental Solving Time: 0.034803
+ [java] Path Solving Time: 11.992269
+ [java] Path Solving Time: 2.310415
+ [java] 1588111700606 Original Encoding Solving Time: 0.955168
+ [java] 1588111700606 Original Encoding Incremental Solving Time: 2.938371
+ [java] 1588111700637 Original Encoding Solving Time: 0.27575
+ [java] 1588111700637 Original Encoding Incremental Solving Time: 0.06987
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111700656 Original Encoding Solving Time: 0.25452
+ [java] 1588111700656 Original Encoding Incremental Solving Time: 0.028198
+ [java] Path Solving Time: 6.789669
+ [java] Path Solving Time: 1.950948
+ [java] 1588111700686 Original Encoding Solving Time: 0.612142
+ [java] 1588111700686 Original Encoding Incremental Solving Time: 0.264506
+ [java] 1588111700714 Original Encoding Solving Time: 0.280126
+ [java] 1588111700714 Original Encoding Incremental Solving Time: 0.066319
+ [java] 1588111700733 Original Encoding Solving Time: 0.304978
+ [java] 1588111700733 Original Encoding Incremental Solving Time: 0.022481
+ [java] Path Solving Time: 4.989734
+ [java] Path Solving Time: 1.918013
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111700762 Original Encoding Solving Time: 0.513003
+ [java] 1588111700762 Original Encoding Incremental Solving Time: 1.134858
+ [java] 1588111700791 Original Encoding Solving Time: 0.385827
+ [java] 1588111700791 Original Encoding Incremental Solving Time: 0.063206
+ [java] 1588111700804 Original Encoding Solving Time: 0.177943
+ [java] 1588111700804 Original Encoding Incremental Solving Time: 0.019903
+ [java] Path Solving Time: 4.605279
+ [java] Path Solving Time: 1.817824
+ [java] 1588111700832 Original Encoding Solving Time: 1.147261
+ [java] 1588111700832 Original Encoding Incremental Solving Time: 0.329917
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588111700859 Original Encoding Solving Time: 0.295484
+ [java] 1588111700859 Original Encoding Incremental Solving Time: 0.060876
+ [java] 1588111700879 Original Encoding Solving Time: 0.222138
+ [java] 1588111700879 Original Encoding Incremental Solving Time: 0.02144
+ [java] Path Solving Time: 5.837109
+ [java] Path Solving Time: 2.614225
+ [java] 1588111700909 Original Encoding Solving Time: 0.787799
+ [java] 1588111700909 Original Encoding Incremental Solving Time: 0.233637
+ [java] 1588111700936 Original Encoding Solving Time: 0.265995
+ [java] 1588111700936 Original Encoding Incremental Solving Time: 0.073041
+ [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] Let's read clauses ...
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111700953 Original Encoding Solving Time: 0.241362
+ [java] 1588111700953 Original Encoding Incremental Solving Time: 0.021699
+ [java] Path Solving Time: 4.289267
+ [java] Path Solving Time: 1.838447
+ [java] 1588111700981 Original Encoding Solving Time: 1.287141
+ [java] 1588111700981 Original Encoding Incremental Solving Time: 0.165466
+ [java] 1588111701007 Original Encoding Solving Time: 0.283427
+ [java] 1588111701007 Original Encoding Incremental Solving Time: 0.067305
+ [java] 1588111701022 Original Encoding Solving Time: 2.377166
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f7d448ca510>: OR
+ [java] {BooleanPredicate<0x7f7d447d22b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d44222b00>:{Set(1)<0x7f7d447d9c10>:Members: 53, } 0x7f7d44222b00 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] {BooleanPredicate<0x7f7d447d2320>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d4478a860>:Members: 53, 56, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d445344d0>: OR
+ [java] {BooleanPredicate<0x7f7d447d84c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d440cdf40>:Members: 54, 55, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] {BooleanPredicate<0x7f7d4420f380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d443bded0>:Members: 54, 55, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d44232140>: OR
+ [java] {BooleanPredicate<0x7f7d4422f060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d440cdf40>:Members: 54, 55, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d447cf440>: 55}
+ [java] }
+ [java] {BooleanPredicate<0x7f7d445318d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d443bded0>:Members: 54, 55, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d447cf440>: 55}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d447f0e70>: OR
+ [java] {BooleanPredicate<0x7f7d44225970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d4478a860>:Members: 53, 56, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4420f460>: 56}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d444d8bd0>: OR
+ [java] {BooleanPredicate<0x7f7d44537cc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d0250>:{Set(1)<0x7f7d4421f970>:Members: 57, } 0x7f7d449d0250 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 57}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d44212070>: OR
+ [java] {BooleanLogic<0x7f7d443be2a0>: NOT
+ [java] {BooleanPredicate<0x7f7d447d22b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d44222b00>:{Set(1)<0x7f7d447d9c10>:Members: 53, } 0x7f7d44222b00 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d442118f0>: NOT
+ [java] {BooleanPredicate<0x7f7d447d84c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d440cdf40>:Members: 54, 55, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d442119d0>: NOT
+ [java] {BooleanPredicate<0x7f7d447d84c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d440cdf40>:Members: 54, 55, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44211ab0>: NOT
+ [java] {BooleanPredicate<0x7f7d4420f380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d443bded0>:Members: 54, 55, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44211ca0>: NOT
+ [java] {BooleanPredicate<0x7f7d4420f380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d443bded0>:Members: 54, 55, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44211d80>: NOT
+ [java] {BooleanPredicate<0x7f7d44537cc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d0250>:{Set(1)<0x7f7d4421f970>:Members: 57, } 0x7f7d449d0250 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 57}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44211e60>: NOT
+ [java] {BooleanPredicate<0x7f7d447d2320>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d4478a860>:Members: 53, 56, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44211f40>: NOT
+ [java] {BooleanPredicate<0x7f7d447d2320>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d4478a860>:Members: 53, 56, } 0x7f7d441d9d60 UNASSIGNED1588111701022 Original Encoding Incremental Solving Time: 0.024404
+ [java] Path Solving Time: 4.087685
+ [java] Path Solving Time: 1.673861
+ [java] 1588111701049 Original Encoding Solving Time: 0.515831
+ [java] 1588111701049 Original Encoding Incremental Solving Time: 0.363445
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [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] 1588111701072 Original Encoding Solving Time: 0.257147
+ [java] 1588111701072 Original Encoding Incremental Solving Time: 0.044377
+ [java] 1588111701083 Original Encoding Solving Time: 0.155618
+ [java] 1588111701083 Original Encoding Incremental Solving Time: 0.013415
+ [java] Path Solving Time: 3.886733
+ [java] Path Solving Time: 1.3359
+ [java] 1588111701109 Original Encoding Solving Time: 0.389795
+ [java] 1588111701109 Original Encoding Incremental Solving Time: 0.113403
+ [java] 1588111701125 Original Encoding Solving Time: 0.197593
+ [java] 1588111701125 Original Encoding Incremental Solving Time: 0.039331
+ [java] 1588111701136 Original Encoding Solving Time: 0.160454
+ [java] 1588111701136 Original Encoding Incremental Solving Time: 0.014145
+ [java] Path Solving Time: 3.913921
+ [java] Path Solving Time: 0.994503
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111701161 Original Encoding Solving Time: 0.507794
+ [java] 1588111701161 Original Encoding Incremental Solving Time: 0.117529
+ [java] 1588111701180 Original Encoding Solving Time: 0.238902
+ [java] 1588111701180 Original Encoding Incremental Solving Time: 0.110488
+ [java] 1588111701191 Original Encoding Solving Time: 0.185484
+ [java] 1588111701191 Original Encoding Incremental Solving Time: 0.01997
+ [java] Path Solving Time: 16.004046
+ [java] Path Solving Time: 8.669282
+ [java] Path Solving Time: 0.613299
+ [java] Path Solving Time: 0.526773
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 68.046282
+ [java] 1588111701305 Original Encoding Solving Time: 0.328463
+ [java] 1588111701305 Original Encoding Incremental Solving Time: 0.132559
+ [java] 1588111701320 Original Encoding Solving Time: 0.20092
+ [java] 1588111701320 Original Encoding Incremental Solving Time: 0.032213
+ [java] 1588111701330 Original Encoding Solving Time: 0.196613
+ [java] 1588111701330 Original Encoding Incremental Solving Time: 0.009432
+ [java] Path Solving Time: 35.427735
+ [java] Path Solving Time: 26.711534
+ [java] Path Solving Time: 46.180548
+ [java] 1588111701460 Original Encoding Solving Time: 0.379258
+ [java] 1588111701460 Original Encoding Incremental Solving Time: 0.093137
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588111701477 Original Encoding Solving Time: 0.274245
+ [java] 1588111701477 Original Encoding Incremental Solving Time: 0.05441
+ [java] 1588111701489 Original Encoding Solving Time: 0.193503
+ [java] 1588111701489 Original Encoding Incremental Solving Time: 0.014091
+ [java] Path Solving Time: 8.251334
+ [java] Path Solving Time: 4.095019
+ [java] 1588111701522 Original Encoding Solving Time: 0.35292
+ [java] 1588111701522 Original Encoding Incremental Solving Time: 0.134438
+ [java] 1588111701538 Original Encoding Solving Time: 0.235819
+ [java] 1588111701538 Original Encoding Incremental Solving Time: 0.042994
+ [java] 1588111701555 Original Encoding Solving Time: 0.230743
+ [java] 1588111701555 Original Encoding Incremental Solving Time: 0.016365
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 9.374719
+ [java] Path Solving Time: 6.564043
+ [java] 1588111701594 Original Encoding Solving Time: 0.727115
+ [java] 1588111701594 Original Encoding Incremental Solving Time: 0.175148
+ [java] 1588111701615 Original Encoding Solving Time: 0.259814
+ [java] 1588111701615 Original Encoding Incremental Solving Time: 0.073537
+ [java] 1588111701629 Original Encoding Solving Time: 0.20118
+ [java] 1588111701629 Original Encoding Incremental Solving Time: 0.01254
+ [java] Path Solving Time: 21.015675
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 34.588538
+ [java] Path Solving Time: 2.8822
+ [java] 1588111701710 Original Encoding Solving Time: 0.375168
+ [java] 1588111701710 Original Encoding Incremental Solving Time: 0.123937
+ [java] 1588111701726 Original Encoding Solving Time: 0.28615
+ [java] 1588111701726 Original Encoding Incremental Solving Time: 0.03211
+ [java] 1588111701739 Original Encoding Solving Time: 0.176265
+ [java] 1588111701739 Original Encoding Incremental Solving Time: 0.012187
+ [java] Path Solving Time: 14.460453
+ [java] Path Solving Time: 1.736624
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111701778 Original Encoding Solving Time: 0.478074
+ [java] 1588111701778 Original Encoding Incremental Solving Time: 0.123247
+ [java] 1588111701796 Original Encoding Solving Time: 0.219684
+ [java] 1588111701796 Original Encoding Incremental Solving Time: 0.051516
+ [java] 1588111701810 Original Encoding Solving Time: 0.763866
+ [java] 1588111701810 Original Encoding Incremental Solving Time: 0.011375
+ [java] Path Solving Time: 3.813378
+ [java] Path Solving Time: 2.077724
+ [java] 1588111701838 Original Encoding Solving Time: 0.400851
+ [java] 1588111701838 Original Encoding Incremental Solving Time: 0.125535
+ [java] 1588111701855 Original Encoding Solving Time: 0.189727
+ [java] 1588111701855 Original Encoding Incremental Solving Time: 0.045368
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111701866 Original Encoding Solving Time: 0.139949
+ [java] 1588111701866 Original Encoding Incremental Solving Time: 0.015262
+ [java] Path Solving Time: 3.802051
+ [java] Path Solving Time: 2.347839
+ [java] 1588111701894 Original Encoding Solving Time: 0.363739
+ [java] 1588111701894 Original Encoding Incremental Solving Time: 0.120337
+ [java] 1588111701914 Original Encoding Solving Time: 0.222437
+ [java] 1588111701914 Original Encoding Incremental Solving Time: 0.029983
+ [java] 1588111701928 Original Encoding Solving Time: 0.199587
+ [java] 1588111701928 Original Encoding Incremental Solving Time: 0.013772
+ [java] Path Solving Time: 5.25696
+ [java] Path Solving Time: 2.92917
+ [java] 1588111701960 Original Encoding Solving Time: 0.448764
+ [java] 1588111701960 Original Encoding Incremental Solving Time: 0.144966
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588111702116 Original Encoding Solving Time: 0.192823
+ [java] 1588111702116 Original Encoding Incremental Solving Time: 0.024264
+ [java] 1588111702128 Original Encoding Solving Time: 0.179257
+ [java] 1588111702128 Original Encoding Incremental Solving Time: 0.011728
+ [java] Path Solving Time: 1.55043
+ [java] Path Solving Time: 2.09681
+ [java] 1588111702157 Original Encoding Solving Time: 0.324667
+ [java] 1588111702157 Original Encoding Incremental Solving Time: 0.09376
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588111702173 Original Encoding Solving Time: 0.230792
+ [java] 1588111702173 Original Encoding Incremental Solving Time: 0.034847
+ [java] 1588111702186 Original Encoding Solving Time: 0.225376
+ [java] 1588111702186 Original Encoding Incremental Solving Time: 0.012009
+ [java] Path Solving Time: 3.085423
+ [java] Path Solving Time: 2.39927
+ [java] 1588111702218 Original Encoding Solving Time: 1.325867
+ [java] 1588111702218 Original Encoding Incremental Solving Time: 0.181478
+ [java] 1588111702235 Original Encoding Solving Time: 0.230444
+ [java] 1588111702235 Original Encoding Incremental Solving Time: 0.020214
+ [java] 1588111702246 Original Encoding Solving Time: 0.170321
+ [java] 1588111702246 Original Encoding Incremental Solving Time: 0.011596
+ [java] Path Solving Time: 3.719186
+ [java] Path Solving Time: 1.709332
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111702277 Original Encoding Solving Time: 0.433978
+ [java] 1588111702277 Original Encoding Incremental Solving Time: 0.962982
+ [java] 1588111702301 Original Encoding Solving Time: 2.2978
+ [java] numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d443bc230>: OR
+ [java] {BooleanLogic<0x7f7d443b9ca0>: NOT
+ [java] {BooleanPredicate<0x7f7d447d22b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d44222b00>:{Set(1)<0x7f7d447d9c10>:Members: 53, } 0x7f7d44222b00 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bbbc0>: NOT
+ [java] {BooleanPredicate<0x7f7d447d84c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d440cdf40>:Members: 54, 55, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bbca0>: NOT
+ [java] {BooleanPredicate<0x7f7d447d84c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d440cdf40>:Members: 54, 55, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bbd80>: NOT
+ [java] {BooleanPredicate<0x7f7d4420f380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d443bded0>:Members: 54, 55, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bbe60>: NOT
+ [java] {BooleanPredicate<0x7f7d4420f380>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d443bded0>:Members: 54, 55, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 54}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bbf40>: NOT
+ [java] {BooleanPredicate<0x7f7d44537cc0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d0250>:{Set(1)<0x7f7d4421f970>:Members: 57, } 0x7f7d449d0250 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 57}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bc020>: NOT
+ [java] {BooleanPredicate<0x7f7d447d2320>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d4478a860>:Members: 53, 56, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d443bc100>: NOT
+ [java] {BooleanPredicate<0x7f7d447d2320>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d4478a860>:Members: 53, 56, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d4422ef80>: 53}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f7d44a09b50>: OR
+ [java] {BooleanPredicate<0x7f7d442316a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d441efb70>:Members: 142, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c8b70>: 142}
+ [java] }
+ [java] {BooleanPredicate<0x7f7d4420f050>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d44a21790>:{Set(1)<0x7f7d447ef430>:Members: 142, 146, } 0x7f7d44a21790 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c8b70>: 142}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d449f7ac0>: OR
+ [java] {BooleanPredicate<0x7f7d441ed720>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d441ecdc0>:Members: 143, 144, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 143}
+ [java] }
+ [java] {BooleanPredicate<0x7f7d447f1f00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d442119e0>:Members: 143, 144, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 143}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d44a11190>: OR
+ [java] {BooleanPredicate<0x7f7d441f9930>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d441ecdc0>:Members: 143, 144, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 144}
+ [java] }
+ [java] {BooleanPredicate<0x7f7d447dae00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d442119e0>:Members: 143, 144, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443d0300>: 144}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d449ff250>: OR
+ [java] {BooleanPredicate<0x7f7d444cae60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d0250>:{Set(1)<0x7f7d441efc50>:Members: 145, } 0x7f7d449d0250 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c87c0>: 145}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d444c5d10>: OR
+ [java] {BooleanPredicate<0x7f7d44a19420>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {Elem1588111702301 Original Encoding Incremental Solving Time: 0.029974
+ [java] 1588111702312 Original Encoding Solving Time: 0.63523
+ [java] 1588111702312 Original Encoding Incremental Solving Time: 0.011266
+ [java] Path Solving Time: 13.53039
+ [java] Path Solving Time: 1.649903
+ [java] 1588111702352 Original Encoding Solving Time: 0.533016
+ [java] 1588111702352 Original Encoding Incremental Solving Time: 1.246522
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588111702374 Original Encoding Solving Time: 0.969836
+ [java] 1588111702374 Original Encoding Incremental Solving Time: 0.051893
+ [java] 1588111702386 Original Encoding Solving Time: 0.198283
+ [java] 1588111702386 Original Encoding Incremental Solving Time: 0.034764
+ [java] Path Solving Time: 5.500405
+ [java] Path Solving Time: 2.01
+ [java] 1588111702419 Original Encoding Solving Time: 0.475349
+ [java] 1588111702419 Original Encoding Incremental Solving Time: 0.149464
+ [java] 1588111702434 Original Encoding Solving Time: 0.169252
+ [java] 1588111702434 Original Encoding Incremental Solving Time: 0.016123
+ [java] 1588111702446 Original Encoding Solving Time: 0.399253
+ [java] 1588111702446 Original Encoding Incremental Solving Time: 0.010864
+ [java] Path Solving Time: 4.142306
+ [java] Path Solving Time: 2.207707
+ [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] 1588111702479 Original Encoding Solving Time: 0.438677
+ [java] 1588111702479 Original Encoding Incremental Solving Time: 3.280069
+ [java] 1588111702496 Original Encoding Solving Time: 0.230533
+ [java] 1588111702496 Original Encoding Incremental Solving Time: 0.01847
+ [java] 1588111702505 Original Encoding Solving Time: 0.258808
+ [java] 1588111702505 Original Encoding Incremental Solving Time: 0.015625
+ [java] Path Solving Time: 2.767073
+ [java] Path Solving Time: 1.62825
+ [java] 1588111702537 Original Encoding Solving Time: 0.345164
+ [java] 1588111702537 Original Encoding Incremental Solving Time: 0.147003
+ [java] 1588111702556 Original Encoding Solving Time: 1.3911
+ [java] 1588111702556 Original Encoding Incremental Solving Time: 0.090068
+ [java] 1588111702567 Original Encoding Solving Time: 0.313691
+ [java] 1588111702567 Original Encoding Incremental Solving Time: 0.014698
+ [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: 2.200966
+ [java] Path Solving Time: 1.284993
+ [java] 1588111702605 Original Encoding Solving Time: 0.353109
+ [java] 1588111702605 Original Encoding Incremental Solving Time: 0.110028
+ [java] 1588111702622 Original Encoding Solving Time: 0.32153
+ [java] 1588111702622 Original Encoding Incremental Solving Time: 0.051718
+ [java] 1588111702636 Original Encoding Solving Time: 0.178646
+ [java] 1588111702636 Original Encoding Incremental Solving Time: 0.010292
+ [java] Path Solving Time: 4.926773
+ [java] Path Solving Time: 1.599929
+ [java] 1588111702667 Original Encoding Solving Time: 0.528168
+ [java] 1588111702667 Original Encoding Incremental Solving Time: 0.248567
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111702685 Original Encoding Solving Time: 0.190599
+ [java] 1588111702685 Original Encoding Incremental Solving Time: 0.018535
+ [java] 1588111702695 Original Encoding Solving Time: 0.240047
+ [java] 1588111702695 Original Encoding Incremental Solving Time: 0.034985
+ [java] 1588111702705 Original Encoding Solving Time: 0.412032
+ [java] 1588111702705 Original Encoding Incremental Solving Time: 0.016351
+ [java] 1588111702716 Original Encoding Solving Time: 0.162973
+ [java] 1588111702716 Original Encoding Incremental Solving Time: 0.014786
+ [java] Path Solving Time: 2.626876
+ [java] Path Solving Time: 1.218312
+ [java] 1588111702744 Original Encoding Solving Time: 0.343677
+ [java] 1588111702744 Original Encoding Incremental Solving Time: 0.091232
+ [java] 1588111702762 Original Encoding Solving Time: 1.161227
+ [java] 1588111702762 Original Encoding Incremental Solving Time: 0.032071
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [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] 1588111702773 Original Encoding Solving Time: 0.192849
+ [java] 1588111702773 Original Encoding Incremental Solving Time: 0.027079
+ [java] 1588111702781 Original Encoding Solving Time: 0.151178
+ [java] 1588111702781 Original Encoding Incremental Solving Time: 0.013395
+ [java] 1588111702789 Original Encoding Solving Time: 0.149154
+ [java] 1588111702789 Original Encoding Incremental Solving Time: 0.016923
+ [java] Path Solving Time: 2.420862
+ [java] Path Solving Time: 1.185953
+ [java] 1588111702817 Original Encoding Solving Time: 0.371952
+ [java] 1588111702817 Original Encoding Incremental Solving Time: 0.107439
+ [java] 1588111702831 Original Encoding Solving Time: 0.177043
+ [java] 1588111702831 Original Encoding Incremental Solving Time: 0.01773
+ [java] 1588111702840 Original Encoding Solving Time: 0.196768
+ [java] 1588111702840 Original Encoding Incremental Solving Time: 0.021269
+ [java] 1588111702850 Original Encoding Solving Time: 1.524631
+ [java] 1588111702850 Original Encoding Incremental Solving Time: 0.024602
+ [java] 1588111702861 Original Encoding Solving Time: 0.239498
+ [java] 1588111702861 Original Encoding Incremental Solving Time: 0.02455
+ [java] Path Solving Time: 3.664007
+ [java] Path Solving Time: 2.765356
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588111702894 Original Encoding Solving Time: 0.575895
+ [java] 1588111702894 Original Encoding Incremental Solving Time: 0.233262
+ [java] 1588111702913 Original Encoding Solving Time: 0.228306
+ [java] 1588111702913 Original Encoding Incremental Solving Time: 0.028206
+ [java] 1588111702928 Original Encoding Solving Time: 0.230345
+ [java] 1588111702928 Original Encoding Incremental Solving Time: 0.041457
+ [java] 1588111702937 Original Encoding Solving Time: 0.16529
+ [java] 1588111702937 Original Encoding Incremental Solving Time: 0.0189
+ [java] 1588111702945 Original Encoding Solving Time: 0.181162
+ [java] 1588111702945 Original Encoding Incremental Solving Time: 0.02255
+ [java] Path Solving Time: 2.72877
+ [java] Path Solving Time: 1.674459
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588111702974 Original Encoding Solving Time: 0.358027
+ [java] 1588111702974 Original Encoding Incremental Solving Time: 0.120434
+ [java] 1588111702989 Original Encoding Solving Time: 0.1924
+ [java] 1588111702989 Original Encoding Incremental Solving Time: 0.020136
+ [java] 1588111702997 Original Encoding Solving Time: 0.191928
+ [java] 1588111702997 Original Encoding Incremental Solving Time: 0.026573
+ [java] 1588111703006 Original Encoding Solving Time: 0.173731
+ [java] 1588111703006 Original Encoding Incremental Solving Time: 0.01417
+ [java] 1588111703013 Original Encoding Solving Time: 0.175433
+ [java] 1588111703013 Original Encoding Incremental Solving Time: 0.02127
+ [java] Path Solving Time: 3.127877
+ [java] Path Solving Time: 1.442237
+ [java] 1588111703043 Original Encoding Solving Time: 0.36346
+ [java] 1588111703043 Original Encoding Incremental Solving Time: 0.140789
+ [java] 1588111703059 Original Encoding Solving Time: 0.2167
+ [java] 1588111703059 Original Encoding Incremental Solving Time: 0.024377
+ [java] 1588111703067 Original Encoding Solving Time: 0.288657
+ [java] 1588111703067 Original Encoding Incremental Solving Time: 0.022702
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] 1588111703075 Original Encoding Solving Time: 0.149787
+ [java] 1588111703075 Original Encoding Incremental Solving Time: 0.013954
+ [java] 1588111703083 Original Encoding Solving Time: 0.316667
+ [java] 1588111703083 Original Encoding Incremental Solving Time: 0.016943
+ [java] Path Solving Time: 2.665813
+ [java] Path Solving Time: 1.33961
+ [java] 1588111703112 Original Encoding Solving Time: 0.353593
+ [java] 1588111703112 Original Encoding Incremental Solving Time: 1.567362
+ [java] 1588111703127 Original Encoding Solving Time: 0.189561
+ [java] 1588111703127 Original Encoding Incremental Solving Time: 0.017957
+ [java] 1588111703136 Original Encoding Solving Time: 0.20544
+ [java] 1588111703136 Original Encoding Incremental Solving Time: 0.025766
+ [java] 1588111703144 Original Encoding Solving Time: 0.158677
+ [java] 1588111703144 Original Encoding Incremental Solving Time: 0.015412
+ [java] 1588111703151 Original Encoding Solving Time: 0.544405
+ [java] 1588111703151 Original Encoding Incremental Solving Time: 0.014829
+ [java] Path Solving Time: 3.02305
+ [java] Path Solving Time: 1.122191
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588111703179 Original Encoding Solving Time: 0.250902
+ [java] 1588111703179 Original Encoding Incremental Solving Time: 0.074941
+ [java] 1588111703190 Original Encoding Solving Time: 0.218302
+ [java] 1588111703190 Original Encoding Incremental Solving Time: 0.019313
+ [java] 1588111703198 Original Encoding Solving Time: 0.180776
+ [java] 1588111703198 Original Encoding Incremental Solving Time: 0.019694
+ [java] 1588111703205 Original Encoding Solving Time: 0.15613
+ [java] 1588111703205 Original Encoding Incremental Solving Time: 0.014316
+ [java] 1588111703212 Original Encoding Solving Time: 0.143853
+ [java] 1588111703212 Original Encoding Incremental Solving Time: 0.016423
+ [java] Path Solving Time: 3.491584
+ [java] Path Solving Time: 1.123728
+ [java] 1588111703241 Original Encoding Solving Time: 0.376737
+ [java] 1588111703241 Original Encoding Incremental Solving Time: 0.132497
+ [java] 1588111703257 Original Encoding Solving Time: 0.177821
+ [java] 1588111703257 Original Encoding Incremental Solving Time: 0.01675
+ [java] 1588111703265 Original Encoding Solving Time: 0.198488
+ [java] 1588111703265 Original Encoding Incremental Solving Time: 0.019222
+ [java] 1588111703272 Original Encoding Solving Time: 0.170468
+ [java] 1588111703272 Original Encoding Incremental Solving Time: 0.015031
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588111703281 Original Encoding Solving Time: 0.143798
+ [java] 1588111703281 Original Encoding Incremental Solving Time: 0.015056
+ [java] Path Solving Time: 2.465697
+ [java] Path Solving Time: 1.304504
+ [java] 1588111703309 Original Encoding Solving Time: 0.308655
+ [java] 1588111703309 Original Encoding Incremental Solving Time: 0.092957
+ [java] 1588111703324 Original Encoding Solving Time: 0.193054
+ [java] 1588111703324 Original Encoding Incremental Solving Time: 0.027966
+ [java] 1588111703332 Original Encoding Solving Time: 0.16888
+ [java] 1588111703332 Original Encoding Incremental Solving Time: 0.018648
+ [java] 1588111703340 Original Encoding Solving Time: 0.170475
+ [java] 1588111703340 Original Encoding Incremental Solving Time: 0.016024
+ [java] 1588111703348 Original Encoding Solving Time: 0.151916
+ [java] 1588111703348 Original Encoding Incremental Solving Time: 0.014038
+ [java] Path Solving Time: 4.597535
+ [java] Path Solving Time: 1.145822
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111703378 Original Encoding Solving Time: 0.246336
+ [java] 1588111703378 Original Encoding Incremental Solving Time: 0.08382
+ [java] 1588111703388 Original Encoding Solving Time: 0.16511
+ [java] 1588111703388 Original Encoding Incremental Solving Time: 0.019079
+ [java] 1588111703396 Original Encoding Solving Time: 0.173188
+ [java] 1588111703396 Original Encoding Incremental Solving Time: 0.019538
+ [java] 1588111703406 Original Encoding Solving Time: 0.273369
+ [java] 1588111703406 Original Encoding Incremental Solving Time: 0.021875
+ [java] 1588111703416 Original Encoding Solving Time: 0.192052
+ [java] 1588111703416 Original Encoding Incremental Solving Time: 0.019482
+ [java] Path Solving Time: 6.111951
+ [java] Path Solving Time: 0.653185
+ [java] 1588111703449 Original Encoding Solving Time: 0.458245
+ [java] 1588111703449 Original Encoding Incremental Solving Time: 0.220785
+ [java] 1588111703467 Original Encoding Solving Time: 0.205907
+ [java] 1588111703467 Original Encoding Incremental Solving Time: 0.031697
+ [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] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588111703478 Original Encoding Solving Time: 0.150655
+ [java] 1588111703478 Original Encoding Incremental Solving Time: 0.025095
+ [java] Path Solving Time: 3.441591
+ [java] Path Solving Time: 0.376514
+ [java] 1588111703510 Original Encoding Solving Time: 0.484684
+ [java] 1588111703510 Original Encoding Incremental Solving Time: 0.207285
+ [java] 1588111703530 Original Encoding Solving Time: 0.318497
+ [java] 1588111703530 Original Encoding Incremental Solving Time: 0.024988
+ [java] 1588111703542 Original Encoding Solving Time: 0.164126
+ [java] 1588111703542 Original Encoding Incremental Solving Time: 0.009182
+ [java] Path Solving Time: 2.700462
+ [java] Path Solving Time: 0.70719
+ [java] 1588111703577 Original Encoding Solving Time: 0.594254
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588111703577 Original Encoding Incremental Solving Time: 0.198289
+ [java] 1588111703595 Original Encoding Solving Time: 0.218694
+ [java] 1588111703595 Original Encoding Incremental Solving Time: 0.024441
+ [java] 1588111703607 Original Encoding Solving Time: 0.160824
+ [java] 1588111703607 Original Encoding Incremental Solving Time: 0.008073
+ [java] Path Solving Time: 2.62194
+ [java] Path Solving Time: 0.547872
+ [java] 1588111703636 Original Encoding Solving Time: 0.457849
+ [java] 1588111703636 Original Encoding Incremental Solving Time: 0.096516
+ [java] 1588111703656 Original Encoding Solving Time: 0.262635
+ [java] 1588111703656 Original Encoding Incremental Solving Time: 0.017463
+ [java] 1588111703665 Original Encoding Solving Time: 0.124953
+ [java] 1588111703665 Original Encoding Incremental Solving Time: 0.006751
+ [java] Path Solving Time: 1.946303
+ [java] Path Solving Time: 0.281721
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [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] 1588111703691 Original Encoding Solving Time: 0.242447
+ [java] 1588111703691 Original Encoding Incremental Solving Time: 0.068324
+ [java] 1588111703704 Original Encoding Solving Time: 0.172177
+ [java] 1588111703704 Original Encoding Incremental Solving Time: 0.014115
+ [java] 1588111703712 Original Encoding Solving Time: 0.153335
+ [java] 1588111703712 Original Encoding Incremental Solving Time: 0.008124
+ [java] Path Solving Time: 2.603241
+ [java] Path Solving Time: 0.270885
+ [java] 1588111703745 Original Encoding Solving Time: 0.312377
+ [java] 1588111703745 Original Encoding Incremental Solving Time: 0.100397
+ [java] 1588111703759 Original Encoding Solving Time: 0.189438
+ [java] 1588111703759 Original Encoding Incremental Solving Time: 0.015092
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 10
+ [java] Sketch Generation Time: 651.2980399999999
+ [java] Sketch Completion Time: 1332.2196549999999
+ [java] Compilation Time: 1825.9606179999998
+ [java] Running Test cases Time: 29.743536000000002
+ [java] Synthesis Time: 2013.2612309999997
+ [java] Total Time: 3839.2218489999996
+ [java] Number of components: 4
+ [java] Number of holes: 7
+ [java] Number of completed programs: 162
+ [java] Number of sketches: 47
+ [java] Solution:
+ [java] java.awt.Shape sypet_var282 = sypet_arg0;
+ [java] java.awt.geom.AffineTransform sypet_var283 = java.awt.geom.AffineTransform.getScaleInstance(sypet_arg1,sypet_arg2);
+ [java] java.awt.geom.Path2D.Double sypet_var284 = new java.awt.geom.Path2D.Double(sypet_var282,sypet_var283);
+ [java] java.awt.geom.Rectangle2D sypet_var285 = sypet_var284.getBounds2D();
+ [java] return sypet_var285;
+ [java]
+ [java] ============================
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] entSet<0x7f7d44a21790>:{Set(1)<0x7f7d447ef430>:Members: 142, 146, } 0x7f7d44a21790 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c8c50>: 146}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f7d44a1ed40>: OR
+ [java] {BooleanLogic<0x7f7d447db650>: NOT
+ [java] {BooleanPredicate<0x7f7d442316a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d441d9d60>:{Set(1)<0x7f7d441efb70>:Members: 142, } 0x7f7d441d9d60 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c8b70>: 142}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d447e8eb0>: NOT
+ [java] {BooleanPredicate<0x7f7d444cae60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d0250>:{Set(1)<0x7f7d441efc50>:Members: 145, } 0x7f7d449d0250 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c87c0>: 145}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44a1e6a0>: NOT
+ [java] {BooleanPredicate<0x7f7d441ed720>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d441ecdc0>:Members: 143, 144, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 143}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44a1e780>: NOT
+ [java] {BooleanPredicate<0x7f7d441ed720>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d449d05d0>:{Set(1)<0x7f7d441ecdc0>:Members: 143, 144, } 0x7f7d449d05d0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 143}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44a1e970>: NOT
+ [java] {BooleanPredicate<0x7f7d447f1f00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d442119e0>:Members: 143, 144, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 143}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44a1ea50>: NOT
+ [java] {BooleanPredicate<0x7f7d447f1f00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d447d11a0>:{Set(1)<0x7f7d442119e0>:Members: 143, 144, } 0x7f7d447d11a0 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d444dde60>: 143}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44a1eb30>: NOT
+ [java] {BooleanPredicate<0x7f7d4420f050>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d44a21790>:{Set(1)<0x7f7d447ef430>:Members: 142, 146, } 0x7f7d44a21790 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c8b70>: 142}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f7d44a1ec10>: NOT
+ [java] {BooleanPredicate<0x7f7d4420f050>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f7d44a21790>:{Set(1)<0x7f7d447ef430>:Members: 142, 146, } 0x7f7d44a21790 UNASSIGNED numVars= 0 encArraySize= 0}{ElementConst<0x7f7d443c8b70>: 142}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 8 seconds