--- /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/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: 3479.333366
+ [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: 32.213014
+ [java] Path Solving Time: 8.979791
+ [java] 1588114706824 Original Encoding Solving Time: 0.648974
+ [java] 1588114706824 Original Encoding Incremental Solving Time: 0.169537
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588114709447 Original Encoding Solving Time: 0.057012
+ [java] 1588114709447 Original Encoding Incremental Solving Time: 0.030011
+ [java] Path Solving Time: 16.675164
+ [java] Path Solving Time: 8.719363
+ [java] Path Solving Time: 25.959414
+ [java] PetriNet for path length: 6 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Path Solving Time: 19.470192
+ [java] Path Solving Time: 4.000111
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114711642 Original Encoding Solving Time: 0.908357
+ [java] 1588114711642 Original Encoding Incremental Solving Time: 0.197404
+ [java] 1588114711684 Original Encoding Solving Time: 0.056711
+ [java] 1588114711684 Original Encoding Incremental Solving Time: 0.027201
+ [java] Path Solving Time: 25.691938
+ [java] Path Solving Time: 4.131618
+ [java] Path Solving Time: 16.809088
+ [java] Path Solving Time: 40.727776
+ [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] Path Solving Time: 80.2638
+ [java] 1588114711892 Original Encoding Solving Time: 1.127194
+ [java] 1588114711892 Original Encoding Incremental Solving Time: 0.13691
+ [java] 2 errors
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 11.028717
+ [java] Path Solving Time: 16.677965
+ [java] Path Solving Time: 29.876175
+ [java] 1588114712026 Original Encoding Solving Time: 0.573821
+ [java] 1588114712026 Original Encoding Incremental Solving Time: 0.174889
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 9.58561
+ [java] Path Solving Time: 45.774408
+ [java] Path Solving Time: 10.282328
+ [java] Done with finding holes : Flag = true
+ [java] 1588114712173 Original Encoding Solving Time: 1.383675
+ [java] 1588114712173 Original Encoding Incremental Solving Time: 0.508829
+ [java] Path Solving Time: 10.74081
+ [java] Let's read clauses ...
+ [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: 10.661205
+ [java] Path Solving Time: 7.181664
+ [java] 1588114712281 Original Encoding Solving Time: 0.400162
+ [java] 1588114712281 Original Encoding Incremental Solving Time: 0.257033
+ [java] Path Solving Time: 13.02064
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 39.39119
+ [java] Path Solving Time: 5.494607
+ [java] 1588114712403 Original Encoding Solving Time: 0.338491
+ [java] 1588114712403 Original Encoding Incremental Solving Time: 0.168032
+ [java] Let's read clauses ...
+ [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: 8.246033
+ [java] Path Solving Time: 11.38546
+ [java] Path Solving Time: 4.992384
+ [java] 1588114712497 Original Encoding Solving Time: 0.237684
+ [java] 1588114712497 Original Encoding Incremental Solving Time: 0.078363
+ [java] Path Solving Time: 9.770821
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.51044
+ [java] Path Solving Time: 9.460009
+ [java] 1588114712587 Original Encoding Solving Time: 0.482006
+ [java] 1588114712587 Original Encoding Incremental Solving Time: 0.406757
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 10.439378
+ [java] Path Solving Time: 6.921513
+ [java] Path Solving Time: 5.942388
+ [java] 1588114712686 Original Encoding Solving Time: 0.488927
+ [java] 1588114712686 Original Encoding Incremental Solving Time: 0.141025
+ [java] Path Solving Time: 8.852783
+ [java] Path Solving Time: 7.355587
+ [java] Path Solving Time: 5.067059
+ [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] Let's read clauses ...
+ [java] 1588114712770 Original Encoding Solving Time: 0.688906
+ [java] 1588114712770 Original Encoding Incremental Solving Time: 0.340839
+ [java] Path Solving Time: 9.801706
+ [java] Path Solving Time: 6.434485
+ [java] Path Solving Time: 5.09758
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114712868 Original Encoding Solving Time: 0.394204
+ [java] 1588114712868 Original Encoding Incremental Solving Time: 0.079163
+ [java] Path Solving Time: 7.985528
+ [java] Path Solving Time: 6.465744
+ [java] Path Solving Time: 5.084293
+ [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] Let's read clauses ...
+ [java] 1588114712948 Original Encoding Solving Time: 0.291699
+ [java] 1588114712948 Original Encoding Incremental Solving Time: 0.075364
+ [java] Path Solving Time: 11.124518
+ [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] Let's read clauses ...
+ [java] Path Solving Time: 62.601321
+ [java] Path Solving Time: 5.299648
+ [java] 1588114713080 Original Encoding Solving Time: 0.335471
+ [java] 1588114713080 Original Encoding Incremental Solving Time: 0.13291
+ [java] Path Solving Time: 10.278035
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 82.828881
+ [java] 1588114713226 Original Encoding Solving Time: 0.339566
+ [java] 1588114713226 Original Encoding Incremental Solving Time: 0.100354
+ [java] Done with finding holes : Flag = false
+ [java] 1588114713250 Original Encoding Solving Time: 0.037742
+ [java] 1588114713250 Original Encoding Incremental Solving Time: 0.017024
+ [java] Path Solving Time: 42.977866
+ [java] PetriNet for path length: 7 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 12.965466
+ [java] Path Solving Time: 2.824379
+ [java] 1588114715891 Original Encoding Solving Time: 0.284502
+ [java] 1588114715891 Original Encoding Incremental Solving Time: 0.115118
+ [java] 1588114715914 Original Encoding Solving Time: 0.025742
+ [java] 1588114715914 Original Encoding Incremental Solving Time: 0.009026
+ [java] Path Solving Time: 9.880664
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 3.028072
+ [java] 1588114715986 Original Encoding Solving Time: 0.408286
+ [java] 1588114715986 Original Encoding Incremental Solving Time: 0.087184
+ [java] 1588114716008 Original Encoding Solving Time: 0.02612
+ [java] 1588114716008 Original Encoding Incremental Solving Time: 0.008146
+ [java] Path Solving Time: 8.962257
+ [java] Path Solving Time: 2.884475
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716081 Original Encoding Solving Time: 0.35456
+ [java] 1588114716081 Original Encoding Incremental Solving Time: 0.096286
+ [java] 1588114716105 Original Encoding Solving Time: 0.030987
+ [java] 1588114716105 Original Encoding Incremental Solving Time: 0.010219
+ [java] Path Solving Time: 8.923169
+ [java] Path Solving Time: 2.969079
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716181 Original Encoding Solving Time: 0.941536
+ [java] 1588114716181 Original Encoding Incremental Solving Time: 0.088822
+ [java] 1588114716205 Original Encoding Solving Time: 0.041856
+ [java] 1588114716205 Original Encoding Incremental Solving Time: 0.009177
+ [java] Path Solving Time: 8.78119
+ [java] Path Solving Time: 3.187502
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716279 Original Encoding Solving Time: 0.310767
+ [java] 1588114716279 Original Encoding Incremental Solving Time: 0.09428
+ [java] 1588114716301 Original Encoding Solving Time: 0.028921
+ [java] 1588114716301 Original Encoding Incremental Solving Time: 0.014071
+ [java] Path Solving Time: 11.638644
+ [java] Path Solving Time: 3.129355
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716376 Original Encoding Solving Time: 0.307705
+ [java] 1588114716376 Original Encoding Incremental Solving Time: 0.147303
+ [java] 1588114716403 Original Encoding Solving Time: 0.039802
+ [java] 1588114716403 Original Encoding Incremental Solving Time: 0.025064
+ [java] Path Solving Time: 9.400621
+ [java] Path Solving Time: 3.172693
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716472 Original Encoding Solving Time: 0.358642
+ [java] 1588114716472 Original Encoding Incremental Solving Time: 0.114788
+ [java] 1588114716495 Original Encoding Solving Time: 0.039832
+ [java] 1588114716495 Original Encoding Incremental Solving Time: 0.01503
+ [java] Path Solving Time: 9.318227
+ [java] Path Solving Time: 3.083412
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716573 Original Encoding Solving Time: 0.465082
+ [java] 1588114716573 Original Encoding Incremental Solving Time: 0.165522
+ [java] 1588114716595 Original Encoding Solving Time: 0.027377
+ [java] 1588114716595 Original Encoding Incremental Solving Time: 0.013092
+ [java] Path Solving Time: 14.472218
+ [java] Path Solving Time: 15.631082
+ [java] Path Solving Time: 3.011649
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716688 Original Encoding Solving Time: 0.263577
+ [java] 1588114716688 Original Encoding Incremental Solving Time: 0.074971
+ [java] 1588114716714 Original Encoding Solving Time: 0.036406
+ [java] 1588114716714 Original Encoding Incremental Solving Time: 0.035989
+ [java] Path Solving Time: 57.984364
+ [java] Path Solving Time: 19.847347
+ [java] Path Solving Time: 28.98283
+ [java] Path Solving Time: 3.445723
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114716884 Original Encoding Solving Time: 0.391478
+ [java] 1588114716884 Original Encoding Incremental Solving Time: 0.103765
+ [java] 1588114716913 Original Encoding Solving Time: 0.077703
+ [java] 1588114716913 Original Encoding Incremental Solving Time: 0.017235
+ [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: 20.623827
+ [java] Path Solving Time: 13.768579
+ [java] Path Solving Time: 3.000995
+ [java] 1588114717010 Original Encoding Solving Time: 0.262385
+ [java] 1588114717010 Original Encoding Incremental Solving Time: 0.077079
+ [java] 1588114717028 Original Encoding Solving Time: 0.042857
+ [java] 1588114717028 Original Encoding Incremental Solving Time: 0.013717
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.912601
+ [java] Path Solving Time: 19.231395
+ [java] Path Solving Time: 3.01997
+ [java] 1588114717133 Original Encoding Solving Time: 0.243604
+ [java] 1588114717133 Original Encoding Incremental Solving Time: 0.083544
+ [java] 1588114717150 Original Encoding Solving Time: 0.024237
+ [java] 1588114717150 Original Encoding Incremental Solving Time: 0.008477
+ [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] Done with finding holes : Flag = false
+ [java] Path Solving Time: 35.05758
+ [java] Path Solving Time: 14.8296
+ [java] Path Solving Time: 20.822232
+ [java] Path Solving Time: 3.221672
+ [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] 1588114717291 Original Encoding Solving Time: 0.359862
+ [java] 1588114717291 Original Encoding Incremental Solving Time: 0.100948
+ [java] 1588114717309 Original Encoding Solving Time: 0.017357
+ [java] 1588114717309 Original Encoding Incremental Solving Time: 0.006008
+ [java] Path Solving Time: 17.118769
+ [java] Done with finding holes : Flag = true
+ [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] Path Solving Time: 11.095929
+ [java] Path Solving Time: 2.977168
+ [java] 1588114717405 Original Encoding Solving Time: 0.262739
+ [java] 1588114717405 Original Encoding Incremental Solving Time: 0.08051
+ [java] 1588114717421 Original Encoding Solving Time: 0.027872
+ [java] 1588114717421 Original Encoding Incremental Solving Time: 0.009337
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 19.94274
+ [java] Path Solving Time: 16.528763
+ [java] Path Solving Time: 21.67171
+ [java] 1588114717548 Original Encoding Solving Time: 0.429801
+ [java] 1588114717548 Original Encoding Incremental Solving Time: 0.120479
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 29.85402
+ [java] Path Solving Time: 12.912447
+ [java] Path Solving Time: 6.734913
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114717665 Original Encoding Solving Time: 0.384612
+ [java] 1588114717665 Original Encoding Incremental Solving Time: 0.135721
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 24
+ [java] Sketch Generation Time: 1429.810066
+ [java] Sketch Completion Time: 1509.319275
+ [java] Compilation Time: 1019.51606
+ [java] Running Test cases Time: 2374.6209550000003
+ [java] Synthesis Time: 5313.750296
+ [java] Total Time: 6333.266356
+ [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: 20 seconds