--- /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: 3196.853003
+ [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.908601
+ [java] Path Solving Time: 8.927876
+ [java] Done with finding holes : Flag = true
+ [java] 1588135787619 Original Encoding Solving Time: 0.445545
+ [java] 1588135787619 Original Encoding Incremental Solving Time: 0.106768
+ [java] Done with finding holes : Flag = false
+ [java] 1588135790522 Original Encoding Solving Time: 0.055381
+ [java] 1588135790522 Original Encoding Incremental Solving Time: 0.047488
+ [java] Path Solving Time: 19.125939
+ [java] Path Solving Time: 9.737851
+ [java] Path Solving Time: 37.084839
+ [java] PetriNet for path length: 6 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.299073
+ [java] Path Solving Time: 3.844446
+ [java] 1588135792376 Original Encoding Solving Time: 3.717036
+ [java] 1588135792376 Original Encoding Incremental Solving Time: 0.219168
+ [java] 1588135792418 Original Encoding Solving Time: 0.047141
+ [java] 1588135792418 Original Encoding Incremental Solving Time: 0.024611
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 26.265187
+ [java] Path Solving Time: 4.021283
+ [java] Path Solving Time: 15.310857
+ [java] Path Solving Time: 43.187206
+ [java] Path Solving Time: 74.312468
+ [java] 1588135792610 Original Encoding Solving Time: 1.099165
+ [java] 1588135792610 Original Encoding Incremental Solving Time: 0.14222
+ [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] Path Solving Time: 11.488823
+ [java] Path Solving Time: 10.982062
+ [java] Path Solving Time: 19.84276
+ [java] 1588135792715 Original Encoding Solving Time: 0.595997
+ [java] 1588135792715 Original Encoding Incremental Solving Time: 2.894623
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.892165
+ [java] Path Solving Time: 39.298874
+ [java] Path Solving Time: 10.284702
+ [java] Done with finding holes : Flag = true
+ [java] 1588135792841 Original Encoding Solving Time: 1.163536
+ [java] 1588135792841 Original Encoding Incremental Solving Time: 0.195347
+ [java] Path Solving Time: 8.75615
+ [java] Path Solving Time: 10.914267
+ [java] Path Solving Time: 7.274651
+ [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] 1588135792927 Original Encoding Solving Time: 1.917197
+ [java] 1588135792927 Original Encoding Incremental Solving Time: 0.21488
+ [java] Path Solving Time: 10.170476
+ [java] Path Solving Time: 41.246965
+ [java] Path Solving Time: 6.166299
+ [java] Done with finding holes : Flag = true
+ [java] 1588135793039 Original Encoding Solving Time: 0.500124
+ [java] 1588135793039 Original Encoding Incremental Solving Time: 1.05668
+ [java] Path Solving Time: 7.422115
+ [java] Path Solving Time: 10.848403
+ [java] Path Solving Time: 4.743069
+ [java] 1588135793121 Original Encoding Solving Time: 0.29204
+ [java] 1588135793121 Original Encoding Incremental Solving Time: 0.076947
+ [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: 10.848042
+ [java] Path Solving Time: 6.906568
+ [java] Path Solving Time: 5.537271
+ [java] 1588135793202 Original Encoding Solving Time: 0.353784
+ [java] 1588135793202 Original Encoding Incremental Solving Time: 0.894124
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 7.226859
+ [java] Path Solving Time: 5.450622
+ [java] Path Solving Time: 4.595762
+ [java] 1588135793275 Original Encoding Solving Time: 0.518358
+ [java] 1588135793275 Original Encoding Incremental Solving Time: 0.118794
+ [java] Path Solving Time: 8.595134
+ [java] Path Solving Time: 6.828364
+ [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: 4.755633
+ [java] 1588135793349 Original Encoding Solving Time: 0.510468
+ [java] 1588135793349 Original Encoding Incremental Solving Time: 1.395558
+ [java] Path Solving Time: 8.710289
+ [java] Path Solving Time: 5.95944
+ [java] Path Solving Time: 5.018286
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588135793432 Original Encoding Solving Time: 0.348009
+ [java] 1588135793432 Original Encoding Incremental Solving Time: 0.096928
+ [java] Path Solving Time: 8.961716
+ [java] Path Solving Time: 6.413674
+ [java] Path Solving Time: 4.635919
+ [java] 1588135793502 Original Encoding Solving Time: 0.415186
+ [java] 1588135793502 Original Encoding Incremental Solving Time: 0.146487
+ [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: 9.163629
+ [java] Path Solving Time: 58.842649
+ [java] Path Solving Time: 5.767106
+ [java] 1588135793623 Original Encoding Solving Time: 0.300514
+ [java] 1588135793623 Original Encoding Incremental Solving Time: 0.25123
+ [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: 10.204559
+ [java] Path Solving Time: 76.630705
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135793749 Original Encoding Solving Time: 0.443204
+ [java] 1588135793749 Original Encoding Incremental Solving Time: 0.100849
+ [java] 1588135793770 Original Encoding Solving Time: 0.034182
+ [java] 1588135793770 Original Encoding Incremental Solving Time: 0.021019
+ [java] Path Solving Time: 38.776575
+ [java] PetriNet for path length: 7 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Path Solving Time: 12.066275
+ [java] Path Solving Time: 3.495482
+ [java] 1588135796222 Original Encoding Solving Time: 0.460583
+ [java] 1588135796222 Original Encoding Incremental Solving Time: 0.144778
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588135796244 Original Encoding Solving Time: 0.030389
+ [java] 1588135796244 Original Encoding Incremental Solving Time: 0.009352
+ [java] Path Solving Time: 11.043368
+ [java] Path Solving Time: 3.370627
+ [java] 1588135796301 Original Encoding Solving Time: 0.635198
+ [java] 1588135796301 Original Encoding Incremental Solving Time: 0.171672
+ [java] 1588135796323 Original Encoding Solving Time: 0.027923
+ [java] 1588135796323 Original Encoding Incremental Solving Time: 0.008843
+ [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.525205
+ [java] Path Solving Time: 2.687191
+ [java] 1588135796374 Original Encoding Solving Time: 0.59929
+ [java] 1588135796374 Original Encoding Incremental Solving Time: 0.098054
+ [java] 1588135796396 Original Encoding Solving Time: 0.039142
+ [java] 1588135796396 Original Encoding Incremental Solving Time: 0.009665
+ [java] Path Solving Time: 9.006488
+ [java] Path Solving Time: 3.189272
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135796449 Original Encoding Solving Time: 1.50989
+ [java] 1588135796449 Original Encoding Incremental Solving Time: 0.113619
+ [java] 1588135796470 Original Encoding Solving Time: 0.034571
+ [java] 1588135796470 Original Encoding Incremental Solving Time: 0.01221
+ [java] Path Solving Time: 10.030811
+ [java] Path Solving Time: 3.76192
+ [java] 1588135796525 Original Encoding Solving Time: 0.520842
+ [java] 1588135796525 Original Encoding Incremental Solving Time: 0.114074
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588135796547 Original Encoding Solving Time: 0.030327
+ [java] 1588135796547 Original Encoding Incremental Solving Time: 0.01544
+ [java] Path Solving Time: 11.512322
+ [java] Path Solving Time: 3.078204
+ [java] 1588135796602 Original Encoding Solving Time: 0.449647
+ [java] 1588135796602 Original Encoding Incremental Solving Time: 0.282402
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588135796635 Original Encoding Solving Time: 0.038236
+ [java] 1588135796635 Original Encoding Incremental Solving Time: 0.013013
+ [java] Path Solving Time: 8.667453
+ [java] Path Solving Time: 2.800186
+ [java] 1588135796683 Original Encoding Solving Time: 0.358524
+ [java] 1588135796683 Original Encoding Incremental Solving Time: 0.101712
+ [java] 1588135796704 Original Encoding Solving Time: 0.029472
+ [java] 1588135796704 Original Encoding Incremental Solving Time: 0.007947
+ [java] Path Solving Time: 9.99923
+ [java] Path Solving Time: 2.776544
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135796763 Original Encoding Solving Time: 0.309179
+ [java] 1588135796763 Original Encoding Incremental Solving Time: 0.171799
+ [java] 1588135796782 Original Encoding Solving Time: 0.028797
+ [java] 1588135796782 Original Encoding Incremental Solving Time: 0.008065
+ [java] Path Solving Time: 16.069601
+ [java] Path Solving Time: 14.422523
+ [java] Path Solving Time: 2.775766
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135796859 Original Encoding Solving Time: 0.288328
+ [java] 1588135796859 Original Encoding Incremental Solving Time: 0.146255
+ [java] 1588135796882 Original Encoding Solving Time: 0.038387
+ [java] 1588135796882 Original Encoding Incremental Solving Time: 0.021263
+ [java] Path Solving Time: 66.921301
+ [java] Path Solving Time: 18.382103
+ [java] Path Solving Time: 25.686052
+ [java] Path Solving Time: 2.783272
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135797038 Original Encoding Solving Time: 0.369981
+ [java] 1588135797038 Original Encoding Incremental Solving Time: 0.107204
+ [java] 1588135797062 Original Encoding Solving Time: 0.06202
+ [java] 1588135797062 Original Encoding Incremental Solving Time: 0.012642
+ [java] Path Solving Time: 20.290597
+ [java] Path Solving Time: 13.146197
+ [java] Path Solving Time: 2.997315
+ [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] 1588135797143 Original Encoding Solving Time: 0.348111
+ [java] 1588135797143 Original Encoding Incremental Solving Time: 0.078942
+ [java] 1588135797162 Original Encoding Solving Time: 0.028239
+ [java] 1588135797162 Original Encoding Incremental Solving Time: 0.018177
+ [java] Path Solving Time: 16.005495
+ [java] Path Solving Time: 19.458432
+ [java] Path Solving Time: 3.275338
+ [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] 1588135797244 Original Encoding Solving Time: 0.282119
+ [java] 1588135797244 Original Encoding Incremental Solving Time: 0.105347
+ [java] 1588135797265 Original Encoding Solving Time: 0.032032
+ [java] 1588135797265 Original Encoding Incremental Solving Time: 0.010692
+ [java] Path Solving Time: 43.463342
+ [java] Path Solving Time: 13.060313
+ [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] Path Solving Time: 18.158452
+ [java] Path Solving Time: 2.789682
+ [java] 1588135797382 Original Encoding Solving Time: 0.363554
+ [java] 1588135797382 Original Encoding Incremental Solving Time: 0.082095
+ [java] 1588135797399 Original Encoding Solving Time: 0.022508
+ [java] 1588135797399 Original Encoding Incremental Solving Time: 0.009896
+ [java] Path Solving Time: 17.112638
+ [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] Done with finding holes : Flag = false
+ [java] Path Solving Time: 11.565089
+ [java] Path Solving Time: 2.80308
+ [java] 1588135797474 Original Encoding Solving Time: 0.237897
+ [java] 1588135797474 Original Encoding Incremental Solving Time: 0.147481
+ [java] 1588135797491 Original Encoding Solving Time: 0.0289
+ [java] 1588135797491 Original Encoding Incremental Solving Time: 0.012767
+ [java] Path Solving Time: 20.424724
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 15.435446
+ [java] Path Solving Time: 19.059227
+ [java] 1588135797589 Original Encoding Solving Time: 0.217661
+ [java] 1588135797589 Original Encoding Incremental Solving Time: 0.106086
+ [java] Path Solving Time: 23.831785
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 11.876499
+ [java] Path Solving Time: 6.17958
+ [java] 1588135797682 Original Encoding Solving Time: 0.331863
+ [java] 1588135797682 Original Encoding Incremental Solving Time: 0.088036
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 24
+ [java] Sketch Generation Time: 1381.8374029999998
+ [java] Sketch Completion Time: 1071.5165439999998
+ [java] Compilation Time: 962.4559059999999
+ [java] Running Test cases Time: 2649.941328
+ [java] Synthesis Time: 5103.2952749999995
+ [java] Total Time: 6065.751181
+ [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<0x7fcb18268890>: OR
+ [java] {BooleanPredicate<0x7fcb18739120>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb182648e0>:{Set(1)<0x7fcb1834b760>:Members: 5, } 0x7fcb182648e0 UNASSIGNED }{ElementConst<0x7fcb18268b40>: 5}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fcb180e1890>: OR
+ [java] {BooleanPredicate<0x7fcb18739190>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb189127d0>:{Set(1)<0x7fcb187462e0>:Members: 6, } 0x7fcb189127d0 UNASSIGNED }{ElementConst<0x7fcb180e1800>: 6}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fcb181fb7f0>: OR
+ [java] {BooleanPredicate<0x7fcb182677c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb180e15d0>:{Set(1)<0x7fcb181fc080>:Members: 7, } 0x7fcb180e15d0 UNASSIGNED }{ElementConst<0x7fcb180e1650>: 7}
+ [java] }
+ [java] {BooleanPredicate<0x7fcb18267920>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb18268aa0>:{Set(1)<0x7fcb1899b550>:Members: 7, 8, } 0x7fcb18268aa0 UNASSIGNED }{ElementConst<0x7fcb180e1650>: 7}
+ [java] }
+ [java] {BooleanPredicate<0x7fcb189ac960>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb183a8d70>:{Set(1)<0x7fcb18264d20>:Members: 7, 8, 9, } 0x7fcb183a8d70 UNASSIGNED }{ElementConst<0x7fcb180e1650>: 7}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fcb18432f10>: OR
+ [java] {BooleanPredicate<0x7fcb1834c3b0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb18268aa0>:{Set(1)<0x7fcb1899b550>:Members: 7, 8, } 0x7fcb18268aa0 UNASSIGNED }{ElementConst<0x7fcb180e1a00>: 8}
+ [java] }
+ [java] {BooleanPredicate<0x7fcb186db5f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb183a8d70>:{Set(1)<0x7fcb18264d20>:Members: 7, 8, 9, } 0x7fcb183a8d70 UNASSIGNED }{ElementConst<0x7fcb180e1a00>: 8}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fcb184310f0>: OR
+ [java] {BooleanPredicate<0x7fcb18261050>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fcb183a8d70>:{Set(1)<0x7fcb18264d20>:Members: 7, 8, 9, } 0x7fcb183a8d70 UNASSIGNED }{ElementConst<0x7fcb180d13a0>: 9}
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 18 seconds
projects / Benchmarks_CSolver.git / blobdiff