--- /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/12/benchmark12.json
+ [java] Benchmark Id: 12
+ [java] Method name: rotateQuadrant
+ [java] Packages: [java.awt.geom]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.awt.geom.Rectangle2D, int]
+ [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: 3173.778776
+ [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: 16.296163
+ [java] Path Solving Time: 10.689953
+ [java] Path Solving Time: 6.27732
+ [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Path Solving Time: 15.197872
+ [java] Path Solving Time: 1.734056
+ [java] Done with finding holes : Flag = true
+ [java] 1588133865326 Original Encoding Solving Time: 0.598609
+ [java] 1588133865326 Original Encoding Incremental Solving Time: 0.203151
+ [java] Done with finding holes : Flag = true
+ [java] 1588133865598 Original Encoding Solving Time: 0.321421
+ [java] 1588133865598 Original Encoding Incremental Solving Time: 0.055569
+ [java] 1588133865615 Original Encoding Solving Time: 0.243147
+ [java] 1588133865615 Original Encoding Incremental Solving Time: 0.047481
+ [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: 6.013977
+ [java] Path Solving Time: 1.943872
+ [java] 1588133865640 Original Encoding Solving Time: 0.896899
+ [java] 1588133865640 Original Encoding Incremental Solving Time: 0.272164
+ [java] 1588133865668 Original Encoding Solving Time: 0.222963
+ [java] 1588133865668 Original Encoding Incremental Solving Time: 0.074814
+ [java] 1588133865685 Original Encoding Solving Time: 0.252841
+ [java] 1588133865685 Original Encoding Incremental Solving Time: 0.034798
+ [java] Path Solving Time: 5.644414
+ [java] Path Solving Time: 1.720062
+ [java] 1588133865710 Original Encoding Solving Time: 0.857611
+ [java] 1588133865710 Original Encoding Incremental Solving Time: 0.898405
+ [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] 1588133865742 Original Encoding Solving Time: 0.526646
+ [java] 1588133865742 Original Encoding Incremental Solving Time: 0.065812
+ [java] 1588133865756 Original Encoding Solving Time: 0.263785
+ [java] 1588133865756 Original Encoding Incremental Solving Time: 0.023821
+ [java] Path Solving Time: 5.068335
+ [java] Path Solving Time: 1.522217
+ [java] 1588133865779 Original Encoding Solving Time: 0.658571
+ [java] 1588133865779 Original Encoding Incremental Solving Time: 0.225312
+ [java] 1588133865805 Original Encoding Solving Time: 0.364958
+ [java] 1588133865805 Original Encoding Incremental Solving Time: 0.069404
+ [java] 1588133865819 Original Encoding Solving Time: 0.240247
+ [java] 1588133865819 Original Encoding Incremental Solving Time: 0.034025
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 10.800916
+ [java] Path Solving Time: 3.600292
+ [java] 1588133865850 Original Encoding Solving Time: 0.478744
+ [java] 1588133865850 Original Encoding Incremental Solving Time: 0.601891
+ [java] 1588133865877 Original Encoding Solving Time: 0.034081
+ [java] 1588133865877 Original Encoding Incremental Solving Time: 0.021798
+ [java] Path Solving Time: 14.042444
+ [java] Path Solving Time: 2.067255
+ [java] 1588133865911 Original Encoding Solving Time: 1.363661
+ [java] 1588133865911 Original Encoding Incremental Solving Time: 0.189449
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133865935 Original Encoding Solving Time: 0.032874
+ [java] 1588133865935 Original Encoding Incremental Solving Time: 0.020758
+ [java] Path Solving Time: 12.999511
+ [java] Path Solving Time: 1.094769
+ [java] Path Solving Time: 0.984635
+ [java] Path Solving Time: 12.354232
+ [java] Path Solving Time: 42.003351
+ [java] 1588133866023 Original Encoding Solving Time: 0.505167
+ [java] 1588133866023 Original Encoding Incremental Solving Time: 0.178771
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133866047 Original Encoding Solving Time: 0.032304
+ [java] 1588133866047 Original Encoding Incremental Solving Time: 0.021149
+ [java] Path Solving Time: 18.517013
+ [java] Path Solving Time: 8.373531
+ [java] 1588133866093 Original Encoding Solving Time: 0.481536
+ [java] 1588133866093 Original Encoding Incremental Solving Time: 0.173244
+ [java] 1588133866115 Original Encoding Solving Time: 0.030875
+ [java] 1588133866115 Original Encoding Incremental Solving Time: 0.01778
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 27.26928
+ [java] PetriNet for path length: 7 [places: 64 ; transitions: 537 ; edges: 1238]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.591699
+ [java] Path Solving Time: 0.826788
+ [java] 1588133866607 Original Encoding Solving Time: 0.516372
+ [java] 1588133866607 Original Encoding Incremental Solving Time: 0.205416
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 12
+ [java] Sketch Generation Time: 243.466754
+ [java] Sketch Completion Time: 197.361405
+ [java] Compilation Time: 509.14398700000015
+ [java] Running Test cases Time: 3.793193
+ [java] Synthesis Time: 444.621352
+ [java] Total Time: 953.7653390000002
+ [java] Number of components: 4
+ [java] Number of holes: 6
+ [java] Number of completed programs: 21
+ [java] Number of sketches: 9
+ [java] Solution:
+ [java] java.awt.Shape sypet_var43 = sypet_arg0;
+ [java] java.awt.geom.AffineTransform sypet_var44 = java.awt.geom.AffineTransform.getQuadrantRotateInstance(sypet_arg1);
+ [java] java.awt.geom.Path2D.Double sypet_var45 = new java.awt.geom.Path2D.Double(sypet_var43,sypet_var44);
+ [java] java.awt.geom.Rectangle2D sypet_var46 = sypet_var45.getBounds2D();
+ [java] return sypet_var46;
+ [java]
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 5 seconds
projects / Benchmarks_CSolver.git / blobdiff