--- /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/xml/24/benchmark24.json
+ [java] Benchmark Id: 24
+ [java] Method name: getParagraphElement
+ [java] Packages: [javax.swing.text]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [javax.swing.text.Document, int]
+ [java] Target type: javax.swing.text.Element
+ [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: 441
+ [java] #Methods: 4076
+ [java] Soot Time: 3280.196217
+ [java] PetriNet for path length: 1 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 2 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 3 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 4 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 5 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Path Solving Time: 33.599361
+ [java] Path Solving Time: 9.76593
+ [java] 1588129860831 Original Encoding Solving Time: 0.566092
+ [java] 1588129860831 Original Encoding Incremental Solving Time: 0.102759
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588129863451 Original Encoding Solving Time: 0.054016
+ [java] 1588129863451 Original Encoding Incremental Solving Time: 0.048312
+ [java] Path Solving Time: 14.939435
+ [java] Path Solving Time: 8.753194
+ [java] Path Solving Time: 23.836222
+ [java] PetriNet for path length: 6 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.024224
+ [java] Path Solving Time: 4.522709
+ [java] 1588129865527 Original Encoding Solving Time: 1.247982
+ [java] 1588129865527 Original Encoding Incremental Solving Time: 0.240665
+ [java] Done with finding holes : Flag = false
+ [java] 1588129865576 Original Encoding Solving Time: 0.062844
+ [java] 1588129865576 Original Encoding Incremental Solving Time: 0.034045
+ [java] Path Solving Time: 23.984532
+ [java] Path Solving Time: 4.093572
+ [java] Path Solving Time: 15.691661
+ [java] Path Solving Time: 42.656023
+ [java] Path Solving Time: 74.28077
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: RTFParser is not public in javax.swing.text.rtf; cannot be accessed from outside package
+ [java] javax.swing.text.Element sypet_var12 = sypet_arg0.getDefaultRootElement();javax.swing.text.rtf.RTFParser sypet_var13 = new javax.swing.text.rtf.RTFParser();sypet_var13.writeSpecial(sypet_arg1);return sypet_var12;}
+ [java] ^
+ [java] /Source.java:3: error: RTFParser is not public in javax.swing.text.rtf; cannot be accessed from outside package
+ [java] javax.swing.text.Element sypet_var12 = sypet_arg0.getDefaultRootElement();javax.swing.text.rtf.RTFParser sypet_var13 = new javax.swing.text.rtf.RTFParser();sypet_var13.writeSpecial(sypet_arg1);return sypet_var12;}
+ [java] ^
+ [java] 2 errors
+ [java] 1588129865765 Original Encoding Solving Time: 1.456764
+ [java] 1588129865765 Original Encoding Incremental Solving Time: 0.101855
+ [java] Path Solving Time: 11.159581
+ [java] Path Solving Time: 12.804354
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 23.820473
+ [java] 1588129865884 Original Encoding Solving Time: 0.487504
+ [java] 1588129865884 Original Encoding Incremental Solving Time: 0.197579
+ [java] Path Solving Time: 8.973501
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 43.649578
+ [java] Path Solving Time: 9.83181
+ [java] 1588129866022 Original Encoding Solving Time: 0.960119
+ [java] 1588129866022 Original Encoding Incremental Solving Time: 0.165082
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: JTextComponent is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var27 = sypet_arg0.getDefaultRootElement();javax.swing.text.JTextComponent sypet_var28 = new javax.swing.text.JTextComponent();sypet_var28.setSelectionStart(sypet_arg1);return sypet_var27;}
+ [java] ^
+ [java] 1 error
+ [java] Path Solving Time: 7.599731
+ [java] Path Solving Time: 9.10701
+ [java] Path Solving Time: 5.617921
+ [java] 1588129866103 Original Encoding Solving Time: 0.379555
+ [java] 1588129866103 Original Encoding Incremental Solving Time: 0.129981
+ [java] Path Solving Time: 8.484081
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 32.212515
+ [java] Path Solving Time: 4.926502
+ [java] 1588129866200 Original Encoding Solving Time: 0.35005
+ [java] 1588129866200 Original Encoding Incremental Solving Time: 0.13292
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: JTextComponent is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var37 = sypet_arg0.getDefaultRootElement();javax.swing.text.JTextComponent sypet_var38 = new javax.swing.text.JTextComponent();sypet_var38.setSelectionEnd(sypet_arg1);return sypet_var37;}
+ [java] ^
+ [java] 1 error
+ [java] Path Solving Time: 7.24169
+ [java] Path Solving Time: 10.536206
+ [java] Path Solving Time: 4.880777
+ [java] 1588129866288 Original Encoding Solving Time: 0.255291
+ [java] 1588129866288 Original Encoding Incremental Solving Time: 0.082293
+ [java] Path Solving Time: 8.68111
+ [java] Path Solving Time: 7.529556
+ [java] Path Solving Time: 5.952255
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588129866359 Original Encoding Solving Time: 1.082223
+ [java] 1588129866359 Original Encoding Incremental Solving Time: 1.249917
+ [java] Path Solving Time: 7.418094
+ [java] Path Solving Time: 6.040585
+ [java] Path Solving Time: 5.775967
+ [java] 1588129866433 Original Encoding Solving Time: 1.393213
+ [java] 1588129866433 Original Encoding Incremental Solving Time: 0.177693
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: JTextComponent is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var52 = sypet_arg0.getDefaultRootElement();javax.swing.text.JTextComponent sypet_var53 = new javax.swing.text.JTextComponent();sypet_var53.moveCaretPosition(sypet_arg1);return sypet_var52;}
+ [java] ^
+ [java] 1 error
+ [java] Path Solving Time: 7.056703
+ [java] Path Solving Time: 6.292507
+ [java] Path Solving Time: 4.608514
+ [java] 1588129866501 Original Encoding Solving Time: 0.688998
+ [java] 1588129866501 Original Encoding Incremental Solving Time: 1.846216
+ [java] Path Solving Time: 7.87978
+ [java] Path Solving Time: 5.601615
+ [java] Path Solving Time: 4.776355
+ [java] Done with finding holes : Flag = true
+ [java] 1588129866594 Original Encoding Solving Time: 0.645551
+ [java] 1588129866594 Original Encoding Incremental Solving Time: 0.110296
+ [java] Path Solving Time: 8.68022
+ [java] Path Solving Time: 6.126585
+ [java] Path Solving Time: 4.721511
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: JTextComponent is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var62 = sypet_arg0.getDefaultRootElement();javax.swing.text.JTextComponent sypet_var63 = new javax.swing.text.JTextComponent();sypet_var63.setCaretPosition(sypet_arg1);return sypet_var62;}
+ [java] ^
+ [java] 1 error
+ [java] 1588129866658 Original Encoding Solving Time: 0.377087
+ [java] 1588129866658 Original Encoding Incremental Solving Time: 0.090136
+ [java] Path Solving Time: 10.973538
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: AbstractFilter is not public in javax.swing.text.rtf; cannot be accessed from outside package
+ [java] javax.swing.text.rtf.AbstractFilter sypet_var67 = new javax.swing.text.rtf.AbstractFilter();sypet_var67.write(sypet_arg1);javax.swing.text.Element sypet_var69 = sypet_arg0.getDefaultRootElement();return sypet_var69;}
+ [java] ^
+ [java] /Source.java:3: error: AbstractFilter is not public in javax.swing.text.rtf; cannot be accessed from outside package
+ [java] javax.swing.text.rtf.AbstractFilter sypet_var67 = new javax.swing.text.rtf.AbstractFilter();sypet_var67.write(sypet_arg1);javax.swing.text.Element sypet_var69 = sypet_arg0.getDefaultRootElement();return sypet_var69;}
+ [java] ^
+ [java] 2 errors
+ [java] Path Solving Time: 57.38007
+ [java] Path Solving Time: 4.961226
+ [java] 1588129866781 Original Encoding Solving Time: 0.38566
+ [java] 1588129866781 Original Encoding Incremental Solving Time: 0.137126
+ [java] Path Solving Time: 11.078878
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 72.051718
+ [java] 1588129866905 Original Encoding Solving Time: 0.275613
+ [java] 1588129866905 Original Encoding Incremental Solving Time: 0.094554
+ [java] 1588129866926 Original Encoding Solving Time: 0.033644
+ [java] 1588129866926 Original Encoding Incremental Solving Time: 0.016883
+ [java] Path Solving Time: 50.921945
+ [java] PetriNet for path length: 7 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Path Solving Time: 12.047281
+ [java] Path Solving Time: 3.593897
+ [java] 1588129869166 Original Encoding Solving Time: 0.322233
+ [java] 1588129869166 Original Encoding Incremental Solving Time: 0.122592
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588129869373 Original Encoding Solving Time: 0.026529
+ [java] 1588129869373 Original Encoding Incremental Solving Time: 0.008157
+ [java] Path Solving Time: 6.546936
+ [java] Path Solving Time: 2.831314
+ [java] 1588129869410 Original Encoding Solving Time: 0.389172
+ [java] 1588129869410 Original Encoding Incremental Solving Time: 0.084618
+ [java] 1588129869430 Original Encoding Solving Time: 0.027068
+ [java] 1588129869430 Original Encoding Incremental Solving Time: 0.007898
+ [java] Path Solving Time: 10.211406
+ [java] Path Solving Time: 3.021116
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588129869483 Original Encoding Solving Time: 0.500292
+ [java] 1588129869483 Original Encoding Incremental Solving Time: 0.149514
+ [java] 1588129869509 Original Encoding Solving Time: 0.033987
+ [java] 1588129869509 Original Encoding Incremental Solving Time: 0.008901
+ [java] Path Solving Time: 8.378307
+ [java] Path Solving Time: 3.015928
+ [java] 1588129869557 Original Encoding Solving Time: 1.301001
+ [java] 1588129869557 Original Encoding Incremental Solving Time: 0.145372
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588129869584 Original Encoding Solving Time: 0.041586
+ [java] 1588129869584 Original Encoding Incremental Solving Time: 0.011226
+ [java] Path Solving Time: 8.43007
+ [java] Path Solving Time: 3.127269
+ [java] 1588129869638 Original Encoding Solving Time: 0.362684
+ [java] 1588129869638 Original Encoding Incremental Solving Time: 0.128052
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588129869659 Original Encoding Solving Time: 0.028654
+ [java] 1588129869659 Original Encoding Incremental Solving Time: 0.014539
+ [java] Path Solving Time: 10.626361
+ [java] Path Solving Time: 3.131869
+ [java] 1588129869711 Original Encoding Solving Time: 0.29348
+ [java] 1588129869711 Original Encoding Incremental Solving Time: 0.290266
+ [java] 1588129869732 Original Encoding Solving Time: 0.035729
+ [java] 1588129869732 Original Encoding Incremental Solving Time: 0.012351
+ [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: 8.626672
+ [java] Path Solving Time: 2.862955
+ [java] 1588129869792 Original Encoding Solving Time: 0.362359
+ [java] 1588129869792 Original Encoding Incremental Solving Time: 0.159814
+ [java] 1588129869813 Original Encoding Solving Time: 0.03155
+ [java] 1588129869813 Original Encoding Incremental Solving Time: 0.00873
+ [java] Path Solving Time: 9.616363
+ [java] Path Solving Time: 2.852651
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588129869869 Original Encoding Solving Time: 0.244818
+ [java] 1588129869869 Original Encoding Incremental Solving Time: 0.195353
+ [java] 1588129869889 Original Encoding Solving Time: 0.02835
+ [java] 1588129869889 Original Encoding Incremental Solving Time: 0.008402
+ [java] Path Solving Time: 15.256123
+ [java] Path Solving Time: 14.129376
+ [java] Path Solving Time: 2.795835
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588129869961 Original Encoding Solving Time: 0.332061
+ [java] 1588129869961 Original Encoding Incremental Solving Time: 0.162312
+ [java] 1588129869985 Original Encoding Solving Time: 0.037363
+ [java] 1588129869985 Original Encoding Incremental Solving Time: 0.014302
+ [java] Path Solving Time: 52.055596
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 17.985248
+ [java] Path Solving Time: 25.490941
+ [java] Path Solving Time: 2.905351
+ [java] 1588129870119 Original Encoding Solving Time: 0.412183
+ [java] 1588129870119 Original Encoding Incremental Solving Time: 0.161243
+ [java] 1588129870145 Original Encoding Solving Time: 0.113144
+ [java] 1588129870145 Original Encoding Incremental Solving Time: 0.021746
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: SelectorMapping is not public in StyleSheet; cannot be accessed from outside package
+ [java] javax.swing.text.html.StyleSheet.SelectorMapping sypet_var136 = new javax.swing.text.html.StyleSheet.SelectorMapping(sypet_arg1);int sypet_var137 = sypet_var136.getSpecificity();javax.swing.text.Element sypet_var138 = sypet_arg0.getDefaultRootElement();javax.swing.text.Element sypet_var139 = sypet_var138.getElement(sypet_var137);return sypet_var139;}
+ [java] ^
+ [java] /Source.java:3: error: SelectorMapping is not public in StyleSheet; cannot be accessed from outside package
+ [java] javax.swing.text.html.StyleSheet.SelectorMapping sypet_var136 = new javax.swing.text.html.StyleSheet.SelectorMapping(sypet_arg1);int sypet_var137 = sypet_var136.getSpecificity();javax.swing.text.Element sypet_var138 = sypet_arg0.getDefaultRootElement();javax.swing.text.Element sypet_var139 = sypet_var138.getElement(sypet_var137);return sypet_var139;}
+ [java] ^
+ [java] 2 errors
+ [java] Path Solving Time: 18.823141
+ [java] Path Solving Time: 12.356532
+ [java] Path Solving Time: 2.862224
+ [java] 1588129870220 Original Encoding Solving Time: 0.243748
+ [java] 1588129870220 Original Encoding Incremental Solving Time: 0.101126
+ [java] 1588129870240 Original Encoding Solving Time: 0.034824
+ [java] 1588129870240 Original Encoding Incremental Solving Time: 0.023076
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: View is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var142 = sypet_arg0.getDefaultRootElement();javax.swing.text.Element sypet_var143 = sypet_var142.getElement(sypet_arg1);javax.swing.text.View sypet_var144 = new javax.swing.text.View(sypet_var143);javax.swing.text.Element sypet_var145 = sypet_var144.getElement();return sypet_var145;}
+ [java] ^
+ [java] 1 error
+ [java] Path Solving Time: 23.747431
+ [java] Path Solving Time: 20.0723
+ [java] Path Solving Time: 2.880205
+ [java] 1588129870324 Original Encoding Solving Time: 0.224609
+ [java] 1588129870324 Original Encoding Incremental Solving Time: 0.10861
+ [java] 1588129870339 Original Encoding Solving Time: 0.022818
+ [java] 1588129870339 Original Encoding Incremental Solving Time: 0.008263
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 34.462655
+ [java] Path Solving Time: 13.255249
+ [java] Path Solving Time: 18.412269
+ [java] Path Solving Time: 3.000118
+ [java] 1588129870451 Original Encoding Solving Time: 0.452629
+ [java] 1588129870451 Original Encoding Incremental Solving Time: 0.153574
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: CompositeView is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var148 = sypet_arg0.getDefaultRootElement();javax.swing.text.CompositeView sypet_var149 = new javax.swing.text.CompositeView(sypet_var148);javax.swing.text.View sypet_var150 = sypet_var149.getView(sypet_arg1);javax.swing.text.Element sypet_var151 = sypet_var150.getElement();return sypet_var151;}
+ [java] ^
+ [java] 1 error
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588129870470 Original Encoding Solving Time: 0.018501
+ [java] 1588129870470 Original Encoding Incremental Solving Time: 0.00631
+ [java] Path Solving Time: 17.651858
+ [java] Path Solving Time: 12.003581
+ [java] Path Solving Time: 2.867695
+ [java] 1588129870543 Original Encoding Solving Time: 0.350343
+ [java] 1588129870543 Original Encoding Incremental Solving Time: 0.096495
+ [java] 1588129870560 Original Encoding Solving Time: 0.034982
+ [java] 1588129870560 Original Encoding Incremental Solving Time: 0.012578
+ [java] /Source.java:3: error: View is abstract; cannot be instantiated
+ [java] javax.swing.text.Element sypet_var154 = sypet_arg0.getDefaultRootElement();javax.swing.text.View sypet_var155 = new javax.swing.text.View(sypet_var154);javax.swing.text.View sypet_var156 = sypet_var155.getView(sypet_arg1);javax.swing.text.Element sypet_var157 = sypet_var156.getElement();return sypet_var157;}
+ [java] ^
+ [java] 1 error
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 21.777886
+ [java] Path Solving Time: 16.860913
+ [java] Path Solving Time: 20.944731
+ [java] Done with finding holes : Flag = true
+ [java] 1588129870666 Original Encoding Solving Time: 0.226866
+ [java] 1588129870666 Original Encoding Incremental Solving Time: 0.10621
+ [java] Path Solving Time: 27.798325
+ [java] Path Solving Time: 14.198832
+ [java] Path Solving Time: 7.789374
+ [java] Done with finding holes : Flag = true
+ [java] 1588129870768 Original Encoding Solving Time: 0.333051
+ [java] 1588129870768 Original Encoding Incremental Solving Time: 0.120013
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 24
+ [java] Sketch Generation Time: 1347.8903679999996
+ [java] Sketch Completion Time: 1221.1956700000003
+ [java] Compilation Time: 950.0659469999998
+ [java] Running Test cases Time: 2400.1892510000007
+ [java] Synthesis Time: 4969.275289000001
+ [java] Total Time: 5919.341236000001
+ [java] Number of components: 4
+ [java] Number of holes: 6
+ [java] Number of completed programs: 61
+ [java] Number of sketches: 31
+ [java] Solution:
+ [java] javax.swing.text.Element sypet_var166 = sypet_arg0.getDefaultRootElement();
+ [java] int sypet_var167 = sypet_var166.getElementIndex(sypet_arg1);
+ [java] javax.swing.text.Element sypet_var168 = sypet_var166.getElement(sypet_var167);
+ [java] return sypet_var168;
+ [java]
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 18 seconds
projects / Benchmarks_CSolver.git / blobdiff