--- /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/math/7/benchmark7.json
+ [java] Benchmark Id: 7
+ [java] Method name: getOuterProduct
+ [java] Packages: [com.opengamma.analytics.math, org.apache.commons.math.linear]
+ [java] Libraries: [./lib/commons-math-2.2.jar, ./lib/og-analytics-2.17.0.jar, ./lib/commons-lang-2.6.jar]
+ [java] Source type(s): [com.opengamma.analytics.math.matrix.DoubleMatrix1D, com.opengamma.analytics.math.matrix.DoubleMatrix1D]
+ [java] Target type: com.opengamma.analytics.math.matrix.DoubleMatrix2D
+ [java] --------------------------------------------------------
+ [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+ [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+ [java] Warning: javax.crypto.Cipher is a phantom class!
+ [java] Warning: javax.crypto.SealedObject is a phantom class!
+ [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+ [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHParameterSpec 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.SecretKey is a phantom class!
+ [java] Warning: com.opengamma.util.ArgumentChecker is a phantom class!
+ [java] Warning: com.opengamma.util.money.Currency is a phantom class!
+ [java] Warning: com.opengamma.util.money.CurrencyAmount is a phantom class!
+ [java] Warning: com.opengamma.util.money.MultipleCurrencyAmount is a phantom class!
+ [java] Warning: it.unimi.dsi.fastutil.doubles.DoubleArrayList is a phantom class!
+ [java] Warning: org.threeten.bp.Period is a phantom class!
+ [java] Warning: org.threeten.bp.ZonedDateTime is a phantom class!
+ [java] Warning: com.opengamma.id.ExternalId is a phantom class!
+ [java] Warning: com.opengamma.OpenGammaRuntimeException is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.Pair is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.Pairs is a phantom class!
+ [java] Warning: org.joda.convert.ToString is a phantom class!
+ [java] Warning: org.joda.convert.FromStringFactory is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.TemporalAdjuster is a phantom class!
+ [java] Warning: org.threeten.bp.LocalDate is a phantom class!
+ [java] Warning: com.opengamma.util.time.Expiry is a phantom class!
+ [java] Warning: org.joda.beans.Bean is a phantom class!
+ [java] Warning: org.joda.beans.Property is a phantom class!
+ [java] Warning: org.joda.beans.MetaProperty is a phantom class!
+ [java] Warning: org.joda.beans.MetaBean is a phantom class!
+ [java] Warning: org.joda.beans.PropertyDefinition is a phantom class!
+ [java] Warning: org.joda.beans.JodaBeanUtils is a phantom class!
+ [java] Warning: org.joda.beans.BeanDefinition is a phantom class!
+ [java] Warning: org.joda.beans.ImmutableBean is a phantom class!
+ [java] Warning: com.opengamma.util.i18n.Country is a phantom class!
+ [java] Warning: com.google.common.collect.ImmutableSet is a phantom class!
+ [java] Warning: org.joda.beans.impl.flexi.FlexiBean is a phantom class!
+ [java] Warning: org.joda.convert.FromString is a phantom class!
+ [java] Warning: com.google.common.collect.ImmutableMap is a phantom class!
+ [java] Warning: com.google.common.collect.ImmutableMap$Builder is a phantom class!
+ [java] Warning: com.opengamma.util.CompareUtils is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.ObjectsPair is a phantom class!
+ [java] Warning: org.slf4j.Logger is a phantom class!
+ [java] Warning: org.slf4j.LoggerFactory is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.DoublesPair is a phantom class!
+ [java] Warning: org.threeten.bp.chrono.ChronoZonedDateTime is a phantom class!
+ [java] Warning: com.opengamma.util.time.DateUtils is a phantom class!
+ [java] Warning: org.joda.beans.impl.direct.DirectMetaBean is a phantom class!
+ [java] Warning: org.joda.beans.BeanBuilder is a phantom class!
+ [java] Warning: org.joda.beans.impl.direct.DirectMetaProperty is a phantom class!
+ [java] Warning: org.joda.beans.impl.direct.DirectMetaPropertyMap is a phantom class!
+ [java] Warning: org.joda.beans.impl.direct.DirectBeanBuilder is a phantom class!
+ [java] Warning: org.joda.beans.impl.direct.DirectFieldsBeanBuilder is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.Temporal is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.TemporalAmount is a phantom class!
+ [java] Warning: com.opengamma.util.time.Tenor is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.TemporalAdjusters is a phantom class!
+ [java] Warning: org.threeten.bp.Month is a phantom class!
+ [java] Warning: com.opengamma.timeseries.precise.zdt.ZonedDateTimeDoubleTimeSeries is a phantom class!
+ [java] Warning: com.opengamma.timeseries.DoubleTimeSeries is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.Triple is a phantom class!
+ [java] Warning: com.google.common.collect.ImmutableList is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.FirstThenSecondDoublesPairComparator is a phantom class!
+ [java] Warning: com.opengamma.util.time.Tenor$BusinessDayTenor is a phantom class!
+ [java] Warning: org.threeten.bp.LocalDateTime is a phantom class!
+ [java] Warning: com.opengamma.util.ParallelArrayBinarySort is a phantom class!
+ [java] Warning: org.threeten.bp.LocalTime is a phantom class!
+ [java] Warning: org.threeten.bp.ZoneId is a phantom class!
+ [java] Warning: org.threeten.bp.chrono.ChronoLocalDate is a phantom class!
+ [java] Warning: org.threeten.bp.ZoneOffset is a phantom class!
+ [java] Warning: com.opengamma.timeseries.date.localdate.LocalDateDoubleTimeSeries is a phantom class!
+ [java] Warning: com.opengamma.timeseries.date.localdate.ImmutableLocalDateDoubleTimeSeries is a phantom class!
+ [java] Warning: com.opengamma.timeseries.precise.zdt.ImmutableZonedDateTimeDoubleTimeSeries is a phantom class!
+ [java] Warning: org.threeten.bp.format.DateTimeFormatter is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.TemporalField is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.JulianFields is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.TemporalAccessor is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.FirstThenSecondPairComparator is a phantom class!
+ [java] Warning: com.google.common.collect.Maps is a phantom class!
+ [java] Warning: com.opengamma.util.ClassUtils is a phantom class!
+ [java] Warning: com.opengamma.util.money.MultipleCurrencyAmountPricer is a phantom class!
+ [java] Warning: cern.jet.random.Normal is a phantom class!
+ [java] Warning: cern.jet.stat.Probability is a phantom class!
+ [java] Warning: cern.jet.random.engine.RandomEngine is a phantom class!
+ [java] Warning: cern.jet.random.engine.MersenneTwister64 is a phantom class!
+ [java] Warning: com.opengamma.lang.annotation.ExternalFunction is a phantom class!
+ [java] Warning: com.google.common.primitives.Doubles is a phantom class!
+ [java] Warning: cern.colt.matrix.DoubleMatrix1D is a phantom class!
+ [java] Warning: cern.colt.matrix.DoubleFactory2D is a phantom class!
+ [java] Warning: cern.colt.matrix.DoubleFactory1D is a phantom class!
+ [java] Warning: cern.colt.matrix.DoubleMatrix2D is a phantom class!
+ [java] Warning: cern.colt.matrix.linalg.Algebra is a phantom class!
+ [java] Warning: cern.colt.matrix.linalg.SingularValueDecomposition is a phantom class!
+ [java] Warning: com.google.common.collect.ArrayListMultimap is a phantom class!
+ [java] Warning: com.google.common.collect.ListMultimap is a phantom class!
+ [java] Warning: it.unimi.dsi.fastutil.ints.IntArrayList is a phantom class!
+ [java] Warning: com.google.common.collect.LinkedListMultimap is a phantom class!
+ [java] Warning: com.google.common.collect.Multimap is a phantom class!
+ [java] Warning: org.joda.beans.impl.direct.DirectBean is a phantom class!
+ [java] Warning: com.google.common.collect.Iterators is a phantom class!
+ [java] Warning: cern.jet.random.engine.MersenneTwister is a phantom class!
+ [java] Warning: com.google.common.collect.Iterables is a phantom class!
+ [java] Warning: com.google.common.collect.Sets$SetView is a phantom class!
+ [java] Warning: com.google.common.collect.Sets is a phantom class!
+ [java] Warning: org.threeten.bp.DayOfWeek is a phantom class!
+ [java] Warning: org.threeten.bp.MonthDay is a phantom class!
+ [java] Warning: com.opengamma.timeseries.date.DateDoubleTimeSeries is a phantom class!
+ [java] Warning: com.google.common.collect.Lists is a phantom class!
+ [java] Warning: org.joda.beans.PropertyStyle is a phantom class!
+ [java] Warning: cern.jet.math.Bessel is a phantom class!
+ [java] Warning: com.opengamma.util.types.ParameterizedTypeImpl is a phantom class!
+ [java] Warning: com.opengamma.util.types.VariantType is a phantom class!
+ [java] Warning: org.apache.log4j.Logger is a phantom class!
+ [java] Warning: com.opengamma.timeseries.date.localdate.LocalDateToIntConverter is a phantom class!
+ [java] Warning: cern.jet.random.StudentT is a phantom class!
+ [java] Warning: com.opengamma.util.CalculationMode is a phantom class!
+ [java] Warning: com.opengamma.timeseries.TimeSeriesException is a phantom class!
+ [java] Warning: cern.colt.Arrays is a phantom class!
+ [java] Warning: cern.jet.random.ChiSquare is a phantom class!
+ [java] Warning: cern.colt.list.IntArrayList is a phantom class!
+ [java] Warning: org.testng.AssertJUnit is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.ChronoField is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.TemporalUnit is a phantom class!
+ [java] Warning: org.threeten.bp.temporal.ChronoUnit is a phantom class!
+ [java] Warning: com.opengamma.timeseries.date.localdate.LocalDateDoubleEntryIterator is a phantom class!
+ [java] Warning: edu.emory.mathcs.jtransforms.fft.DoubleFFT_1D is a phantom class!
+ [java] Warning: com.opengamma.timeseries.precise.PreciseDoubleTimeSeries is a phantom class!
+ [java] Warning: com.opengamma.timeseries.date.localdate.LocalDateDoubleTimeSeriesBuilder is a phantom class!
+ [java] Warning: com.opengamma.util.tuple.Quadruple is a phantom class!
+ [java] Warning: cern.colt.matrix.linalg.EigenvalueDecomposition is a phantom class!
+ [java] Warning: cern.jet.random.Gamma is a phantom class!
+ [java] Warning: org.threeten.bp.Year is a phantom class!
+ [java] #Classes: 615
+ [java] #Methods: 5526
+ [java] Soot Time: 3638.761573
+ [java] PetriNet for path length: 1 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] PetriNet for path length: 2 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] PetriNet for path length: 3 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] PetriNet for path length: 4 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] PetriNet for path length: 5 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Path Solving Time: 56.880325
+ [java] Path Solving Time: 64.078082
+ [java] PetriNet for path length: 6 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 31.199409
+ [java] Path Solving Time: 6.488685
+ [java] 1588138358992 Original Encoding Solving Time: 0.654149
+ [java] 1588138358992 Original Encoding Incremental Solving Time: 0.146027
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138359232 Original Encoding Solving Time: 0.282605
+ [java] 1588138359232 Original Encoding Incremental Solving Time: 0.034529
+ [java] 1588138359254 Original Encoding Solving Time: 0.174804
+ [java] 1588138359254 Original Encoding Incremental Solving Time: 0.02145
+ [java] Path Solving Time: 28.055989
+ [java] Path Solving Time: 6.804771
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138359326 Original Encoding Solving Time: 0.413026
+ [java] 1588138359326 Original Encoding Incremental Solving Time: 0.137907
+ [java] 1588138359364 Original Encoding Solving Time: 0.315054
+ [java] 1588138359364 Original Encoding Incremental Solving Time: 0.038657
+ [java] 1588138359384 Original Encoding Solving Time: 0.176248
+ [java] 1588138359384 Original Encoding Incremental Solving Time: 0.025569
+ [java] Path Solving Time: 17.211781
+ [java] Path Solving Time: 4.797909
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138359443 Original Encoding Solving Time: 1.064303
+ [java] 1588138359443 Original Encoding Incremental Solving Time: 0.245315
+ [java] 1588138359471 Original Encoding Solving Time: 0.497017
+ [java] 1588138359471 Original Encoding Incremental Solving Time: 0.058157
+ [java] 1588138359490 Original Encoding Solving Time: 0.20622
+ [java] 1588138359490 Original Encoding Incremental Solving Time: 0.02992
+ [java] Path Solving Time: 18.449251
+ [java] Path Solving Time: 4.675962
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138359551 Original Encoding Solving Time: 1.815836
+ [java] 1588138359551 Original Encoding Incremental Solving Time: 5.766875
+ [java] 1588138359584 Original Encoding Solving Time: 0.405855
+ [java] 1588138359584 Original Encoding Incremental Solving Time: 0.03626
+ [java] 1588138359600 Original Encoding Solving Time: 0.319468
+ [java] 1588138359600 Original Encoding Incremental Solving Time: 0.035165
+ [java] 1588138359616 Original Encoding Solving Time: 0.360635
+ [java] 1588138359616 Original Encoding Incremental Solving Time: 0.021457
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588138359633 Original Encoding Solving Time: 0.547797
+ [java] 1588138359633 Original Encoding Incremental Solving Time: 0.030135
+ [java] Path Solving Time: 14.211287
+ [java] Path Solving Time: 4.412581
+ [java] 1588138359685 Original Encoding Solving Time: 0.448577
+ [java] 1588138359685 Original Encoding Incremental Solving Time: 0.624765
+ [java] 1588138359710 Original Encoding Solving Time: 0.376655
+ [java] 1588138359710 Original Encoding Incremental Solving Time: 0.029288
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138359728 Original Encoding Solving Time: 0.362378
+ [java] 1588138359728 Original Encoding Incremental Solving Time: 0.028314
+ [java] 1588138359743 Original Encoding Solving Time: 0.337204
+ [java] 1588138359743 Original Encoding Incremental Solving Time: 0.060291
+ [java] 1588138359758 Original Encoding Solving Time: 0.206715
+ [java] 1588138359758 Original Encoding Incremental Solving Time: 0.026316
+ [java] Path Solving Time: 12.669773
+ [java] Path Solving Time: 4.237596
+ [java] 1588138359809 Original Encoding Solving Time: 0.57228
+ [java] 1588138359809 Original Encoding Incremental Solving Time: 0.191638
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138359831 Original Encoding Solving Time: 0.452215
+ [java] 1588138359831 Original Encoding Incremental Solving Time: 0.058235
+ [java] 1588138359848 Original Encoding Solving Time: 0.244384
+ [java] 1588138359848 Original Encoding Incremental Solving Time: 0.048276
+ [java] 1588138359863 Original Encoding Solving Time: 0.395706
+ [java] 1588138359863 Original Encoding Incremental Solving Time: 0.034543
+ [java] 1588138359876 Original Encoding Solving Time: 0.201769
+ [java] 1588138359876 Original Encoding Incremental Solving Time: 0.033691
+ [java] Path Solving Time: 34.355658
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 37.951813
+ [java] 1588138359982 Original Encoding Solving Time: 0.792947
+ [java] 1588138359982 Original Encoding Incremental Solving Time: 0.185689
+ [java] Done with finding holes : Flag = true
+ [java] 1588138360252 Original Encoding Solving Time: 0.182316
+ [java] 1588138360252 Original Encoding Incremental Solving Time: 0.021098
+ [java] 1588138360508 Original Encoding Solving Time: 0.173319
+ [java] 1588138360508 Original Encoding Incremental Solving Time: 0.040648
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 41.082415
+ [java] Path Solving Time: 21.661578
+ [java] Path Solving Time: 10.431625
+ [java] 1588138360616 Original Encoding Solving Time: 0.391679
+ [java] 1588138360616 Original Encoding Incremental Solving Time: 0.189455
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138360640 Original Encoding Solving Time: 0.396746
+ [java] 1588138360640 Original Encoding Incremental Solving Time: 0.034054
+ [java] 1588138360657 Original Encoding Solving Time: 0.425414
+ [java] 1588138360657 Original Encoding Incremental Solving Time: 0.026458
+ [java] 1588138360672 Original Encoding Solving Time: 0.176323
+ [java] 1588138360672 Original Encoding Incremental Solving Time: 0.025208
+ [java] 1588138360688 Original Encoding Solving Time: 0.218842
+ [java] 1588138360688 Original Encoding Incremental Solving Time: 0.020822
+ [java] Path Solving Time: 19.786909
+ [java] Path Solving Time: 9.772074
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138360751 Original Encoding Solving Time: 0.423469
+ [java] 1588138360751 Original Encoding Incremental Solving Time: 0.89534
+ [java] 1588138360773 Original Encoding Solving Time: 0.249122
+ [java] 1588138360773 Original Encoding Incremental Solving Time: 0.059884
+ [java] 1588138360791 Original Encoding Solving Time: 0.213165
+ [java] 1588138360791 Original Encoding Incremental Solving Time: 0.045604
+ [java] Path Solving Time: 32.414688
+ [java] Path Solving Time: 6.077407
+ [java] Path Solving Time: 6.264603
+ [java] Path Solving Time: 167.832632
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 38.269859
+ [java] 1588138361077 Original Encoding Solving Time: 0.324985
+ [java] 1588138361077 Original Encoding Incremental Solving Time: 0.088228
+ [java] 1588138361095 Original Encoding Solving Time: 0.202683
+ [java] 1588138361095 Original Encoding Incremental Solving Time: 0.019033
+ [java] 1588138361106 Original Encoding Solving Time: 0.155761
+ [java] 1588138361106 Original Encoding Incremental Solving Time: 0.007407
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 80.822512
+ [java] Path Solving Time: 348.83016
+ [java] Path Solving Time: 161.050326
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138361744 Original Encoding Solving Time: 0.30031
+ [java] 1588138361744 Original Encoding Incremental Solving Time: 0.09416
+ [java] 1588138361764 Original Encoding Solving Time: 0.268192
+ [java] 1588138361764 Original Encoding Incremental Solving Time: 0.023542
+ [java] 1588138361783 Original Encoding Solving Time: 0.192542
+ [java] 1588138361783 Original Encoding Incremental Solving Time: 0.010954
+ [java] Path Solving Time: 38.290678
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 10.768757
+ [java] 1588138361865 Original Encoding Solving Time: 0.353027
+ [java] 1588138361865 Original Encoding Incremental Solving Time: 0.407411
+ [java] 1588138361883 Original Encoding Solving Time: 1.646171
+ [java] 1588138361883 Original Encoding Incremental Solving Time: 0.042872
+ [java] 1588138361900 Original Encoding Solving Time: 0.237927
+ [java] 1588138361900 Original Encoding Incremental Solving Time: 0.014091
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 122.540574
+ [java] Path Solving Time: 9.127864
+ [java] 1588138362075 Original Encoding Solving Time: 0.346491
+ [java] 1588138362075 Original Encoding Incremental Solving Time: 0.124923
+ [java] 1588138362093 Original Encoding Solving Time: 0.25027
+ [java] 1588138362093 Original Encoding Incremental Solving Time: 0.024285
+ [java] 1588138362109 Original Encoding Solving Time: 0.170203
+ [java] 1588138362109 Original Encoding Incremental Solving Time: 0.007457
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 292.59106
+ [java] PetriNet for path length: 7 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Path Solving Time: 45.892678
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 40.965098
+ [java] Path Solving Time: 3.728258
+ [java] 1588138371601 Original Encoding Solving Time: 0.259398
+ [java] 1588138371601 Original Encoding Incremental Solving Time: 0.099409
+ [java] 1588138371622 Original Encoding Solving Time: 0.205932
+ [java] 1588138371622 Original Encoding Incremental Solving Time: 0.07437
+ [java] 1588138371636 Original Encoding Solving Time: 0.181478
+ [java] 1588138371636 Original Encoding Incremental Solving Time: 0.054735
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 20.514588
+ [java] Path Solving Time: 5.491246
+ [java] 1588138371717 Original Encoding Solving Time: 0.46765
+ [java] 1588138371717 Original Encoding Incremental Solving Time: 0.112306
+ [java] 1588138371736 Original Encoding Solving Time: 0.279504
+ [java] 1588138371736 Original Encoding Incremental Solving Time: 0.02634
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138371752 Original Encoding Solving Time: 0.202863
+ [java] 1588138371752 Original Encoding Incremental Solving Time: 0.025303
+ [java] Path Solving Time: 22.241592
+ [java] Path Solving Time: 6.141848
+ [java] 1588138371840 Original Encoding Solving Time: 0.479995
+ [java] 1588138371840 Original Encoding Incremental Solving Time: 0.164163
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138371860 Original Encoding Solving Time: 0.287519
+ [java] 1588138371860 Original Encoding Incremental Solving Time: 0.038156
+ [java] 1588138371873 Original Encoding Solving Time: 0.221524
+ [java] 1588138371873 Original Encoding Incremental Solving Time: 0.017158
+ [java] Path Solving Time: 20.396037
+ [java] Path Solving Time: 5.585387
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138371958 Original Encoding Solving Time: 0.395411
+ [java] 1588138371958 Original Encoding Incremental Solving Time: 0.157144
+ [java] 1588138371976 Original Encoding Solving Time: 0.296953
+ [java] 1588138371976 Original Encoding Incremental Solving Time: 0.023211
+ [java] 1588138371987 Original Encoding Solving Time: 0.223607
+ [java] 1588138371987 Original Encoding Incremental Solving Time: 0.029491
+ [java] Path Solving Time: 32.033031
+ [java] Path Solving Time: 4.621
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138372077 Original Encoding Solving Time: 0.255063
+ [java] 1588138372077 Original Encoding Incremental Solving Time: 0.154383
+ [java] 1588138372093 Original Encoding Solving Time: 0.170093
+ [java] 1588138372093 Original Encoding Incremental Solving Time: 0.019438
+ [java] 1588138372105 Original Encoding Solving Time: 0.166994
+ [java] 1588138372105 Original Encoding Incremental Solving Time: 0.008968
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.065684
+ [java] Path Solving Time: 4.068107
+ [java] 1588138372185 Original Encoding Solving Time: 0.24731
+ [java] 1588138372185 Original Encoding Incremental Solving Time: 0.105717
+ [java] 1588138372201 Original Encoding Solving Time: 0.180608
+ [java] 1588138372201 Original Encoding Incremental Solving Time: 0.015558
+ [java] 1588138372215 Original Encoding Solving Time: 0.178903
+ [java] 1588138372215 Original Encoding Incremental Solving Time: 0.012546
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.465914
+ [java] Path Solving Time: 4.053074
+ [java] 1588138372290 Original Encoding Solving Time: 0.387872
+ [java] 1588138372290 Original Encoding Incremental Solving Time: 0.140222
+ [java] 1588138372308 Original Encoding Solving Time: 0.237163
+ [java] 1588138372308 Original Encoding Incremental Solving Time: 0.028786
+ [java] 1588138372320 Original Encoding Solving Time: 0.222768
+ [java] 1588138372320 Original Encoding Incremental Solving Time: 0.016204
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.271675
+ [java] Path Solving Time: 4.906281
+ [java] 1588138372393 Original Encoding Solving Time: 0.251202
+ [java] 1588138372393 Original Encoding Incremental Solving Time: 0.104171
+ [java] 1588138372412 Original Encoding Solving Time: 0.25819
+ [java] 1588138372412 Original Encoding Incremental Solving Time: 0.024229
+ [java] 1588138372435 Original Encoding Solving Time: 5.367464
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f3b0556d5e0>: OR
+ [java] {BooleanPredicate<0x7f3b8e8b2dd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b8c4843a0>:{Set(1)<0x7f3b06139930>:Members: 108, 109, } 0x7f3b8c4843a0 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] {BooleanPredicate<0x7f3b064647a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7360>:{Set(1)<0x7f3b06a037e0>:Members: 108, 109, } 0x7f3b053c7360 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b0843d9d0>: OR
+ [java] {BooleanPredicate<0x7f3b8c55e650>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b8c4843a0>:{Set(1)<0x7f3b06139930>:Members: 108, 109, } 0x7f3b8c4843a0 UNASSIGNED }{ElementConst<0x7f3b8c561ac0>: 109}
+ [java] }
+ [java] {BooleanPredicate<0x7f3b07651b60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7360>:{Set(1)<0x7f3b06a037e0>:Members: 108, 109, } 0x7f3b053c7360 UNASSIGNED }{ElementConst<0x7f3b8c561ac0>: 109}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b0615f290>: OR
+ [java] {BooleanPredicate<0x7f3b8dec1b90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b06f6c8d0>:{Set(1)<0x7f3b05388f10>:Members: 110, } 0x7f3b06f6c8d0 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] {BooleanPredicate<0x7f3b8f7bb4c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7280>:{Set(1)<0x7f3b8d6291b0>:Members: 110, 113, } 0x7f3b053c7280 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b8f7f00d0>: OR
+ [java] {BooleanPredicate<0x7f3b05533270>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b05389130>:{Set(1)<0x7f3b07847ab0>:Members: 111, } 0x7f3b05389130 UNASSIGNED }{ElementConst<0x7f3b0846c110>: 111}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b0784a130>: OR
+ [java] {BooleanPredicate<0x7f3b0615f300>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b05389050>:{Set(1)<0x7f3b061605f0>:Members: 112, } 0x7f3b05389050 UNASSIGNED }{ElementConst<0x7f3b8ddbb150>: 112}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b8f786580>: OR
+ [java] {BooleanPredicate<0x7f3b8c3c7a50>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7280>:{Set(1)<0x7f3b8d6291b0>:Members: 110, 113, } 0x7f3b053c7280 UNASSIGNED }{ElementConst<0x7f3b8e8b0500>: 113}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b8dd1cd10>: OR
+ [java] {BooleanLogic<0x7f3b0615f790>: NOT
+ [java] {BooleanPredicate<0x7f3b8e8b2dd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b8c4843a0>:{Set(1)<0x7f3b06139930>:Members: 108, 109, } 0x7f3b8c4843a0 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b8d62adf0>: NOT
+ [java] {BooleanPredicate<0x7f3b8e8b2dd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b8c4843a0>:{Set(1)<0x7f3b06139930>:Members: 108, 109, } 0x7f3b8c4843a0 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b08440970>: NOT
+ [java] {BooleanPredicate<0x7f3b8dec1b90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b06f6c8d0>:{Set(1)<0x7f3b05388f10>:Members: 110, } 0x7f3b06f6c8d0 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b0556d530>: NOT
+ [java] {BooleanPredicate<0x7f3b05533270>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b05389130>:{Set(1)<0x7f3b07847ab0>:Members: 111, } 0x7f3b05389130 UNASSIGNED }{ElementConst<0x7f3b0846c110>: 111}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b078482f0>: NOT
+ [java] {BooleanPredicate<0x7f3b0615f300>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b05389050>:{Set(1)<0x7f3b061605f0>:Members: 112, } 0x7f3b05389050 UNASSIGNED }{ElementConst<0x7f3b8ddbb150>: 112}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b8d5e5ad0>: NOT
+ [java] {BooleanPredicate<0x7f3b064647a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7360>:{Set(1)<0x7f3b06a037e0>:Members: 108, 109, } 0x7f3b053c7360 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b06a72570>: NOT
+ [java] {BooleanPredicate<0x7f3b064647a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7360>:{Set(1)<0x7f3b06a037e0>:Members: 108, 109, } 0x7f3b053c7360 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b8dd1cb00>: NOT
+ [java] {BooleanPredicate<0x7f3b8f7bb4c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7280>:{Set(1)<0x7f3b8d6291b0>:Members: 110, 113, } 0x7f3b053c7280 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b8dd1cbe0>: NOT
+ [java] {BooleanPredicate<0x7f3b8f7bb4c0>:
+ [java] Pre1588138372435 Original Encoding Incremental Solving Time: 0.01845
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.518861
+ [java] Path Solving Time: 4.746497
+ [java] 1588138372515 Original Encoding Solving Time: 0.287537
+ [java] 1588138372515 Original Encoding Incremental Solving Time: 0.146832
+ [java] 1588138372531 Original Encoding Solving Time: 0.242079
+ [java] 1588138372531 Original Encoding Incremental Solving Time: 0.023834
+ [java] 1588138372545 Original Encoding Solving Time: 0.208124
+ [java] 1588138372545 Original Encoding Incremental Solving Time: 0.0206
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.967655
+ [java] Path Solving Time: 4.052575
+ [java] 1588138372617 Original Encoding Solving Time: 0.253481
+ [java] 1588138372617 Original Encoding Incremental Solving Time: 0.096144
+ [java] 1588138372635 Original Encoding Solving Time: 0.301803
+ [java] 1588138372635 Original Encoding Incremental Solving Time: 0.025057
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138372655 Original Encoding Solving Time: 0.243117
+ [java] 1588138372655 Original Encoding Incremental Solving Time: 0.012526
+ [java] Path Solving Time: 23.531107
+ [java] Path Solving Time: 4.177023
+ [java] 1588138372735 Original Encoding Solving Time: 0.309521
+ [java] 1588138372735 Original Encoding Incremental Solving Time: 0.144833
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138372753 Original Encoding Solving Time: 1.222427
+ [java] 1588138372753 Original Encoding Incremental Solving Time: 0.028791
+ [java] 1588138372765 Original Encoding Solving Time: 0.175419
+ [java] 1588138372765 Original Encoding Incremental Solving Time: 0.008906
+ [java] Path Solving Time: 18.99008
+ [java] Path Solving Time: 5.245169
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138372850 Original Encoding Solving Time: 0.345881
+ [java] 1588138372850 Original Encoding Incremental Solving Time: 0.140142
+ [java] 1588138372867 Original Encoding Solving Time: 0.181156
+ [java] 1588138372867 Original Encoding Incremental Solving Time: 0.015221
+ [java] 1588138372879 Original Encoding Solving Time: 0.16724
+ [java] 1588138372879 Original Encoding Incremental Solving Time: 0.008756
+ [java] Path Solving Time: 22.939869
+ [java] Path Solving Time: 4.283279
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138372962 Original Encoding Solving Time: 0.322511
+ [java] 1588138372962 Original Encoding Incremental Solving Time: 0.079301
+ [java] 1588138372981 Original Encoding Solving Time: 1.309782
+ [java] 1588138372981 Original Encoding Incremental Solving Time: 0.018235
+ [java] 1588138372993 Original Encoding Solving Time: 0.206972
+ [java] 1588138372993 Original Encoding Incremental Solving Time: 0.009182
+ [java] Path Solving Time: 17.892366
+ [java] Path Solving Time: 5.389714
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138373077 Original Encoding Solving Time: 0.467677
+ [java] 1588138373077 Original Encoding Incremental Solving Time: 0.149365
+ [java] 1588138373094 Original Encoding Solving Time: 0.255426
+ [java] 1588138373094 Original Encoding Incremental Solving Time: 0.017925
+ [java] 1588138373107 Original Encoding Solving Time: 0.398891
+ [java] 1588138373107 Original Encoding Incremental Solving Time: 0.011934
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 24.584185
+ [java] Path Solving Time: 4.49535
+ [java] 1588138373203 Original Encoding Solving Time: 0.406211
+ [java] 1588138373203 Original Encoding Incremental Solving Time: 0.159089
+ [java] Done with finding holes : Flag = true
+ [java] 1588138373459 Original Encoding Solving Time: 0.222531
+ [java] 1588138373459 Original Encoding Incremental Solving Time: 0.017797
+ [java] Done with finding holes : Flag = true
+ [java] 1588138373694 Original Encoding Solving Time: 0.153993
+ [java] 1588138373694 Original Encoding Incremental Solving Time: 0.018084
+ [java] 1588138373927 Original Encoding Solving Time: 0.16028
+ [java] 1588138373927 Original Encoding Incremental Solving Time: 0.013741
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588138374161 Original Encoding Solving Time: 0.153604
+ [java] 1588138374161 Original Encoding Incremental Solving Time: 0.013806
+ [java] Path Solving Time: 15.086517
+ [java] Path Solving Time: 4.015036
+ [java] 1588138374218 Original Encoding Solving Time: 0.47202
+ [java] 1588138374218 Original Encoding Incremental Solving Time: 0.099987
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] 1588138374463 Original Encoding Solving Time: 0.194157
+ [java] 1588138374463 Original Encoding Incremental Solving Time: 0.013639
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] 1588138374696 Original Encoding Solving Time: 0.159865
+ [java] 1588138374696 Original Encoding Incremental Solving Time: 0.016221
+ [java] 1588138374931 Original Encoding Solving Time: 0.227162
+ [java] 1588138374931 Original Encoding Incremental Solving Time: 0.011638
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = false
+ [java] 1588138375164 Original Encoding Solving Time: 0.14984
+ [java] 1588138375164 Original Encoding Incremental Solving Time: 0.012309
+ [java] Path Solving Time: 15.484748
+ [java] Path Solving Time: 4.107639
+ [java] 1588138375222 Original Encoding Solving Time: 0.29554
+ [java] 1588138375222 Original Encoding Incremental Solving Time: 0.099918
+ [java] 1588138375236 Original Encoding Solving Time: 0.168436
+ [java] 1588138375236 Original Encoding Incremental Solving Time: 0.02936
+ [java] 1588138375249 Original Encoding Solving Time: 0.207547
+ [java] 1588138375249 Original Encoding Incremental Solving Time: 0.028453
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138375261 Original Encoding Solving Time: 0.170217
+ [java] 1588138375261 Original Encoding Incremental Solving Time: 0.014602
+ [java] 1588138375271 Original Encoding Solving Time: 0.140252
+ [java] 1588138375271 Original Encoding Incremental Solving Time: 0.013081
+ [java] Path Solving Time: 15.304798
+ [java] Path Solving Time: 3.989348
+ [java] 1588138375328 Original Encoding Solving Time: 0.228589
+ [java] 1588138375328 Original Encoding Incremental Solving Time: 0.08353
+ [java] 1588138375342 Original Encoding Solving Time: 0.160762
+ [java] 1588138375342 Original Encoding Incremental Solving Time: 0.013723
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138375355 Original Encoding Solving Time: 0.227116
+ [java] 1588138375355 Original Encoding Incremental Solving Time: 0.033636
+ [java] 1588138375368 Original Encoding Solving Time: 0.162519
+ [java] 1588138375368 Original Encoding Incremental Solving Time: 0.012049
+ [java] 1588138375378 Original Encoding Solving Time: 0.156006
+ [java] 1588138375378 Original Encoding Incremental Solving Time: 0.012244
+ [java] Path Solving Time: 14.707422
+ [java] Path Solving Time: 4.057412
+ [java] 1588138375435 Original Encoding Solving Time: 0.256066
+ [java] 1588138375435 Original Encoding Incremental Solving Time: 0.089352
+ [java] 1588138375448 Original Encoding Solving Time: 0.15584
+ [java] 1588138375448 Original Encoding Incremental Solving Time: 0.014538
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138375462 Original Encoding Solving Time: 0.213966
+ [java] 1588138375462 Original Encoding Incremental Solving Time: 0.022626
+ [java] 1588138375474 Original Encoding Solving Time: 0.15802
+ [java] 1588138375474 Original Encoding Incremental Solving Time: 0.014292
+ [java] 1588138375482 Original Encoding Solving Time: 0.15002
+ [java] 1588138375482 Original Encoding Incremental Solving Time: 0.022459
+ [java] Path Solving Time: 24.882645
+ [java] Path Solving Time: 4.028911
+ [java] 1588138375549 Original Encoding Solving Time: 0.228638
+ [java] 1588138375549 Original Encoding Incremental Solving Time: 0.139112
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138375569 Original Encoding Solving Time: 0.19542
+ [java] 1588138375569 Original Encoding Incremental Solving Time: 0.023835
+ [java] 1588138375588 Original Encoding Solving Time: 0.166748
+ [java] 1588138375588 Original Encoding Incremental Solving Time: 0.008115
+ [java] Path Solving Time: 168.91475
+ [java] Path Solving Time: 33.170385
+ [java] Path Solving Time: 16.456778
+ [java] Path Solving Time: 3.987662
+ [java] 1588138375854 Original Encoding Solving Time: 0.320015
+ [java] 1588138375854 Original Encoding Incremental Solving Time: 0.159778
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138375871 Original Encoding Solving Time: 0.258535
+ [java] 1588138375871 Original Encoding Incremental Solving Time: 0.029897
+ [java] 1588138375884 Original Encoding Solving Time: 0.29369
+ [java] 1588138375884 Original Encoding Incremental Solving Time: 0.00803
+ [java] Path Solving Time: 32.429944
+ [java] Path Solving Time: 16.306453
+ [java] Path Solving Time: 4.004488
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138375991 Original Encoding Solving Time: 0.334311
+ [java] 1588138375991 Original Encoding Incremental Solving Time: 0.15246
+ [java] 1588138376007 Original Encoding Solving Time: 0.20202
+ [java] 1588138376007 Original Encoding Incremental Solving Time: 0.023053
+ [java] 1588138376021 Original Encoding Solving Time: 0.157078
+ [java] 1588138376021 Original Encoding Incremental Solving Time: 0.009937
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 26.797684
+ [java] Path Solving Time: 14.025325
+ [java] Path Solving Time: 4.859838
+ [java] 1588138376118 Original Encoding Solving Time: 0.356964
+ [java] 1588138376118 Original Encoding Incremental Solving Time: 0.164763
+ [java] 1588138376133 Original Encoding Solving Time: 0.252592
+ [java] 1588138376133 Original Encoding Incremental Solving Time: 0.02927
+ [java] 1588138376147 Original Encoding Solving Time: 0.209648
+ [java] 1588138376147 Original Encoding Incremental Solving Time: 0.009025
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 23.953219
+ [java] Path Solving Time: 13.361312
+ [java] Path Solving Time: 4.821504
+ [java] 1588138376243 Original Encoding Solving Time: 0.310325
+ [java] 1588138376243 Original Encoding Incremental Solving Time: 0.159967
+ [java] 1588138376255 Original Encoding Solving Time: 0.226021
+ [java] 1588138376255 Original Encoding Incremental Solving Time: 0.017288
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138376269 Original Encoding Solving Time: 0.208797
+ [java] 1588138376269 Original Encoding Incremental Solving Time: 0.010009
+ [java] Path Solving Time: 23.798398
+ [java] Path Solving Time: 14.020352
+ [java] Path Solving Time: 4.396015
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138376367 Original Encoding Solving Time: 0.314179
+ [java] 1588138376367 Original Encoding Incremental Solving Time: 0.14387
+ [java] 1588138376381 Original Encoding Solving Time: 0.187699
+ [java] 1588138376381 Original Encoding Incremental Solving Time: 0.021304
+ [java] 1588138376394 Original Encoding Solving Time: 0.174271
+ [java] 1588138376394 Original Encoding Incremental Solving Time: 0.00627
+ [java] Path Solving Time: 19.442694
+ [java] Path Solving Time: 3.961756
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138376473 Original Encoding Solving Time: 0.330203
+ [java] 1588138376473 Original Encoding Incremental Solving Time: 0.179864
+ [java] 1588138376487 Original Encoding Solving Time: 0.22609
+ [java] 1588138376487 Original Encoding Incremental Solving Time: 0.01382
+ [java] 1588138376500 Original Encoding Solving Time: 0.166485
+ [java] 1588138376500 Original Encoding Incremental Solving Time: 0.007117
+ [java] Path Solving Time: 22.59924
+ [java] Path Solving Time: 4.9128
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138376587 Original Encoding Solving Time: 0.268019
+ [java] 1588138376587 Original Encoding Incremental Solving Time: 0.150563
+ [java] 1588138376602 Original Encoding Solving Time: 0.191788
+ [java] 1588138376602 Original Encoding Incremental Solving Time: 0.022472
+ [java] 1588138376613 Original Encoding Solving Time: 0.178788
+ [java] 1588138376613 Original Encoding Incremental Solving Time: 0.006804
+ [java] Path Solving Time: 22.210007
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.102861
+ [java] 1588138376695 Original Encoding Solving Time: 0.269632
+ [java] 1588138376695 Original Encoding Incremental Solving Time: 0.083706
+ [java] 1588138376712 Original Encoding Solving Time: 0.2253
+ [java] 1588138376712 Original Encoding Incremental Solving Time: 0.026246
+ [java] 1588138376724 Original Encoding Solving Time: 0.173524
+ [java] 1588138376724 Original Encoding Incremental Solving Time: 0.007346
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.930617
+ [java] Path Solving Time: 4.894716
+ [java] 1588138376808 Original Encoding Solving Time: 0.453098
+ [java] 1588138376808 Original Encoding Incremental Solving Time: 0.112435
+ [java] 1588138376822 Original Encoding Solving Time: 0.299795
+ [java] 1588138376822 Original Encoding Incremental Solving Time: 0.014315
+ [java] 1588138376833 Original Encoding Solving Time: 0.193361
+ [java] 1588138376833 Original Encoding Incremental Solving Time: 0.013595
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.065731
+ [java] Path Solving Time: 4.902928
+ [java] 1588138376921 Original Encoding Solving Time: 0.305336
+ [java] 1588138376921 Original Encoding Incremental Solving Time: 0.139438
+ [java] 1588138376938 Original Encoding Solving Time: 0.233739
+ [java] 1588138376938 Original Encoding Incremental Solving Time: 0.026936
+ [java] 1588138376950 Original Encoding Solving Time: 0.185091
+ [java] 1588138376950 Original Encoding Incremental Solving Time: 0.006525
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 77.182274
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.789294
+ [java] Path Solving Time: 18.031178
+ [java] Path Solving Time: 4.046353
+ [java] 1588138377123 Original Encoding Solving Time: 0.296375
+ [java] 1588138377123 Original Encoding Incremental Solving Time: 0.130136
+ [java] 1588138377149 Original Encoding Solving Time: 0.225109
+ [java] 1588138377149 Original Encoding Incremental Solving Time: 0.013531
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138377168 Original Encoding Solving Time: 0.221251
+ [java] 1588138377168 Original Encoding Incremental Solving Time: 0.007093
+ [java] Path Solving Time: 25.588712
+ [java] Path Solving Time: 4.446557
+ [java] 1588138377239 Original Encoding Solving Time: 0.358953
+ [java] 1588138377239 Original Encoding Incremental Solving Time: 0.111094
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138377270 Original Encoding Solving Time: 0.202651
+ [java] 1588138377270 Original Encoding Incremental Solving Time: 0.021608
+ [java] 1588138377290 Original Encoding Solving Time: 0.154283
+ [java] 1588138377290 Original Encoding Incremental Solving Time: 0.006451
+ [java] Path Solving Time: 19.162104
+ [java] Path Solving Time: 6.555756
+ [java] 1588138377357 Original Encoding Solving Time: 0.361332
+ [java] 1588138377357 Original Encoding Incremental Solving Time: 0.088303
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = false
+ [java] 1588138377392 Original Encoding Solving Time: 0.215219
+ [java] 1588138377392 Original Encoding Incremental Solving Time: 0.020922
+ [java] 1588138377410 Original Encoding Solving Time: 0.151618
+ [java] 1588138377410 Original Encoding Incremental Solving Time: 0.006061
+ [java] Path Solving Time: 18.442376
+ [java] Path Solving Time: 3.998984
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = false
+ [java] 1588138377471 Original Encoding Solving Time: 0.307929
+ [java] 1588138377471 Original Encoding Incremental Solving Time: 0.07424
+ [java] 1588138377498 Original Encoding Solving Time: 0.221818
+ [java] 1588138377498 Original Encoding Incremental Solving Time: 0.013474
+ [java] 1588138377516 Original Encoding Solving Time: 0.216746
+ [java] 1588138377516 Original Encoding Incremental Solving Time: 0.00721
+ [java] Path Solving Time: 21.140287
+ [java] Path Solving Time: 5.011683
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138377594 Original Encoding Solving Time: 0.266722
+ [java] 1588138377594 Original Encoding Incremental Solving Time: 0.077375
+ [java] 1588138377614 Original Encoding Solving Time: 0.183225
+ [java] 1588138377614 Original Encoding Incremental Solving Time: 0.011359
+ [java] 1588138377636 Original Encoding Solving Time: 0.197538
+ [java] 1588138377636 Original Encoding Incremental Solving Time: 0.009024
+ [java] Path Solving Time: 18.170929
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 4.136749
+ [java] 1588138377699 Original Encoding Solving Time: 0.252675
+ [java] 1588138377699 Original Encoding Incremental Solving Time: 0.09868
+ [java] 1588138377718 Original Encoding Solving Time: 0.191589
+ [java] 1588138377718 Original Encoding Incremental Solving Time: 0.011249
+ [java] 1588138377734 Original Encoding Solving Time: 0.175174
+ [java] 1588138377734 Original Encoding Incremental Solving Time: 0.008969
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 66.691322
+ [java] Path Solving Time: 18.659027
+ [java] Path Solving Time: 3.988541
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138377877 Original Encoding Solving Time: 0.402753
+ [java] 1588138377877 Original Encoding Incremental Solving Time: 0.07429
+ [java] 1588138377898 Original Encoding Solving Time: 0.22724
+ [java] 1588138377898 Original Encoding Incremental Solving Time: 0.01364
+ [java] 1588138377916 Original Encoding Solving Time: 0.158789
+ [java] 1588138377916 Original Encoding Incremental Solving Time: 0.009032
+ [java] Path Solving Time: 21.679852
+ [java] Path Solving Time: 4.040372
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588138377989 Original Encoding Solving Time: 0.242284
+ [java] 1588138377989 Original Encoding Incremental Solving Time: 0.073964
+ [java] 1588138378012 Original Encoding Solving Time: 0.20268
+ [java] 1588138378012 Original Encoding Incremental Solving Time: 0.041009
+ [java] 1588138378030 Original Encoding Solving Time: 0.19923
+ [java] 1588138378030 Original Encoding Incremental Solving Time: 0.015169
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 36.029882
+ [java] Path Solving Time: 3.999179
+ [java] 1588138378118 Original Encoding Solving Time: 0.338473
+ [java] 1588138378118 Original Encoding Incremental Solving Time: 0.151512
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 7
+ [java] Sketch Generation Time: 3337.1829919999996
+ [java] Sketch Completion Time: 2620.5071069999995
+ [java] Compilation Time: 1478.8513829999993
+ [java] Running Test cases Time: 2856.6071750000006
+ [java] Synthesis Time: 8814.297273999999
+ [java] Total Time: 10293.148656999998
+ [java] Number of components: 4
+ [java] Number of holes: 6
+ [java] Number of completed programs: 172
+ [java] Number of sketches: 52
+ [java] Solution:
+ [java] double[] sypet_var296 = sypet_arg1.toArray();
+ [java] org.apache.commons.math.linear.RealVector sypet_var297 = com.opengamma.analytics.math.util.wrapper.CommonsMathWrapper.wrap(sypet_arg0);
+ [java] org.apache.commons.math.linear.RealMatrix sypet_var298 = sypet_var297.outerProduct(sypet_var296);
+ [java] com.opengamma.analytics.math.matrix.DoubleMatrix2D sypet_var299 = com.opengamma.analytics.math.util.wrapper.CommonsMathWrapper.unwrap(sypet_var298);
+ [java] return sypet_var299;
+ [java]
+ [java] ============================
+ [java] dicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7280>:{Set(1)<0x7f3b8d6291b0>:Members: 110, 113, } 0x7f3b053c7280 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f3b8dd1c8b0>: OR
+ [java] {BooleanLogic<0x7f3b8dd1d2e0>: NOT
+ [java] {BooleanPredicate<0x7f3b8e8b2dd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b8c4843a0>:{Set(1)<0x7f3b06139930>:Members: 108, 109, } 0x7f3b8c4843a0 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b8dd1cf80>: NOT
+ [java] {BooleanPredicate<0x7f3b8e8b2dd0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b8c4843a0>:{Set(1)<0x7f3b06139930>:Members: 108, 109, } 0x7f3b8c4843a0 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b076302b0>: NOT
+ [java] {BooleanPredicate<0x7f3b8dec1b90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b06f6c8d0>:{Set(1)<0x7f3b05388f10>:Members: 110, } 0x7f3b06f6c8d0 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b07630390>: NOT
+ [java] {BooleanPredicate<0x7f3b05533270>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b05389130>:{Set(1)<0x7f3b07847ab0>:Members: 111, } 0x7f3b05389130 UNASSIGNED }{ElementConst<0x7f3b0846c110>: 111}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b07630470>: NOT
+ [java] {BooleanPredicate<0x7f3b0615f300>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b05389050>:{Set(1)<0x7f3b061605f0>:Members: 112, } 0x7f3b05389050 UNASSIGNED }{ElementConst<0x7f3b8ddbb150>: 112}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b07630550>: NOT
+ [java] {BooleanPredicate<0x7f3b064647a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7360>:{Set(1)<0x7f3b06a037e0>:Members: 108, 109, } 0x7f3b053c7360 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b07630630>: NOT
+ [java] {BooleanPredicate<0x7f3b064647a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7360>:{Set(1)<0x7f3b06a037e0>:Members: 108, 109, } 0x7f3b053c7360 UNASSIGNED }{ElementConst<0x7f3b07602850>: 108}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b07630710>: NOT
+ [java] {BooleanPredicate<0x7f3b8f7bb4c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7280>:{Set(1)<0x7f3b8d6291b0>:Members: 110, 113, } 0x7f3b053c7280 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f3b06a03220>: NOT
+ [java] {BooleanPredicate<0x7f3b8f7bb4c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f3b053c7280>:{Set(1)<0x7f3b8d6291b0>:Members: 110, 113, } 0x7f3b053c7280 UNASSIGNED }{ElementConst<0x7f3b8c2595b0>: 110}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 40 seconds
projects / Benchmarks_CSolver.git / blobdiff