sypet-non-incremental/output3-server/geometry/benchmark12.log

   1 Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
   2
   3 sypet:
   4      [java] ----------Options
   5      [java] Verbose: false
   6      [java] Timeout: 600000
   7      [java] Round Robin: true
   8      [java] Round Robin Iterations: 100
   9      [java] Round Robin Range: 2
  10      [java] Solver limit: 5
  11      [java] ----------benchmarks/geometry/12/benchmark12.json
  12      [java] Benchmark Id: 12
  13      [java] Method name: rotateQuadrant
  14      [java] Packages: [java.awt.geom]
  15      [java] Libraries: [./lib/rt7.jar]
  16      [java] Source type(s): [java.awt.geom.Rectangle2D, int]
  17      [java] Target type: java.awt.geom.Rectangle2D
  18      [java] --------------------------------------------------------
  19      [java] Warning: javax.crypto.spec.DESKeySpec is a phantom class!
  20      [java] Warning: javax.crypto.spec.DESedeKeySpec is a phantom class!
  21      [java] Warning: javax.crypto.Cipher is a phantom class!
  22      [java] Warning: javax.crypto.spec.SecretKeySpec is a phantom class!
  23      [java] Warning: javax.crypto.SecretKeyFactory is a phantom class!
  24      [java] Warning: javax.crypto.spec.IvParameterSpec is a phantom class!
  25      [java] Warning: javax.crypto.SecretKey is a phantom class!
  26      [java] Warning: javax.crypto.spec.PBEKeySpec is a phantom class!
  27      [java] Warning: javax.crypto.Mac is a phantom class!
  28      [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
  29      [java] Warning: javax.crypto.BadPaddingException is a phantom class!
  30      [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
  31      [java] Warning: sun.security.ssl.Krb5Helper is a phantom class!
  32      [java] Warning: com.oracle.jrockit.jfr.FlightRecorder is a phantom class!
  33      [java] Warning: sun.security.ssl.SSLSocketImpl is a phantom class!
  34      [java] Warning: javax.crypto.CipherInputStream is a phantom class!
  35      [java] Warning: javax.crypto.CipherOutputStream is a phantom class!
  36      [java] Warning: sun.nio.cs.ext.EUC_TW$Decoder is a phantom class!
  37      [java] Warning: sun.nio.cs.ext.EUC_TW$Encoder is a phantom class!
  38      [java] Warning: sun.nio.cs.ext.DoubleByteEncoder is a phantom class!
  39      [java] Warning: sun.nio.cs.ext.JIS_X_0201$Encoder is a phantom class!
  40      [java] Warning: sun.nio.cs.ext.JIS_X_0201$Decoder is a phantom class!
  41      [java] Warning: sun.nio.cs.ext.JIS_X_0208_Encoder is a phantom class!
  42      [java] Warning: sun.nio.cs.ext.JIS_X_0208_Decoder is a phantom class!
  43      [java] Warning: sun.nio.cs.ext.JIS_X_0212_Encoder is a phantom class!
  44      [java] Warning: sun.nio.cs.ext.JIS_X_0212_Decoder is a phantom class!
  45      [java] Warning: javax.crypto.spec.PBEParameterSpec is a phantom class!
  46      [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
  47      [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
  48      [java] Warning: javax.crypto.interfaces.DHKey is a phantom class!
  49      [java] Warning: javax.crypto.interfaces.DHPublicKey is a phantom class!
  50      [java] Warning: javax.crypto.spec.OAEPParameterSpec is a phantom class!
  51      [java] Warning: javax.crypto.spec.PSource is a phantom class!
  52      [java] Warning: javax.crypto.spec.PSource$PSpecified is a phantom class!
  53      [java] Warning: javax.crypto.KeyGenerator is a phantom class!
  54      [java] #Classes: 50
  55      [java] #Methods: 751
  56      [java] Soot Time: 3302.672317
  57      [java] PetriNet for path length: 1 [places: 64 ; transitions: 537 ; edges: 1238]
  58      [java] PetriNet for path length: 2 [places: 64 ; transitions: 537 ; edges: 1238]
  59      [java] PetriNet for path length: 3 [places: 64 ; transitions: 537 ; edges: 1238]
  60      [java] PetriNet for path length: 4 [places: 64 ; transitions: 537 ; edges: 1238]
  61      [java] PetriNet for path length: 5 [places: 64 ; transitions: 537 ; edges: 1238]
  62      [java] Path Solving Time: 15.494013
  63      [java] Path Solving Time: 10.15667
  64      [java] Path Solving Time: 5.795223
  65      [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
  66      [java] Done with finding holes : Flag = true
  67      [java] Path Solving Time: 11.226274
  68      [java] Path Solving Time: 1.328307
  69      [java] 1588127931523 Original Encoding Solving Time: 1.099005
  70      [java] 1588127931523 Original Encoding Incremental Solving Time: 0.283284
  71      [java] Done with finding holes : Flag = true
  72      [java] Done with finding holes : Flag = false
  73      [java] Done with finding holes : Flag = true
  74      [java] 1588127931796 Original Encoding Solving Time: 0.342289
  75      [java] 1588127931796 Original Encoding Incremental Solving Time: 0.046398
  76      [java] 1588127931814 Original Encoding Solving Time: 0.208563
  77      [java] 1588127931814 Original Encoding Incremental Solving Time: 0.039293
  78      [java] Path Solving Time: 5.375891
  79      [java] Path Solving Time: 1.571645
  80      [java] 1588127931837 Original Encoding Solving Time: 0.562476
  81      [java] 1588127931837 Original Encoding Incremental Solving Time: 0.215023
  82      [java] 1588127931863 Original Encoding Solving Time: 0.218389
  83      [java] 1588127931863 Original Encoding Incremental Solving Time: 0.071631
  84      [java] Done with finding holes : Flag = true
  85      [java] Done with finding holes : Flag = false
  86      [java] Done with finding holes : Flag = true
  87      [java] Done with finding holes : Flag = true
  88      [java] Done with finding holes : Flag = false
  89      [java] 1588127931880 Original Encoding Solving Time: 0.24469
  90      [java] 1588127931880 Original Encoding Incremental Solving Time: 0.03499
  91      [java] Path Solving Time: 4.909433
  92      [java] Path Solving Time: 1.393705
  93      [java] 1588127931903 Original Encoding Solving Time: 0.472825
  94      [java] 1588127931903 Original Encoding Incremental Solving Time: 0.200117
  95      [java] 1588127931927 Original Encoding Solving Time: 0.374875
  96      [java] 1588127931927 Original Encoding Incremental Solving Time: 0.070231
  97      [java] 1588127931942 Original Encoding Solving Time: 0.212879
  98      [java] 1588127931942 Original Encoding Incremental Solving Time: 0.027051
  99      [java] Path Solving Time: 4.755101
 100      [java] Path Solving Time: 1.428656
 101      [java] 1588127931965 Original Encoding Solving Time: 1.063081
 102      [java] 1588127931965 Original Encoding Incremental Solving Time: 0.396985
 103      [java] Done with finding holes : Flag = true
 104      [java] Done with finding holes : Flag = true
 105      [java] Done with finding holes : Flag = false
 106      [java] Done with finding holes : Flag = true
 107      [java] 1588127931994 Original Encoding Solving Time: 0.408511
 108      [java] 1588127931994 Original Encoding Incremental Solving Time: 0.092225
 109      [java] 1588127932015 Original Encoding Solving Time: 0.30485
 110      [java] 1588127932015 Original Encoding Incremental Solving Time: 0.034359
 111      [java] Path Solving Time: 12.776939
 112      [java] Path Solving Time: 3.689565
 113      [java] 1588127932048 Original Encoding Solving Time: 0.609853
 114      [java] 1588127932048 Original Encoding Incremental Solving Time: 0.263436
 115      [java] Done with finding holes : Flag = false
 116      [java] Done with finding holes : Flag = true
 117      [java] Done with finding holes : Flag = false
 118      [java] 1588127932078 Original Encoding Solving Time: 0.037348
 119      [java] 1588127932078 Original Encoding Incremental Solving Time: 0.02177
 120      [java] Path Solving Time: 10.626707
 121      [java] Path Solving Time: 1.858047
 122      [java] 1588127932107 Original Encoding Solving Time: 0.892823
 123      [java] 1588127932107 Original Encoding Incremental Solving Time: 0.110941
 124      [java] 1588127932127 Original Encoding Solving Time: 0.031723
 125      [java] 1588127932127 Original Encoding Incremental Solving Time: 0.017101
 126      [java] Path Solving Time: 12.021392
 127      [java] Path Solving Time: 0.94396
 128      [java] Path Solving Time: 0.620185
 129      [java] Path Solving Time: 9.217915
 130      [java] Done with finding holes : Flag = true
 131      [java] Done with finding holes : Flag = false
 132      [java] Path Solving Time: 36.465838
 133      [java] 1588127932205 Original Encoding Solving Time: 0.536652
 134      [java] 1588127932205 Original Encoding Incremental Solving Time: 0.659529
 135      [java] 1588127932225 Original Encoding Solving Time: 0.0298
 136      [java] 1588127932225 Original Encoding Incremental Solving Time: 0.0181
 137      [java] Path Solving Time: 15.779181
 138      [java] Path Solving Time: 7.194315
 139      [java] 1588127932267 Original Encoding Solving Time: 0.348458
 140      [java] 1588127932267 Original Encoding Incremental Solving Time: 0.163229
 141      [java] Done with finding holes : Flag = true
 142      [java] Done with finding holes : Flag = false
 143      [java] 1588127932286 Original Encoding Solving Time: 0.02978
 144      [java] 1588127932286 Original Encoding Incremental Solving Time: 0.016961
 145      [java] Path Solving Time: 24.325923
 146      [java] PetriNet for path length: 7 [places: 64 ; transitions: 537 ; edges: 1238]
 147      [java] Path Solving Time: 4.131484
 148      [java] Path Solving Time: 0.690348
 149      [java] 1588127933677 Original Encoding Solving Time: 0.385182
 150      [java] 1588127933677 Original Encoding Incremental Solving Time: 0.118204
 151      [java] Done with finding holes : Flag = true
 152      [java] =========Statistics (time in milliseconds)=========
 153      [java] Benchmark Id: 12
 154      [java] Sketch Generation Time: 214.748627
 155      [java] Sketch Completion Time: 188.91116699999998
 156      [java] Compilation Time: 501.831301
 157      [java] Running Test cases Time: 3.926987
 158      [java] Synthesis Time: 407.586781
 159      [java] Total Time: 909.4180819999999
 160      [java] Number of components: 4
 161      [java] Number of holes: 6
 162      [java] Number of completed programs: 21
 163      [java] Number of sketches: 9
 164      [java] Solution:
 165      [java]  java.awt.Shape sypet_var43 = sypet_arg0;
 166      [java]  java.awt.geom.AffineTransform sypet_var44 = java.awt.geom.AffineTransform.getQuadrantRotateInstance(sypet_arg1);
 167      [java]  java.awt.geom.Path2D.Double sypet_var45 = new java.awt.geom.Path2D.Double(sypet_var43,sypet_var44);
 168      [java]  java.awt.geom.Rectangle2D sypet_var46 = sypet_var45.getBounds2D();
 169      [java]  return sypet_var46;
 170      [java]
 171      [java] ============================
 172
 173 BUILD SUCCESSFUL
 174 Total time: 6 seconds