--- /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/14/benchmark14.json
+ [java] Benchmark Id: 14
+ [java] Method name: translate
+ [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: 3158.718727
+ [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.736058
+ [java] Path Solving Time: 6.396997
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 25.37347
+ [java] Path Solving Time: 1.267843
+ [java] 1588123327998 Original Encoding Solving Time: 0.593209
+ [java] 1588123327998 Original Encoding Incremental Solving Time: 0.161282
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123328287 Original Encoding Solving Time: 0.395628
+ [java] 1588123328287 Original Encoding Incremental Solving Time: 0.047019
+ [java] 1588123328308 Original Encoding Solving Time: 0.240547
+ [java] 1588123328308 Original Encoding Incremental Solving Time: 0.037061
+ [java] Path Solving Time: 4.055557
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 8.290332
+ [java] Path Solving Time: 1.34949
+ [java] 1588123328658 Original Encoding Solving Time: 0.601017
+ [java] 1588123328658 Original Encoding Incremental Solving Time: 1.145988
+ [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] 1588123328694 Original Encoding Solving Time: 0.318278
+ [java] 1588123328694 Original Encoding Incremental Solving Time: 0.044682
+ [java] 1588123328716 Original Encoding Solving Time: 0.240499
+ [java] 1588123328716 Original Encoding Incremental Solving Time: 0.02857
+ [java] Path Solving Time: 4.675628
+ [java] Path Solving Time: 1.365842
+ [java] 1588123328737 Original Encoding Solving Time: 0.594596
+ [java] 1588123328737 Original Encoding Incremental Solving Time: 0.176598
+ [java] 1588123328758 Original Encoding Solving Time: 0.247419
+ [java] 1588123328758 Original Encoding Incremental Solving Time: 0.050374
+ [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] 1588123328772 Original Encoding Solving Time: 0.185315
+ [java] 1588123328772 Original Encoding Incremental Solving Time: 0.022555
+ [java] Path Solving Time: 12.050144
+ [java] Path Solving Time: 2.221915
+ [java] 1588123328800 Original Encoding Solving Time: 0.371176
+ [java] 1588123328800 Original Encoding Incremental Solving Time: 0.152487
+ [java] 1588123328821 Original Encoding Solving Time: 0.22202
+ [java] 1588123328821 Original Encoding Incremental Solving Time: 0.044611
+ [java] 1588123328834 Original Encoding Solving Time: 0.205505
+ [java] 1588123328834 Original Encoding Incremental Solving Time: 0.022907
+ [java] Path Solving Time: 11.064008
+ [java] Path Solving Time: 2.224347
+ [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] 1588123328862 Original Encoding Solving Time: 0.604654
+ [java] 1588123328862 Original Encoding Incremental Solving Time: 0.255194
+ [java] 1588123328882 Original Encoding Solving Time: 0.225933
+ [java] 1588123328882 Original Encoding Incremental Solving Time: 0.045666
+ [java] 1588123328895 Original Encoding Solving Time: 0.202198
+ [java] 1588123328895 Original Encoding Incremental Solving Time: 0.042376
+ [java] Path Solving Time: 5.051486
+ [java] Path Solving Time: 1.869805
+ [java] 1588123328917 Original Encoding Solving Time: 1.075503
+ [java] 1588123328917 Original Encoding Incremental Solving Time: 10.33415
+ [java] 1588123328947 Original Encoding Solving Time: 0.432645
+ [java] 1588123328947 Original Encoding Incremental Solving Time: 0.07831
+ [java] 1588123328964 Original Encoding Solving Time: 0.22454
+ [java] 1588123328964 Original Encoding Incremental Solving Time: 0.03529
+ [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: 5.096864
+ [java] Path Solving Time: 2.015421
+ [java] 1588123328986 Original Encoding Solving Time: 0.548595
+ [java] 1588123328986 Original Encoding Incremental Solving Time: 0.234805
+ [java] 1588123329006 Original Encoding Solving Time: 0.235214
+ [java] 1588123329006 Original Encoding Incremental Solving Time: 0.056521
+ [java] 1588123329019 Original Encoding Solving Time: 0.205586
+ [java] 1588123329019 Original Encoding Incremental Solving Time: 0.031407
+ [java] Path Solving Time: 4.537097
+ [java] Path Solving Time: 1.914951
+ [java] 1588123329040 Original Encoding Solving Time: 0.484587
+ [java] 1588123329040 Original Encoding Incremental Solving Time: 2.691968
+ [java] 1588123329063 Original Encoding Solving Time: 0.194246
+ [java] 1588123329063 Original Encoding Incremental Solving Time: 0.077473
+ [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] 1588123329077 Original Encoding Solving Time: 0.219424
+ [java] 1588123329077 Original Encoding Incremental Solving Time: 0.027431
+ [java] Path Solving Time: 4.078956
+ [java] Path Solving Time: 1.916372
+ [java] 1588123329098 Original Encoding Solving Time: 0.538911
+ [java] 1588123329098 Original Encoding Incremental Solving Time: 0.239441
+ [java] 1588123329119 Original Encoding Solving Time: 0.874583
+ [java] 1588123329119 Original Encoding Incremental Solving Time: 0.089043
+ [java] 1588123329131 Original Encoding Solving Time: 0.21657
+ [java] 1588123329131 Original Encoding Incremental Solving Time: 0.028499
+ [java] Path Solving Time: 3.97682
+ [java] Path Solving Time: 1.847773
+ [java] 1588123329152 Original Encoding Solving Time: 0.534135
+ [java] 1588123329152 Original Encoding Incremental Solving Time: 0.395625
+ [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] 1588123329176 Original Encoding Solving Time: 0.197556
+ [java] 1588123329176 Original Encoding Incremental Solving Time: 0.054481
+ [java] 1588123329187 Original Encoding Solving Time: 0.187867
+ [java] 1588123329187 Original Encoding Incremental Solving Time: 0.021723
+ [java] Path Solving Time: 3.916324
+ [java] Path Solving Time: 1.584741
+ [java] 1588123329207 Original Encoding Solving Time: 0.938026
+ [java] 1588123329207 Original Encoding Incremental Solving Time: 0.145715
+ [java] 1588123329228 Original Encoding Solving Time: 0.213483
+ [java] 1588123329228 Original Encoding Incremental Solving Time: 0.061468
+ [java] 1588123329240 Original Encoding Solving Time: 0.175559
+ [java] 1588123329240 Original Encoding Incremental Solving Time: 0.016396
+ [java] Path Solving Time: 3.602804
+ [java] Path Solving Time: 1.610741
+ [java] 1588123329259 Original Encoding Solving Time: 0.458074
+ [java] 1588123329259 Original Encoding Incremental Solving Time: 0.153055
+ [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] 1588123329275 Original Encoding Solving Time: 0.350478
+ [java] 1588123329275 Original Encoding Incremental Solving Time: 0.031959
+ [java] 1588123329285 Original Encoding Solving Time: 0.220276
+ [java] 1588123329285 Original Encoding Incremental Solving Time: 0.016653
+ [java] Path Solving Time: 3.572767
+ [java] Path Solving Time: 0.852294
+ [java] 1588123329304 Original Encoding Solving Time: 0.488254
+ [java] 1588123329304 Original Encoding Incremental Solving Time: 0.134568
+ [java] 1588123329316 Original Encoding Solving Time: 0.354533
+ [java] 1588123329316 Original Encoding Incremental Solving Time: 0.055366
+ [java] 1588123329327 Original Encoding Solving Time: 0.172806
+ [java] 1588123329327 Original Encoding Incremental Solving Time: 0.023307
+ [java] Path Solving Time: 13.190376
+ [java] Path Solving Time: 8.23819
+ [java] Path Solving Time: 0.570799
+ [java] Path Solving Time: 0.409268
+ [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: 59.292597
+ [java] 1588123329423 Original Encoding Solving Time: 0.518762
+ [java] 1588123329423 Original Encoding Incremental Solving Time: 0.209774
+ [java] 1588123329439 Original Encoding Solving Time: 0.249416
+ [java] 1588123329439 Original Encoding Incremental Solving Time: 0.038421
+ [java] 1588123329450 Original Encoding Solving Time: 0.141147
+ [java] 1588123329450 Original Encoding Incremental Solving Time: 0.014139
+ [java] Path Solving Time: 40.084918
+ [java] Path Solving Time: 25.679318
+ [java] Path Solving Time: 31.088795
+ [java] 1588123329561 Original Encoding Solving Time: 0.303552
+ [java] 1588123329561 Original Encoding Incremental Solving Time: 0.091566
+ [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] 1588123329573 Original Encoding Solving Time: 0.236299
+ [java] 1588123329573 Original Encoding Incremental Solving Time: 0.028694
+ [java] 1588123329585 Original Encoding Solving Time: 0.195247
+ [java] 1588123329585 Original Encoding Incremental Solving Time: 0.012473
+ [java] Path Solving Time: 8.683757
+ [java] Path Solving Time: 4.020249
+ [java] 1588123329613 Original Encoding Solving Time: 0.491036
+ [java] 1588123329613 Original Encoding Incremental Solving Time: 0.148296
+ [java] 1588123329632 Original Encoding Solving Time: 0.285992
+ [java] 1588123329632 Original Encoding Incremental Solving Time: 0.037307
+ [java] 1588123329644 Original Encoding Solving Time: 0.159091
+ [java] 1588123329644 Original Encoding Incremental Solving Time: 0.008947
+ [java] Path Solving Time: 9.5202
+ [java] Path Solving Time: 4.910026
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123329675 Original Encoding Solving Time: 0.819295
+ [java] 1588123329675 Original Encoding Incremental Solving Time: 0.161443
+ [java] 1588123329696 Original Encoding Solving Time: 0.256519
+ [java] 1588123329696 Original Encoding Incremental Solving Time: 0.07319
+ [java] 1588123329710 Original Encoding Solving Time: 0.198804
+ [java] 1588123329710 Original Encoding Incremental Solving Time: 0.015242
+ [java] Path Solving Time: 20.179242
+ [java] Path Solving Time: 29.925139
+ [java] Path Solving Time: 1.933876
+ [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] 1588123329777 Original Encoding Solving Time: 0.386656
+ [java] 1588123329777 Original Encoding Incremental Solving Time: 0.08038
+ [java] 1588123329790 Original Encoding Solving Time: 0.18093
+ [java] 1588123329790 Original Encoding Incremental Solving Time: 0.022661
+ [java] 1588123329799 Original Encoding Solving Time: 0.221413
+ [java] 1588123329799 Original Encoding Incremental Solving Time: 0.008726
+ [java] Path Solving Time: 12.734665
+ [java] Path Solving Time: 1.648048
+ [java] 1588123329831 Original Encoding Solving Time: 0.422243
+ [java] 1588123329831 Original Encoding Incremental Solving Time: 0.091139
+ [java] 1588123329847 Original Encoding Solving Time: 0.216659
+ [java] 1588123329847 Original Encoding Incremental Solving Time: 0.035492
+ [java] 1588123329862 Original Encoding Solving Time: 0.194013
+ [java] 1588123329862 Original Encoding Incremental Solving Time: 0.018865
+ [java] Path Solving Time: 5.575175
+ [java] Path Solving Time: 3.494979
+ [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] 1588123329889 Original Encoding Solving Time: 0.570529
+ [java] 1588123329889 Original Encoding Incremental Solving Time: 0.153848
+ [java] 1588123329906 Original Encoding Solving Time: 0.181465
+ [java] 1588123329906 Original Encoding Incremental Solving Time: 0.020431
+ [java] 1588123329916 Original Encoding Solving Time: 0.191361
+ [java] 1588123329916 Original Encoding Incremental Solving Time: 0.009629
+ [java] Path Solving Time: 3.511259
+ [java] Path Solving Time: 1.585455
+ [java] 1588123329936 Original Encoding Solving Time: 0.385396
+ [java] 1588123329936 Original Encoding Incremental Solving Time: 0.086483
+ [java] 1588123329950 Original Encoding Solving Time: 0.182025
+ [java] 1588123329950 Original Encoding Incremental Solving Time: 0.021619
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588123331029 Original Encoding Solving Time: 0.425327
+ [java] 1588123331029 Original Encoding Incremental Solving Time: 0.021126
+ [java] Path Solving Time: 1.538617
+ [java] Path Solving Time: 1.479817
+ [java] 1588123331050 Original Encoding Solving Time: 0.439775
+ [java] 1588123331050 Original Encoding Incremental Solving Time: 0.106395
+ [java] 1588123331066 Original Encoding Solving Time: 0.313837
+ [java] 1588123331066 Original Encoding Incremental Solving Time: 0.047687
+ [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] 1588123331081 Original Encoding Solving Time: 0.179256
+ [java] 1588123331081 Original Encoding Incremental Solving Time: 0.010512
+ [java] Path Solving Time: 3.049538
+ [java] Path Solving Time: 2.099184
+ [java] 1588123331105 Original Encoding Solving Time: 0.504834
+ [java] 1588123331105 Original Encoding Incremental Solving Time: 0.187122
+ [java] 1588123331123 Original Encoding Solving Time: 0.177842
+ [java] 1588123331123 Original Encoding Incremental Solving Time: 0.020484
+ [java] 1588123331134 Original Encoding Solving Time: 1.169963
+ [java] 1588123331134 Original Encoding Incremental Solving Time: 0.011471
+ [java] Path Solving Time: 2.366818
+ [java] Path Solving Time: 1.273724
+ [java] 1588123331156 Original Encoding Solving Time: 0.37931
+ [java] 1588123331156 Original Encoding Incremental Solving Time: 0.156001
+ [java] 1588123331174 Original Encoding Solving Time: 0.181374
+ [java] 1588123331174 Original Encoding Incremental Solving Time: 0.019408
+ [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] 1588123331184 Original Encoding Solving Time: 0.160956
+ [java] 1588123331184 Original Encoding Incremental Solving Time: 0.00769
+ [java] Path Solving Time: 2.278731
+ [java] Path Solving Time: 1.435759
+ [java] 1588123331206 Original Encoding Solving Time: 0.383564
+ [java] 1588123331206 Original Encoding Incremental Solving Time: 0.270988
+ [java] 1588123331224 Original Encoding Solving Time: 0.25065
+ [java] 1588123331224 Original Encoding Incremental Solving Time: 0.026285
+ [java] 1588123331237 Original Encoding Solving Time: 0.187481
+ [java] 1588123331237 Original Encoding Incremental Solving Time: 0.009442
+ [java] Path Solving Time: 18.813688
+ [java] Path Solving Time: 1.419888
+ [java] 1588123331276 Original Encoding Solving Time: 0.557936
+ [java] 1588123331276 Original Encoding Incremental Solving Time: 0.146767
+ [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] 1588123331291 Original Encoding Solving Time: 0.830047
+ [java] 1588123331291 Original Encoding Incremental Solving Time: 0.025081
+ [java] 1588123331301 Original Encoding Solving Time: 0.184382
+ [java] 1588123331301 Original Encoding Incremental Solving Time: 0.011065
+ [java] Path Solving Time: 4.827696
+ [java] Path Solving Time: 1.11251
+ [java] 1588123331324 Original Encoding Solving Time: 0.349963
+ [java] 1588123331324 Original Encoding Incremental Solving Time: 0.149913
+ [java] 1588123331339 Original Encoding Solving Time: 0.220115
+ [java] 1588123331339 Original Encoding Incremental Solving Time: 0.02425
+ [java] 1588123331349 Original Encoding Solving Time: 0.213985
+ [java] 1588123331349 Original Encoding Incremental Solving Time: 0.011801
+ [java] Path Solving Time: 3.8036
+ [java] Path Solving Time: 1.807093
+ [java] 1588123331373 Original Encoding Solving Time: 0.388441
+ [java] 1588123331373 Original Encoding Incremental Solving Time: 0.111286
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123331388 Original Encoding Solving Time: 0.720592
+ [java] 1588123331388 Original Encoding Incremental Solving Time: 0.031525
+ [java] 1588123331396 Original Encoding Solving Time: 0.161179
+ [java] 1588123331396 Original Encoding Incremental Solving Time: 0.011958
+ [java] Path Solving Time: 2.759377
+ [java] Path Solving Time: 1.620479
+ [java] 1588123331420 Original Encoding Solving Time: 0.412923
+ [java] 1588123331420 Original Encoding Incremental Solving Time: 0.415876
+ [java] 1588123331435 Original Encoding Solving Time: 2.010875
+ [java] 1588123331435 Original Encoding Incremental Solving Time: 0.112
+ [java] 1588123331446 Original Encoding Solving Time: 0.210577
+ [java] 1588123331446 Original Encoding Incremental Solving Time: 0.013644
+ [java] Path Solving Time: 2.800386
+ [java] Path Solving Time: 1.965372
+ [java] 1588123331470 Original Encoding Solving Time: 0.54558
+ [java] 1588123331470 Original Encoding Incremental Solving Time: 0.149063
+ [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] 1588123331490 Original Encoding Solving Time: 1.962681
+ [java] 1588123331490 Original Encoding Incremental Solving Time: 0.020993
+ [java] 1588123331498 Original Encoding Solving Time: 0.141045
+ [java] 1588123331498 Original Encoding Incremental Solving Time: 0.007585
+ [java] Path Solving Time: 4.515455
+ [java] Path Solving Time: 1.184504
+ [java] 1588123331521 Original Encoding Solving Time: 0.595458
+ [java] 1588123331521 Original Encoding Incremental Solving Time: 0.128846
+ [java] 1588123331534 Original Encoding Solving Time: 0.208781
+ [java] 1588123331534 Original Encoding Incremental Solving Time: 0.023012
+ [java] 1588123331542 Original Encoding Solving Time: 0.194224
+ [java] 1588123331542 Original Encoding Incremental Solving Time: 0.031503
+ [java] 1588123331552 Original Encoding Solving Time: 0.247885
+ [java] 1588123331552 Original Encoding Incremental Solving Time: 0.023184
+ [java] 1588123331561 Original Encoding Solving Time: 0.215349
+ [java] 1588123331561 Original Encoding Incremental Solving Time: 0.013901
+ [java] Path Solving Time: 2.8752
+ [java] Path Solving Time: 1.428389
+ [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] Done with finding holes : Flag = true
+ [java] 1588123331585 Original Encoding Solving Time: 0.458862
+ [java] 1588123331585 Original Encoding Incremental Solving Time: 0.677781
+ [java] 1588123331602 Original Encoding Solving Time: 0.191613
+ [java] 1588123331602 Original Encoding Incremental Solving Time: 0.017399
+ [java] 1588123331610 Original Encoding Solving Time: 0.201892
+ [java] 1588123331610 Original Encoding Incremental Solving Time: 0.027524
+ [java] 1588123331618 Original Encoding Solving Time: 0.628644
+ [java] 1588123331618 Original Encoding Incremental Solving Time: 0.013163
+ [java] 1588123331625 Original Encoding Solving Time: 0.154022
+ [java] 1588123331625 Original Encoding Incremental Solving Time: 0.016884
+ [java] Path Solving Time: 2.256241
+ [java] Path Solving Time: 1.056916
+ [java] 1588123331646 Original Encoding Solving Time: 0.365483
+ [java] 1588123331646 Original Encoding Incremental Solving Time: 0.080635
+ [java] 1588123331658 Original Encoding Solving Time: 0.18309
+ [java] 1588123331658 Original Encoding Incremental Solving Time: 0.024972
+ [java] 1588123331666 Original Encoding Solving Time: 0.141241
+ [java] 1588123331666 Original Encoding Incremental Solving Time: 0.017087
+ [java] 1588123331673 Original Encoding Solving Time: 0.147859
+ [java] 1588123331673 Original Encoding Incremental Solving Time: 0.012112
+ [java] 1588123331680 Original Encoding Solving Time: 0.178393
+ [java] 1588123331680 Original Encoding Incremental Solving Time: 0.016869
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 2.269058
+ [java] Path Solving Time: 1.428545
+ [java] 1588123331702 Original Encoding Solving Time: 0.36654
+ [java] 1588123331702 Original Encoding Incremental Solving Time: 1.40695
+ [java] 1588123331717 Original Encoding Solving Time: 0.216547
+ [java] 1588123331717 Original Encoding Incremental Solving Time: 0.018868
+ [java] 1588123331725 Original Encoding Solving Time: 0.309711
+ [java] 1588123331725 Original Encoding Incremental Solving Time: 0.020503
+ [java] 1588123331733 Original Encoding Solving Time: 0.172276
+ [java] 1588123331733 Original Encoding Incremental Solving Time: 0.015058
+ [java] 1588123331740 Original Encoding Solving Time: 0.163084
+ [java] 1588123331740 Original Encoding Incremental Solving Time: 0.016964
+ [java] Path Solving Time: 2.323806
+ [java] Path Solving Time: 1.233035
+ [java] 1588123331761 Original Encoding Solving Time: 0.374411
+ [java] 1588123331761 Original Encoding Incremental Solving Time: 0.101016
+ [java] 1588123331775 Original Encoding Solving Time: 0.192365
+ [java] 1588123331775 Original Encoding Incremental Solving Time: 0.023548
+ [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] 1588123331784 Original Encoding Solving Time: 0.216481
+ [java] 1588123331784 Original Encoding Incremental Solving Time: 0.028749
+ [java] 1588123331794 Original Encoding Solving Time: 0.158113
+ [java] 1588123331794 Original Encoding Incremental Solving Time: 0.014759
+ [java] 1588123331801 Original Encoding Solving Time: 0.146682
+ [java] 1588123331801 Original Encoding Incremental Solving Time: 0.01599
+ [java] Path Solving Time: 2.578505
+ [java] Path Solving Time: 1.25672
+ [java] 1588123331823 Original Encoding Solving Time: 0.415612
+ [java] 1588123331823 Original Encoding Incremental Solving Time: 0.089793
+ [java] 1588123331837 Original Encoding Solving Time: 0.189239
+ [java] 1588123331837 Original Encoding Incremental Solving Time: 0.019289
+ [java] 1588123331845 Original Encoding Solving Time: 0.221972
+ [java] 1588123331845 Original Encoding Incremental Solving Time: 0.03134
+ [java] 1588123331853 Original Encoding Solving Time: 0.147534
+ [java] 1588123331853 Original Encoding Incremental Solving Time: 0.012161
+ [java] 1588123331862 Original Encoding Solving Time: 0.169096
+ [java] 1588123331862 Original Encoding Incremental Solving Time: 0.022402
+ [java] Path Solving Time: 2.542308
+ [java] Path Solving Time: 1.865697
+ [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] Done with finding holes : Flag = true
+ [java] 1588123331886 Original Encoding Solving Time: 0.435107
+ [java] 1588123331886 Original Encoding Incremental Solving Time: 0.137361
+ [java] 1588123331898 Original Encoding Solving Time: 0.286547
+ [java] 1588123331898 Original Encoding Incremental Solving Time: 0.030437
+ [java] 1588123331907 Original Encoding Solving Time: 0.172208
+ [java] 1588123331907 Original Encoding Incremental Solving Time: 0.01726
+ [java] 1588123331914 Original Encoding Solving Time: 0.182238
+ [java] 1588123331914 Original Encoding Incremental Solving Time: 0.020627
+ [java] 1588123331921 Original Encoding Solving Time: 0.53444
+ [java] 1588123331921 Original Encoding Incremental Solving Time: 0.014191
+ [java] Path Solving Time: 2.88615
+ [java] Path Solving Time: 1.201546
+ [java] 1588123331943 Original Encoding Solving Time: 0.491866
+ [java] 1588123331943 Original Encoding Incremental Solving Time: 0.086401
+ [java] 1588123331957 Original Encoding Solving Time: 0.751694
+ [java] 1588123331957 Original Encoding Incremental Solving Time: 0.029632
+ [java] 1588123331967 Original Encoding Solving Time: 0.165602
+ [java] 1588123331967 Original Encoding Incremental Solving Time: 0.020821
+ [java] 1588123331974 Original Encoding Solving Time: 0.152145
+ [java] 1588123331974 Original Encoding Incremental Solving Time: 0.027218
+ [java] 1588123331981 Original Encoding Solving Time: 0.161476
+ [java] 1588123331981 Original Encoding Incremental Solving Time: 0.022181
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 3.379376
+ [java] Path Solving Time: 1.201365
+ [java] 1588123332004 Original Encoding Solving Time: 0.443927
+ [java] 1588123332004 Original Encoding Incremental Solving Time: 0.094089
+ [java] 1588123332017 Original Encoding Solving Time: 0.175371
+ [java] 1588123332017 Original Encoding Incremental Solving Time: 0.025127
+ [java] 1588123332026 Original Encoding Solving Time: 0.181334
+ [java] 1588123332026 Original Encoding Incremental Solving Time: 0.025051
+ [java] 1588123332033 Original Encoding Solving Time: 0.178482
+ [java] 1588123332033 Original Encoding Incremental Solving Time: 0.013433
+ [java] 1588123332040 Original Encoding Solving Time: 0.140096
+ [java] 1588123332040 Original Encoding Incremental Solving Time: 0.012969
+ [java] Path Solving Time: 3.254539
+ [java] Path Solving Time: 1.810525
+ [java] 1588123332067 Original Encoding Solving Time: 3.482713
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f0a280cc720>: OR
+ [java] {BooleanPredicate<0x7f0a28a03e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287b8a90>:{Set(1)<0x7f0a283b8530>:Members: 166, } 0x7f0a287b8a90 UNASSIGNED }{ElementConst<0x7f0a28a01ae0>: 166}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a289dfa10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a283a1990>:{Set(1)<0x7f0a28a0a010>:Members: 166, 170, } 0x7f0a283a1990 UNASSIGNED }{ElementConst<0x7f0a28a01ae0>: 166}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a284b2230>: OR
+ [java] {BooleanPredicate<0x7f0a283ca7c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a0c840>:{Set(1)<0x7f0a284ad490>:Members: 167, 168, } 0x7f0a28a0c840 UNASSIGNED }{ElementConst<0x7f0a289fcb80>: 167}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a289fc770>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a284ad5d0>:{Set(1)<0x7f0a284ad570>:Members: 167, 168, } 0x7f0a284ad5d0 UNASSIGNED }{ElementConst<0x7f0a289fcb80>: 167}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a289dff50>: OR
+ [java] {BooleanPredicate<0x7f0a289e5600>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a0c840>:{Set(1)<0x7f0a284ad490>:Members: 167, 168, } 0x7f0a28a0c840 UNASSIGNED }{ElementConst<0x7f0a287d3240>: 168}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a283b8050>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a284ad5d0>:{Set(1)<0x7f0a284ad570>:Members: 167, 168, } 0x7f0a284ad5d0 UNASSIGNED }{ElementConst<0x7f0a287d3240>: 168}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a284bb640>: OR
+ [java] {BooleanPredicate<0x7f0a284e9540>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287d20d0>:{Set(1)<0x7f0a283b1d00>:Members: 169, } 0x7f0a287d20d0 UNASSIGNED }{ElementConst<0x7f0a283383f0>: 169}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a284e73c0>: OR
+ [java] {BooleanPredicate<0x7f0a283caaa0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a283a1990>:{Set(1)<0x7f0a28a0a010>:Members: 166, 170, } 0x7f0a283a1990 UNASSIGNED }{ElementConst<0x7f0a281a9a20>: 170}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a283a6dd0>: OR
+ [java] {BooleanLogic<0x7f0a283a6570>: NOT
+ [java] {BooleanPredicate<0x7f0a28a03e30>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287b8a90>:{Set(1)<0x7f0a283b8530>:Members: 166, } 0x7f0a287b8a90 UNASSIGNED }{ElementConst<0x7f0a28a01ae0>: 166}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6650>: NOT
+ [java] {BooleanPredicate<0x7f0a284e9540>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287d20d0>:{Set(1)<0x7f0a283b1d00>:Members: 169, } 0x7f0a287d20d0 UNASSIGNED }{ElementConst<0x7f0a283383f0>: 169}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6730>: NOT
+ [java] {BooleanPredicate<0x7f0a283ca7c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a0c840>:{Set(1)<0x7f0a284ad490>:Members: 167, 168, } 0x7f0a28a0c840 UNASSIGNED }{ElementConst<0x7f0a289fcb80>: 167}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6810>: NOT
+ [java] {BooleanPredicate<0x7f0a283ca7c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a0c840>:{Set(1)<0x7f0a284ad490>:Members: 167, 168, } 0x7f0a28a0c840 UNASSIGNED }{ElementConst<0x7f0a289fcb80>: 167}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6a00>: NOT
+ [java] {BooleanPredicate<0x7f0a289fc770>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a284ad5d0>:{Set(1)<0x7f0a284ad570>:Members: 167, 168, } 0x7f0a284ad5d0 UNASSIGNED }{ElementConst<0x7f0a289fcb80>: 167}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6ae0>: NOT
+ [java] {BooleanPredicate<0x7f0a289fc770>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a284ad5d0>:{Set(1)<0x7f0a284ad570>:Members: 167, 168, } 0x7f0a284ad5d0 UNASSIGNED }{ElementConst<0x7f0a289fcb80>: 167}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6bc0>: NOT
+ [java] {BooleanPredicate<0x7f0a289dfa10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a283a1990>:{Set(1)<0x7f0a28a0a010>:Members: 166, 170, } 0x7f0a283a1990 UNASSIGNED }{ElementConst<0x7f0a28a01ae0>: 166}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f0a283a6ca0>: NOT
+ [java] {BooleanPredicate<0x7f0a289dfa10>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a283a1990>:{Set(1)<0x7f0a28a0a010>:Members: 166, 170, } 0x7f0a283a1990 UNASSIGNED }{ElementConst<0x7f0a28a01ae0>: 166}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f0a28a529c0>: OR
+ [java] {BooleanPredicate<0x7f0a283ca7c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287d20d0>:{Set(1)<0x7f0a283b1d00>:Members: 232, 236, } 0x7f0a287d20d0 UNASSIGNED }{ElementConst<0x7f0a289f4eb0>: 232}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a28a60cd0>:
+ [java] PredicateOpe1588123332067 Original Encoding Incremental Solving Time: 0.177028
+ [java] 1588123332081 Original Encoding Solving Time: 0.256478
+ [java] 1588123332081 Original Encoding Incremental Solving Time: 0.03144
+ [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] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588123332090 Original Encoding Solving Time: 0.176914
+ [java] 1588123332090 Original Encoding Incremental Solving Time: 0.020461
+ [java] 1588123332097 Original Encoding Solving Time: 0.167588
+ [java] 1588123332097 Original Encoding Incremental Solving Time: 0.022444
+ [java] 1588123332103 Original Encoding Solving Time: 0.144667
+ [java] 1588123332103 Original Encoding Incremental Solving Time: 0.016998
+ [java] Path Solving Time: 4.82174
+ [java] Path Solving Time: 1.262037
+ [java] 1588123332128 Original Encoding Solving Time: 0.340201
+ [java] 1588123332128 Original Encoding Incremental Solving Time: 0.103669
+ [java] 1588123332141 Original Encoding Solving Time: 0.190996
+ [java] 1588123332141 Original Encoding Incremental Solving Time: 0.020114
+ [java] 1588123332149 Original Encoding Solving Time: 0.189431
+ [java] 1588123332149 Original Encoding Incremental Solving Time: 0.030746
+ [java] 1588123332156 Original Encoding Solving Time: 0.186998
+ [java] 1588123332156 Original Encoding Incremental Solving Time: 0.018231
+ [java] 1588123332163 Original Encoding Solving Time: 0.177581
+ [java] 1588123332163 Original Encoding Incremental Solving Time: 0.026314
+ [java] Path Solving Time: 4.305792
+ [java] Path Solving Time: 0.481784
+ [java] 1588123332187 Original Encoding Solving Time: 0.506074
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588123332187 Original Encoding Incremental Solving Time: 2.547085
+ [java] 1588123332206 Original Encoding Solving Time: 0.279688
+ [java] 1588123332206 Original Encoding Incremental Solving Time: 0.060222
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 14
+ [java] Sketch Generation Time: 583.6627580000003
+ [java] Sketch Completion Time: 1941.1542779999988
+ [java] Compilation Time: 1426.720229000001
+ [java] Running Test cases Time: 22.332715999999994
+ [java] Synthesis Time: 2547.1497519999994
+ [java] Total Time: 3973.8699810000003
+ [java] Number of components: 4
+ [java] Number of holes: 7
+ [java] Number of completed programs: 147
+ [java] Number of sketches: 42
+ [java] Solution:
+ [java] java.awt.Shape sypet_var247 = sypet_arg0;
+ [java] java.awt.geom.AffineTransform sypet_var248 = java.awt.geom.AffineTransform.getTranslateInstance(sypet_arg1,sypet_arg2);
+ [java] java.awt.geom.Path2D.Double sypet_var249 = new java.awt.geom.Path2D.Double(sypet_var247,sypet_var248);
+ [java] java.awt.geom.Rectangle2D sypet_var250 = sypet_var249.getBounds2D();
+ [java] return sypet_var250;
+ [java]
+ [java] ============================
+ [java] rator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a7f0c0>:{Set(1)<0x7f0a284bff20>:Members: 232, 236, } 0x7f0a28a7f0c0 UNASSIGNED }{ElementConst<0x7f0a289f4eb0>: 232}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a28a68790>: OR
+ [java] {BooleanPredicate<0x7f0a28a37970>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287b8a90>:{Set(1)<0x7f0a283a6bd0>:Members: 233, 234, } 0x7f0a287b8a90 UNASSIGNED }{ElementConst<0x7f0a283b77a0>: 233}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a284a9e00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a283a1990>:{Set(1)<0x7f0a284b96a0>:Members: 233, 234, } 0x7f0a283a1990 UNASSIGNED }{ElementConst<0x7f0a283b77a0>: 233}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a28a5ce40>: OR
+ [java] {BooleanPredicate<0x7f0a28a46ca0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287b8a90>:{Set(1)<0x7f0a283a6bd0>:Members: 233, 234, } 0x7f0a287b8a90 UNASSIGNED }{ElementConst<0x7f0a287d2480>: 234}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a284ba260>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a283a1990>:{Set(1)<0x7f0a284b96a0>:Members: 233, 234, } 0x7f0a283a1990 UNASSIGNED }{ElementConst<0x7f0a287d2480>: 234}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a28a6b190>: OR
+ [java] {BooleanPredicate<0x7f0a28a52db0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a0c840>:{Set(1)<0x7f0a284ad490>:Members: 235, } 0x7f0a28a0c840 UNASSIGNED }{ElementConst<0x7f0a2833a890>: 235}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f0a28a1d520>: OR
+ [java] {BooleanPredicate<0x7f0a28a5e7b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a287d20d0>:{Set(1)<0x7f0a283b1d00>:Members: 232, 236, } 0x7f0a287d20d0 UNASSIGNED }{ElementConst<0x7f0a281a9a20>: 236}
+ [java] }
+ [java] {BooleanPredicate<0x7f0a28a6cdf0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f0a28a7f0c0>:{Set(1)<0x7f0a284bff20>:Members: 232, 236, } 0x7f0a28a7f0c0 UNASSIGNED }{ElementConst<0x7f0a281a9a20>: 236}
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 8 seconds
projects / Benchmarks_CSolver.git / blobdiff