--- /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: 3253.525265
+ [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: 41.752767
+ [java] Path Solving Time: 9.223181
+ [java] Done with finding holes : Flag = true
+ [java] 1588121152925 Original Encoding Solving Time: 0.537859
+ [java] 1588121152925 Original Encoding Incremental Solving Time: 0.0974
+ [java] Done with finding holes : Flag = false
+ [java] 1588121155555 Original Encoding Solving Time: 0.052638
+ [java] 1588121155555 Original Encoding Incremental Solving Time: 0.040423
+ [java] Path Solving Time: 22.266815
+ [java] Path Solving Time: 8.678664
+ [java] Path Solving Time: 23.006451
+ [java] PetriNet for path length: 6 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 17.9476
+ [java] Path Solving Time: 3.722297
+ [java] 1588121157572 Original Encoding Solving Time: 0.805067
+ [java] 1588121157572 Original Encoding Incremental Solving Time: 0.222937
+ [java] 1588121157616 Original Encoding Solving Time: 0.049954
+ [java] 1588121157616 Original Encoding Incremental Solving Time: 0.0217
+ [java] Path Solving Time: 25.97012
+ [java] Path Solving Time: 4.114399
+ [java] Path Solving Time: 15.706481
+ [java] Path Solving Time: 39.797708
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 73.273856
+ [java] 1588121157801 Original Encoding Solving Time: 0.840828
+ [java] 1588121157801 Original Encoding Incremental Solving Time: 0.194375
+ [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] Path Solving Time: 11.166654
+ [java] Path Solving Time: 12.246327
+ [java] Path Solving Time: 25.797
+ [java] 1588121157919 Original Encoding Solving Time: 2.465352
+ [java] 1588121157919 Original Encoding Incremental Solving Time: 0.315714
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 14.727826
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 44.975927
+ [java] Path Solving Time: 9.098799
+ [java] 1588121158066 Original Encoding Solving Time: 0.962982
+ [java] 1588121158066 Original Encoding Incremental Solving Time: 0.180738
+ [java] Path Solving Time: 8.311446
+ [java] Path Solving Time: 10.310979
+ [java] Path Solving Time: 5.959003
+ [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] 1588121158146 Original Encoding Solving Time: 0.655717
+ [java] 1588121158146 Original Encoding Incremental Solving Time: 0.172378
+ [java] Path Solving Time: 7.899072
+ [java] Path Solving Time: 33.658614
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.416115
+ [java] 1588121158253 Original Encoding Solving Time: 0.362845
+ [java] 1588121158253 Original Encoding Incremental Solving Time: 0.142303
+ [java] Path Solving Time: 7.229061
+ [java] Path Solving Time: 10.295909
+ [java] Path Solving Time: 4.64928
+ [java] 1588121158330 Original Encoding Solving Time: 0.289993
+ [java] 1588121158330 Original Encoding Incremental Solving Time: 0.098223
+ [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] Done with finding holes : Flag = true
+ [java] Path Solving Time: 9.099263
+ [java] Path Solving Time: 7.106832
+ [java] Path Solving Time: 5.522839
+ [java] 1588121158404 Original Encoding Solving Time: 0.417999
+ [java] 1588121158404 Original Encoding Incremental Solving Time: 0.372727
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 7.655534
+ [java] Path Solving Time: 6.021696
+ [java] Path Solving Time: 5.323273
+ [java] 1588121158475 Original Encoding Solving Time: 0.42593
+ [java] 1588121158475 Original Encoding Incremental Solving Time: 0.198255
+ [java] Path Solving Time: 7.967217
+ [java] Path Solving Time: 7.204948
+ [java] Path Solving Time: 4.804481
+ [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] 1588121158546 Original Encoding Solving Time: 0.398077
+ [java] 1588121158546 Original Encoding Incremental Solving Time: 0.309549
+ [java] Path Solving Time: 8.027581
+ [java] Path Solving Time: 5.492484
+ [java] Path Solving Time: 4.450654
+ [java] 1588121158629 Original Encoding Solving Time: 0.35812
+ [java] 1588121158629 Original Encoding Incremental Solving Time: 0.087827
+ [java] Done with finding holes : Flag = true
+ [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] Path Solving Time: 7.410294
+ [java] Path Solving Time: 5.982309
+ [java] Path Solving Time: 4.548262
+ [java] 1588121158694 Original Encoding Solving Time: 0.348617
+ [java] 1588121158694 Original Encoding Incremental Solving Time: 0.087779
+ [java] Path Solving Time: 6.820997
+ [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: 54.182707
+ [java] Path Solving Time: 4.826179
+ [java] 1588121158804 Original Encoding Solving Time: 0.315675
+ [java] 1588121158804 Original Encoding Incremental Solving Time: 0.116617
+ [java] Path Solving Time: 8.234335
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 70.431271
+ [java] 1588121158921 Original Encoding Solving Time: 0.401813
+ [java] 1588121158921 Original Encoding Incremental Solving Time: 0.092653
+ [java] Done with finding holes : Flag = false
+ [java] 1588121158942 Original Encoding Solving Time: 0.045016
+ [java] 1588121158942 Original Encoding Incremental Solving Time: 0.018157
+ [java] Path Solving Time: 41.478112
+ [java] PetriNet for path length: 7 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Path Solving Time: 11.940453
+ [java] Path Solving Time: 3.517428
+ [java] 1588121161332 Original Encoding Solving Time: 0.423838
+ [java] 1588121161332 Original Encoding Incremental Solving Time: 0.1881
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588121161360 Original Encoding Solving Time: 0.029499
+ [java] 1588121161360 Original Encoding Incremental Solving Time: 0.008547
+ [java] Path Solving Time: 9.325264
+ [java] Path Solving Time: 2.814093
+ [java] 1588121161398 Original Encoding Solving Time: 0.402447
+ [java] 1588121161398 Original Encoding Incremental Solving Time: 0.146734
+ [java] 1588121161418 Original Encoding Solving Time: 0.031322
+ [java] 1588121161418 Original Encoding Incremental Solving Time: 0.010603
+ [java] Path Solving Time: 10.085766
+ [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: 3.648206
+ [java] 1588121161470 Original Encoding Solving Time: 0.741813
+ [java] 1588121161470 Original Encoding Incremental Solving Time: 0.110682
+ [java] 1588121161493 Original Encoding Solving Time: 0.032784
+ [java] 1588121161493 Original Encoding Incremental Solving Time: 0.008488
+ [java] Path Solving Time: 10.054457
+ [java] Path Solving Time: 3.86987
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588121161546 Original Encoding Solving Time: 0.937471
+ [java] 1588121161546 Original Encoding Incremental Solving Time: 0.128081
+ [java] 1588121161568 Original Encoding Solving Time: 0.032178
+ [java] 1588121161568 Original Encoding Incremental Solving Time: 0.010031
+ [java] Path Solving Time: 9.939693
+ [java] Path Solving Time: 3.944396
+ [java] 1588121161622 Original Encoding Solving Time: 0.358915
+ [java] 1588121161622 Original Encoding Incremental Solving Time: 0.108425
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121161643 Original Encoding Solving Time: 0.06233
+ [java] 1588121161643 Original Encoding Incremental Solving Time: 0.017554
+ [java] Path Solving Time: 12.706337
+ [java] Path Solving Time: 3.695623
+ [java] 1588121161696 Original Encoding Solving Time: 0.370007
+ [java] 1588121161696 Original Encoding Incremental Solving Time: 0.168545
+ [java] 1588121161716 Original Encoding Solving Time: 0.034575
+ [java] 1588121161716 Original Encoding Incremental Solving Time: 0.008689
+ [java] Path Solving Time: 9.962518
+ [java] Path Solving Time: 3.415997
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121161768 Original Encoding Solving Time: 0.506475
+ [java] 1588121161768 Original Encoding Incremental Solving Time: 0.109248
+ [java] 1588121161791 Original Encoding Solving Time: 0.054796
+ [java] 1588121161791 Original Encoding Incremental Solving Time: 0.01592
+ [java] Path Solving Time: 10.514104
+ [java] Path Solving Time: 3.012464
+ [java] 1588121161837 Original Encoding Solving Time: 0.325195
+ [java] 1588121161837 Original Encoding Incremental Solving Time: 0.203642
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588121161860 Original Encoding Solving Time: 0.034387
+ [java] 1588121161860 Original Encoding Incremental Solving Time: 0.009154
+ [java] Path Solving Time: 15.666829
+ [java] Path Solving Time: 14.689379
+ [java] Path Solving Time: 2.958813
+ [java] 1588121161927 Original Encoding Solving Time: 0.401014
+ [java] 1588121161927 Original Encoding Incremental Solving Time: 0.113973
+ [java] Done with finding holes : Flag = false
+ [java] 1588121161946 Original Encoding Solving Time: 0.031322
+ [java] 1588121161946 Original Encoding Incremental Solving Time: 0.012336
+ [java] Path Solving Time: 55.496334
+ [java] Path Solving Time: 18.665878
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 28.393128
+ [java] Path Solving Time: 3.675641
+ [java] 1588121162092 Original Encoding Solving Time: 0.350889
+ [java] 1588121162092 Original Encoding Incremental Solving Time: 0.163884
+ [java] 1588121162119 Original Encoding Solving Time: 0.069156
+ [java] 1588121162119 Original Encoding Incremental Solving Time: 0.017157
+ [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] Done with finding holes : Flag = false
+ [java] Path Solving Time: 27.544348
+ [java] Path Solving Time: 12.751884
+ [java] Path Solving Time: 2.90254
+ [java] 1588121162190 Original Encoding Solving Time: 0.256319
+ [java] 1588121162190 Original Encoding Incremental Solving Time: 0.109618
+ [java] 1588121162207 Original Encoding Solving Time: 0.0406
+ [java] 1588121162207 Original Encoding Incremental Solving Time: 0.014656
+ [java] Path Solving Time: 16.137955
+ [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] Done with finding holes : Flag = false
+ [java] Path Solving Time: 17.853059
+ [java] Path Solving Time: 2.907161
+ [java] 1588121162282 Original Encoding Solving Time: 0.287637
+ [java] 1588121162282 Original Encoding Incremental Solving Time: 0.108124
+ [java] 1588121162298 Original Encoding Solving Time: 0.028437
+ [java] 1588121162298 Original Encoding Incremental Solving Time: 0.006942
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 45.521589
+ [java] Path Solving Time: 15.854479
+ [java] Path Solving Time: 21.09049
+ [java] Path Solving Time: 3.586613
+ [java] 1588121162423 Original Encoding Solving Time: 0.382152
+ [java] 1588121162423 Original Encoding Incremental Solving Time: 0.115262
+ [java] 1588121162439 Original Encoding Solving Time: 0.022112
+ [java] 1588121162439 Original Encoding Incremental Solving Time: 0.006181
+ [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] /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: 16.371659
+ [java] Path Solving Time: 11.009759
+ [java] Path Solving Time: 2.962679
+ [java] 1588121162509 Original Encoding Solving Time: 0.273949
+ [java] 1588121162509 Original Encoding Incremental Solving Time: 0.14715
+ [java] 1588121162526 Original Encoding Solving Time: 0.030451
+ [java] 1588121162526 Original Encoding Incremental Solving Time: 0.006984
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 19.985995
+ [java] Path Solving Time: 15.421771
+ [java] Path Solving Time: 19.201842
+ [java] 1588121162621 Original Encoding Solving Time: 0.234672
+ [java] 1588121162621 Original Encoding Incremental Solving Time: 0.104181
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 23.857425
+ [java] Path Solving Time: 12.26137
+ [java] Path Solving Time: 6.642431
+ [java] 1588121162710 Original Encoding Solving Time: 0.351351
+ [java] 1588121162710 Original Encoding Incremental Solving Time: 0.088189
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 24
+ [java] Sketch Generation Time: 1372.1655529999998
+ [java] Sketch Completion Time: 947.3325049999997
+ [java] Compilation Time: 946.7118750000003
+ [java] Running Test cases Time: 2409.5072059999998
+ [java] Synthesis Time: 4729.005263999999
+ [java] Total Time: 5675.717138999999
+ [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] ============================
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f3f3425a970>: OR
+ [java] {BooleanPredicate<0x7f3f3425a870>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3f3425a1f0>:{Set(1)<0x7f3f3425a1b0>:Members: 15, } 0x7f3f3425a1f0 UNASSIGNED }{ElementConst<0x7f3f3425a770>: 15}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3f342a3330>: OR
+ [java] {BooleanPredicate<0x7f3f342a3230>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3f3425a4b0>:{Set(1)<0x7f3f3425a430>:Members: 16, } 0x7f3f3425a4b0 UNASSIGNED }{ElementConst<0x7f3f342a3130>: 16}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3f342a3690>: OR
+ [java] {BooleanPredicate<0x7f3f342a3590>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3f3425a620>:{Set(1)<0x7f3f3425a5a0>:Members: 17, } 0x7f3f3425a620 UNASSIGNED }{ElementConst<0x7f3f342a3490>: 17}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3f342a39f0>: OR
+ [java] {BooleanPredicate<0x7f3f342a38f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3f3425a340>:{Set(1)<0x7f3f3425a2c0>:Members: 18, } 0x7f3f3425a340 UNASSIGNED }{ElementConst<0x7f3f342a37f0>: 18}
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 18 seconds
projects / Benchmarks_CSolver.git / blobdiff