--- /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: 3631.83885
+ [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: 78.599854
+ [java] Path Solving Time: 56.652056
+ [java] PetriNet for path length: 6 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Path Solving Time: 31.166776
+ [java] Path Solving Time: 7.22134
+ [java] 1588133546274 Original Encoding Solving Time: 0.669244
+ [java] 1588133546274 Original Encoding Incremental Solving Time: 0.137406
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133546516 Original Encoding Solving Time: 0.280062
+ [java] 1588133546516 Original Encoding Incremental Solving Time: 0.04568
+ [java] 1588133546537 Original Encoding Solving Time: 0.184932
+ [java] 1588133546537 Original Encoding Incremental Solving Time: 0.036279
+ [java] Path Solving Time: 28.509499
+ [java] Path Solving Time: 5.186859
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133546608 Original Encoding Solving Time: 0.738177
+ [java] 1588133546608 Original Encoding Incremental Solving Time: 0.132569
+ [java] 1588133546646 Original Encoding Solving Time: 0.25819
+ [java] 1588133546646 Original Encoding Incremental Solving Time: 0.064282
+ [java] 1588133546667 Original Encoding Solving Time: 0.165807
+ [java] 1588133546667 Original Encoding Incremental Solving Time: 0.029837
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.570006
+ [java] Path Solving Time: 7.448587
+ [java] 1588133546734 Original Encoding Solving Time: 1.065074
+ [java] 1588133546734 Original Encoding Incremental Solving Time: 0.203634
+ [java] 1588133546775 Original Encoding Solving Time: 0.468187
+ [java] 1588133546775 Original Encoding Incremental Solving Time: 0.055216
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133546795 Original Encoding Solving Time: 0.208076
+ [java] 1588133546795 Original Encoding Incremental Solving Time: 0.033361
+ [java] Path Solving Time: 19.532778
+ [java] Path Solving Time: 4.966299
+ [java] 1588133546855 Original Encoding Solving Time: 0.496175
+ [java] 1588133546855 Original Encoding Incremental Solving Time: 1.159709
+ [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] 1588133546895 Original Encoding Solving Time: 0.552504
+ [java] 1588133546895 Original Encoding Incremental Solving Time: 0.067613
+ [java] 1588133546920 Original Encoding Solving Time: 0.363635
+ [java] 1588133546920 Original Encoding Incremental Solving Time: 0.051149
+ [java] 1588133546943 Original Encoding Solving Time: 0.471046
+ [java] 1588133546943 Original Encoding Incremental Solving Time: 0.037739
+ [java] 1588133546961 Original Encoding Solving Time: 0.42472
+ [java] 1588133546961 Original Encoding Incremental Solving Time: 0.02923
+ [java] Path Solving Time: 14.715146
+ [java] Path Solving Time: 4.618821
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133547014 Original Encoding Solving Time: 0.604205
+ [java] 1588133547014 Original Encoding Incremental Solving Time: 0.14828
+ [java] 1588133547050 Original Encoding Solving Time: 0.49787
+ [java] 1588133547050 Original Encoding Incremental Solving Time: 0.064529
+ [java] 1588133547075 Original Encoding Solving Time: 0.335415
+ [java] 1588133547075 Original Encoding Incremental Solving Time: 0.05177
+ [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] 1588133547097 Original Encoding Solving Time: 0.394523
+ [java] 1588133547097 Original Encoding Incremental Solving Time: 0.024215
+ [java] 1588133547112 Original Encoding Solving Time: 0.377057
+ [java] 1588133547112 Original Encoding Incremental Solving Time: 0.032515
+ [java] Path Solving Time: 12.866648
+ [java] Path Solving Time: 4.031334
+ [java] 1588133547162 Original Encoding Solving Time: 0.338674
+ [java] 1588133547162 Original Encoding Incremental Solving Time: 0.145618
+ [java] 1588133547181 Original Encoding Solving Time: 0.478699
+ [java] 1588133547181 Original Encoding Incremental Solving Time: 0.047541
+ [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] 1588133547198 Original Encoding Solving Time: 0.35526
+ [java] 1588133547198 Original Encoding Incremental Solving Time: 0.026483
+ [java] 1588133547211 Original Encoding Solving Time: 0.324499
+ [java] 1588133547211 Original Encoding Incremental Solving Time: 0.018964
+ [java] 1588133547222 Original Encoding Solving Time: 0.195224
+ [java] 1588133547222 Original Encoding Incremental Solving Time: 0.023987
+ [java] Path Solving Time: 32.858401
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 36.24269
+ [java] 1588133547325 Original Encoding Solving Time: 0.883451
+ [java] 1588133547325 Original Encoding Incremental Solving Time: 0.122892
+ [java] 1588133547564 Original Encoding Solving Time: 0.238185
+ [java] 1588133547564 Original Encoding Incremental Solving Time: 0.030534
+ [java] Done with finding holes : Flag = true
+ [java] 1588133547786 Original Encoding Solving Time: 0.171579
+ [java] 1588133547786 Original Encoding Incremental Solving Time: 0.040949
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 40.702857
+ [java] Path Solving Time: 21.507251
+ [java] Path Solving Time: 8.69864
+ [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] 1588133547890 Original Encoding Solving Time: 0.676897
+ [java] 1588133547890 Original Encoding Incremental Solving Time: 5.014791
+ [java] 1588133547915 Original Encoding Solving Time: 0.235915
+ [java] 1588133547915 Original Encoding Incremental Solving Time: 0.034501
+ [java] 1588133547931 Original Encoding Solving Time: 0.427323
+ [java] 1588133547931 Original Encoding Incremental Solving Time: 0.02461
+ [java] 1588133547945 Original Encoding Solving Time: 0.227219
+ [java] 1588133547945 Original Encoding Incremental Solving Time: 0.024855
+ [java] 1588133547962 Original Encoding Solving Time: 0.228115
+ [java] 1588133547962 Original Encoding Incremental Solving Time: 0.026473
+ [java] Path Solving Time: 21.318791
+ [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: 9.146324
+ [java] 1588133548024 Original Encoding Solving Time: 0.306815
+ [java] 1588133548024 Original Encoding Incremental Solving Time: 0.114204
+ [java] 1588133548041 Original Encoding Solving Time: 0.191828
+ [java] 1588133548041 Original Encoding Incremental Solving Time: 0.075159
+ [java] 1588133548058 Original Encoding Solving Time: 0.251212
+ [java] 1588133548058 Original Encoding Incremental Solving Time: 0.057467
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 24.857193
+ [java] Path Solving Time: 4.172987
+ [java] Path Solving Time: 3.693938
+ [java] Path Solving Time: 160.686591
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 38.052575
+ [java] 1588133548346 Original Encoding Solving Time: 0.412697
+ [java] 1588133548346 Original Encoding Incremental Solving Time: 0.161941
+ [java] 1588133548363 Original Encoding Solving Time: 0.231223
+ [java] 1588133548363 Original Encoding Incremental Solving Time: 0.019584
+ [java] 1588133548376 Original Encoding Solving Time: 0.691333
+ [java] 1588133548376 Original Encoding Incremental Solving Time: 0.009156
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 80.337286
+ [java] Path Solving Time: 350.810636
+ [java] Path Solving Time: 153.859623
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133549004 Original Encoding Solving Time: 0.418112
+ [java] 1588133549004 Original Encoding Incremental Solving Time: 0.120542
+ [java] 1588133549022 Original Encoding Solving Time: 0.275572
+ [java] 1588133549022 Original Encoding Incremental Solving Time: 0.038195
+ [java] 1588133549037 Original Encoding Solving Time: 0.152408
+ [java] 1588133549037 Original Encoding Incremental Solving Time: 0.013331
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 48.912589
+ [java] Path Solving Time: 10.504821
+ [java] 1588133549142 Original Encoding Solving Time: 0.440478
+ [java] 1588133549142 Original Encoding Incremental Solving Time: 0.152524
+ [java] 1588133549161 Original Encoding Solving Time: 0.244106
+ [java] 1588133549161 Original Encoding Incremental Solving Time: 0.027806
+ [java] 1588133549175 Original Encoding Solving Time: 0.169065
+ [java] 1588133549175 Original Encoding Incremental Solving Time: 0.008454
+ [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: 112.025864
+ [java] Path Solving Time: 9.361884
+ [java] 1588133549340 Original Encoding Solving Time: 0.344021
+ [java] 1588133549340 Original Encoding Incremental Solving Time: 0.124567
+ [java] 1588133549360 Original Encoding Solving Time: 0.192919
+ [java] 1588133549360 Original Encoding Incremental Solving Time: 0.01435
+ [java] 1588133549374 Original Encoding Solving Time: 0.154366
+ [java] 1588133549374 Original Encoding Incremental Solving Time: 0.007547
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 292.704244
+ [java] PetriNet for path length: 7 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Path Solving Time: 46.158962
+ [java] Path Solving Time: 41.594566
+ [java] Path Solving Time: 4.919445
+ [java] 1588133558865 Original Encoding Solving Time: 0.271292
+ [java] 1588133558865 Original Encoding Incremental Solving Time: 0.138301
+ [java] 1588133558887 Original Encoding Solving Time: 0.197855
+ [java] 1588133558887 Original Encoding Incremental Solving Time: 0.059526
+ [java] 1588133558902 Original Encoding Solving Time: 0.190871
+ [java] 1588133558902 Original Encoding Incremental Solving Time: 0.052945
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 18.982568
+ [java] Path Solving Time: 4.600789
+ [java] 1588133558966 Original Encoding Solving Time: 0.588519
+ [java] 1588133558966 Original Encoding Incremental Solving Time: 0.124838
+ [java] 1588133558989 Original Encoding Solving Time: 0.218914
+ [java] 1588133558989 Original Encoding Incremental Solving Time: 0.035143
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = false
+ [java] 1588133559007 Original Encoding Solving Time: 2.650736
+ [java] serializing ...
+ [java] {BooleanLogic<0x7fed606637e0>: OR
+ [java] {BooleanPredicate<0x7fed61e03700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed601faf40>:{Set(1)<0x7fed6395b0e0>:Members: 72, 73, } 0x7fed601faf40 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] {BooleanPredicate<0x7fed61e4bc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc5aa0>:{Set(1)<0x7fed606aa780>:Members: 72, 73, } 0x7fed61dc5aa0 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fed639a7fa0>: OR
+ [java] {BooleanPredicate<0x7fed639b5e00>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed601faf40>:{Set(1)<0x7fed6395b0e0>:Members: 72, 73, } 0x7fed601faf40 UNASSIGNED }{ElementConst<0x7fed62b8ba00>: 73}
+ [java] }
+ [java] {BooleanPredicate<0x7fed6243c060>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc5aa0>:{Set(1)<0x7fed606aa780>:Members: 72, 73, } 0x7fed61dc5aa0 UNASSIGNED }{ElementConst<0x7fed62b8ba00>: 73}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fed62439f00>: OR
+ [java] {BooleanPredicate<0x7fed631a70e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed637ac230>:{Set(1)<0x7fed628a4910>:Members: 74, } 0x7fed637ac230 UNASSIGNED }{ElementConst<0x7fed6235cc40>: 74}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fed6235cb30>: OR
+ [java] {BooleanPredicate<0x7fed6243b5a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed631dd790>:{Set(1)<0x7fed6395b9f0>:Members: 75, } 0x7fed631dd790 UNASSIGNED }{ElementConst<0x7fecde27f0f0>: 75}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fecdd393cf0>: OR
+ [java] {BooleanPredicate<0x7fecdfc82330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc59c0>:{Set(1)<0x7fed601fa290>:Members: 76, } 0x7fed61dc59c0 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] {BooleanPredicate<0x7fed639ffc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61d58c20>:{Set(1)<0x7fed61e8d380>:Members: 76, 77, } 0x7fed61d58c20 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fed639adfc0>: OR
+ [java] {BooleanPredicate<0x7fed61e4a5c0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61d58c20>:{Set(1)<0x7fed61e8d380>:Members: 76, 77, } 0x7fed61d58c20 UNASSIGNED }{ElementConst<0x7fecde27e550>: 77}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fed61d93960>: OR
+ [java] {BooleanLogic<0x7fecde265d60>: NOT
+ [java] {BooleanPredicate<0x7fed61e03700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed601faf40>:{Set(1)<0x7fed6395b0e0>:Members: 72, 73, } 0x7fed601faf40 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed6235d520>: NOT
+ [java] {BooleanPredicate<0x7fed61e03700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed601faf40>:{Set(1)<0x7fed6395b0e0>:Members: 72, 73, } 0x7fed601faf40 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed623ec2b0>: NOT
+ [java] {BooleanPredicate<0x7fed631a70e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed637ac230>:{Set(1)<0x7fed628a4910>:Members: 74, } 0x7fed637ac230 UNASSIGNED }{ElementConst<0x7fed6235cc40>: 74}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fecde260850>: NOT
+ [java] {BooleanPredicate<0x7fed6243b5a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed631dd790>:{Set(1)<0x7fed6395b9f0>:Members: 75, } 0x7fed631dd790 UNASSIGNED }{ElementConst<0x7fecde27f0f0>: 75}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed6392a3c0>: NOT
+ [java] {BooleanPredicate<0x7fed61e4bc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc5aa0>:{Set(1)<0x7fed606aa780>:Members: 72, 73, } 0x7fed61dc5aa0 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed6392ab20>: NOT
+ [java] {BooleanPredicate<0x7fed61e4bc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc5aa0>:{Set(1)<0x7fed606aa780>:Members: 72, 73, } 0x7fed61dc5aa0 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed639ccff0>: NOT
+ [java] {BooleanPredicate<0x7fecdfc82330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc59c0>:{Set(1)<0x7fed601fa290>:Members: 76, } 0x7fed61dc59c0 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed61dca610>: NOT
+ [java] {BooleanPredicate<0x7fed639ffc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61d58c20>:{Set(1)<0x7fed61e8d380>:Members: 76, 77, } 0x7fed61d58c20 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed62b89cd0>: NOT
+ [java] {BooleanPredicate<0x7fed639ffc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f1588133559007 Original Encoding Incremental Solving Time: 0.041399
+ [java] Path Solving Time: 20.278204
+ [java] Path Solving Time: 4.62315
+ [java] 1588133559085 Original Encoding Solving Time: 0.467591
+ [java] 1588133559085 Original Encoding Incremental Solving Time: 0.1312
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133559111 Original Encoding Solving Time: 0.263076
+ [java] 1588133559111 Original Encoding Incremental Solving Time: 0.057137
+ [java] 1588133559129 Original Encoding Solving Time: 0.247216
+ [java] 1588133559129 Original Encoding Incremental Solving Time: 0.016799
+ [java] Path Solving Time: 22.992483
+ [java] Path Solving Time: 5.412298
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133559215 Original Encoding Solving Time: 0.429579
+ [java] 1588133559215 Original Encoding Incremental Solving Time: 0.076938
+ [java] 1588133559232 Original Encoding Solving Time: 0.174704
+ [java] 1588133559232 Original Encoding Incremental Solving Time: 0.016696
+ [java] 1588133559247 Original Encoding Solving Time: 0.196178
+ [java] 1588133559247 Original Encoding Incremental Solving Time: 0.028542
+ [java] Path Solving Time: 31.951687
+ [java] Path Solving Time: 5.170352
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133559334 Original Encoding Solving Time: 0.244569
+ [java] 1588133559334 Original Encoding Incremental Solving Time: 0.147239
+ [java] 1588133559354 Original Encoding Solving Time: 0.217718
+ [java] 1588133559354 Original Encoding Incremental Solving Time: 0.046431
+ [java] 1588133559367 Original Encoding Solving Time: 0.183538
+ [java] 1588133559367 Original Encoding Incremental Solving Time: 0.007902
+ [java] Path Solving Time: 18.661048
+ [java] Path Solving Time: 4.968082
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133559436 Original Encoding Solving Time: 0.3445
+ [java] 1588133559436 Original Encoding Incremental Solving Time: 0.142357
+ [java] 1588133559454 Original Encoding Solving Time: 0.248212
+ [java] 1588133559454 Original Encoding Incremental Solving Time: 0.026195
+ [java] 1588133559471 Original Encoding Solving Time: 0.670961
+ [java] 1588133559471 Original Encoding Incremental Solving Time: 0.011667
+ [java] Path Solving Time: 21.973481
+ [java] Path Solving Time: 4.374472
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133559540 Original Encoding Solving Time: 0.381776
+ [java] 1588133559540 Original Encoding Incremental Solving Time: 0.124122
+ [java] 1588133559558 Original Encoding Solving Time: 0.230024
+ [java] 1588133559558 Original Encoding Incremental Solving Time: 0.027694
+ [java] 1588133559572 Original Encoding Solving Time: 0.202801
+ [java] 1588133559572 Original Encoding Incremental Solving Time: 0.020925
+ [java] Path Solving Time: 23.331883
+ [java] Path Solving Time: 5.24872
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133559646 Original Encoding Solving Time: 0.311506
+ [java] 1588133559646 Original Encoding Incremental Solving Time: 0.08333
+ [java] 1588133559665 Original Encoding Solving Time: 0.173926
+ [java] 1588133559665 Original Encoding Incremental Solving Time: 0.017925
+ [java] 1588133559676 Original Encoding Solving Time: 0.16707
+ [java] 1588133559676 Original Encoding Incremental Solving Time: 0.008338
+ [java] Path Solving Time: 17.435779
+ [java] Path Solving Time: 4.233886
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133559745 Original Encoding Solving Time: 0.243517
+ [java] 1588133559745 Original Encoding Incremental Solving Time: 0.120191
+ [java] 1588133559759 Original Encoding Solving Time: 0.178762
+ [java] 1588133559759 Original Encoding Incremental Solving Time: 0.015681
+ [java] 1588133559770 Original Encoding Solving Time: 0.168759
+ [java] 1588133559770 Original Encoding Incremental Solving Time: 0.008888
+ [java] Path Solving Time: 19.298396
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.179201
+ [java] 1588133559853 Original Encoding Solving Time: 0.242488
+ [java] 1588133559853 Original Encoding Incremental Solving Time: 0.151853
+ [java] 1588133559870 Original Encoding Solving Time: 0.19886
+ [java] 1588133559870 Original Encoding Incremental Solving Time: 0.016628
+ [java] 1588133559884 Original Encoding Solving Time: 0.183699
+ [java] 1588133559884 Original Encoding Incremental Solving Time: 0.020908
+ [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: 22.403285
+ [java] Path Solving Time: 5.391163
+ [java] 1588133559966 Original Encoding Solving Time: 0.316163
+ [java] 1588133559966 Original Encoding Incremental Solving Time: 0.085747
+ [java] 1588133559984 Original Encoding Solving Time: 0.227871
+ [java] 1588133559984 Original Encoding Incremental Solving Time: 0.02475
+ [java] 1588133559996 Original Encoding Solving Time: 0.172309
+ [java] 1588133559996 Original Encoding Incremental Solving Time: 0.009448
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 20.099164
+ [java] Path Solving Time: 5.229743
+ [java] 1588133560075 Original Encoding Solving Time: 0.40124
+ [java] 1588133560075 Original Encoding Incremental Solving Time: 0.10168
+ [java] 1588133560092 Original Encoding Solving Time: 0.209353
+ [java] 1588133560092 Original Encoding Incremental Solving Time: 0.018941
+ [java] 1588133560103 Original Encoding Solving Time: 0.166363
+ [java] 1588133560103 Original Encoding Incremental Solving Time: 0.011998
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 23.547509
+ [java] Path Solving Time: 4.286144
+ [java] 1588133560181 Original Encoding Solving Time: 0.363572
+ [java] 1588133560181 Original Encoding Incremental Solving Time: 0.133021
+ [java] 1588133560197 Original Encoding Solving Time: 0.287321
+ [java] 1588133560197 Original Encoding Incremental Solving Time: 0.031928
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133560214 Original Encoding Solving Time: 0.251793
+ [java] 1588133560214 Original Encoding Incremental Solving Time: 0.011203
+ [java] Path Solving Time: 16.093273
+ [java] Path Solving Time: 4.452132
+ [java] 1588133560289 Original Encoding Solving Time: 0.430582
+ [java] 1588133560289 Original Encoding Incremental Solving Time: 0.118134
+ [java] 1588133560309 Original Encoding Solving Time: 0.248033
+ [java] 1588133560309 Original Encoding Incremental Solving Time: 0.023167
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133560324 Original Encoding Solving Time: 0.208569
+ [java] 1588133560324 Original Encoding Incremental Solving Time: 0.023354
+ [java] Path Solving Time: 25.921961
+ [java] Path Solving Time: 5.136831
+ [java] 1588133560413 Original Encoding Solving Time: 0.379872
+ [java] 1588133560413 Original Encoding Incremental Solving Time: 0.158013
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133560645 Original Encoding Solving Time: 0.168866
+ [java] 1588133560645 Original Encoding Incremental Solving Time: 0.026965
+ [java] Done with finding holes : Flag = true
+ [java] 1588133560860 Original Encoding Solving Time: 0.163516
+ [java] 1588133560860 Original Encoding Incremental Solving Time: 0.029992
+ [java] 1588133561074 Original Encoding Solving Time: 0.162152
+ [java] 1588133561074 Original Encoding Incremental Solving Time: 0.025974
+ [java] Done with finding holes : Flag = true
+ [java] 1588133561288 Original Encoding Solving Time: 0.15286
+ [java] 1588133561288 Original Encoding Incremental Solving Time: 0.017002
+ [java] Path Solving Time: 16.392101
+ [java] Path Solving Time: 4.241364
+ [java] Done with finding holes : Flag = false
+ [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] 1588133561345 Original Encoding Solving Time: 0.423775
+ [java] 1588133561345 Original Encoding Incremental Solving Time: 0.103731
+ [java] Done with finding holes : Flag = true
+ [java] 1588133561568 Original Encoding Solving Time: 0.186516
+ [java] 1588133561568 Original Encoding Incremental Solving Time: 0.023456
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] 1588133561781 Original Encoding Solving Time: 0.15269
+ [java] 1588133561781 Original Encoding Incremental Solving Time: 0.015596
+ [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] 1588133561995 Original Encoding Solving Time: 0.224316
+ [java] 1588133561995 Original Encoding Incremental Solving Time: 0.011625
+ [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] 1588133562207 Original Encoding Solving Time: 0.159869
+ [java] 1588133562207 Original Encoding Incremental Solving Time: 0.01224
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.408323
+ [java] Path Solving Time: 4.285999
+ [java] 1588133562265 Original Encoding Solving Time: 0.383069
+ [java] 1588133562265 Original Encoding Incremental Solving Time: 0.158916
+ [java] 1588133562281 Original Encoding Solving Time: 0.173847
+ [java] 1588133562281 Original Encoding Incremental Solving Time: 0.014692
+ [java] 1588133562293 Original Encoding Solving Time: 0.17459
+ [java] 1588133562293 Original Encoding Incremental Solving Time: 0.027556
+ [java] 1588133562304 Original Encoding Solving Time: 0.166728
+ [java] 1588133562304 Original Encoding Incremental Solving Time: 0.01244
+ [java] 1588133562315 Original Encoding Solving Time: 0.148812
+ [java] 1588133562315 Original Encoding Incremental Solving Time: 0.022437
+ [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] Path Solving Time: 16.327088
+ [java] Path Solving Time: 4.223065
+ [java] 1588133562372 Original Encoding Solving Time: 0.237449
+ [java] 1588133562372 Original Encoding Incremental Solving Time: 0.086577
+ [java] 1588133562386 Original Encoding Solving Time: 0.163483
+ [java] 1588133562386 Original Encoding Incremental Solving Time: 0.014923
+ [java] 1588133562398 Original Encoding Solving Time: 0.223054
+ [java] 1588133562398 Original Encoding Incremental Solving Time: 0.018803
+ [java] 1588133562410 Original Encoding Solving Time: 0.176043
+ [java] 1588133562410 Original Encoding Incremental Solving Time: 0.013063
+ [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] 1588133562421 Original Encoding Solving Time: 0.163234
+ [java] 1588133562421 Original Encoding Incremental Solving Time: 0.013735
+ [java] Path Solving Time: 15.518692
+ [java] Path Solving Time: 4.195951
+ [java] 1588133562477 Original Encoding Solving Time: 0.23273
+ [java] 1588133562477 Original Encoding Incremental Solving Time: 0.087257
+ [java] 1588133562491 Original Encoding Solving Time: 0.18012
+ [java] 1588133562491 Original Encoding Incremental Solving Time: 0.016685
+ [java] 1588133562501 Original Encoding Solving Time: 0.19019
+ [java] 1588133562501 Original Encoding Incremental Solving Time: 0.022149
+ [java] 1588133562511 Original Encoding Solving Time: 0.160765
+ [java] 1588133562511 Original Encoding Incremental Solving Time: 0.013459
+ [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] 1588133562519 Original Encoding Solving Time: 0.160125
+ [java] 1588133562519 Original Encoding Incremental Solving Time: 0.013565
+ [java] Path Solving Time: 25.993567
+ [java] Path Solving Time: 4.283177
+ [java] 1588133562589 Original Encoding Solving Time: 0.254814
+ [java] 1588133562589 Original Encoding Incremental Solving Time: 0.090202
+ [java] 1588133562608 Original Encoding Solving Time: 0.183067
+ [java] 1588133562608 Original Encoding Incremental Solving Time: 0.014145
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133562623 Original Encoding Solving Time: 0.200077
+ [java] 1588133562623 Original Encoding Incremental Solving Time: 0.015744
+ [java] Path Solving Time: 176.536013
+ [java] Path Solving Time: 34.46036
+ [java] Path Solving Time: 16.936036
+ [java] Path Solving Time: 4.228157
+ [java] 1588133562901 Original Encoding Solving Time: 0.20601
+ [java] 1588133562901 Original Encoding Incremental Solving Time: 0.097784
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133562922 Original Encoding Solving Time: 0.176765
+ [java] 1588133562922 Original Encoding Incremental Solving Time: 0.01971
+ [java] 1588133562934 Original Encoding Solving Time: 0.236646
+ [java] 1588133562934 Original Encoding Incremental Solving Time: 0.008078
+ [java] Path Solving Time: 29.273962
+ [java] Path Solving Time: 13.759806
+ [java] Path Solving Time: 4.065755
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133563027 Original Encoding Solving Time: 0.281278
+ [java] 1588133563027 Original Encoding Incremental Solving Time: 0.107303
+ [java] 1588133563042 Original Encoding Solving Time: 0.171395
+ [java] 1588133563042 Original Encoding Incremental Solving Time: 0.01272
+ [java] 1588133563056 Original Encoding Solving Time: 0.172108
+ [java] 1588133563056 Original Encoding Incremental Solving Time: 0.007514
+ [java] Path Solving Time: 27.014523
+ [java] Path Solving Time: 14.198867
+ [java] Path Solving Time: 4.183198
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133563151 Original Encoding Solving Time: 0.425025
+ [java] 1588133563151 Original Encoding Incremental Solving Time: 0.125358
+ [java] 1588133563166 Original Encoding Solving Time: 0.262585
+ [java] 1588133563166 Original Encoding Incremental Solving Time: 0.030857
+ [java] 1588133563179 Original Encoding Solving Time: 0.246587
+ [java] 1588133563179 Original Encoding Incremental Solving Time: 0.008635
+ [java] Path Solving Time: 23.893603
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.640938
+ [java] Path Solving Time: 4.936486
+ [java] 1588133563272 Original Encoding Solving Time: 0.262055
+ [java] 1588133563272 Original Encoding Incremental Solving Time: 0.149526
+ [java] 1588133563285 Original Encoding Solving Time: 0.228194
+ [java] 1588133563285 Original Encoding Incremental Solving Time: 0.027503
+ [java] 1588133563296 Original Encoding Solving Time: 0.160028
+ [java] 1588133563296 Original Encoding Incremental Solving Time: 0.007277
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 23.599333
+ [java] Path Solving Time: 14.113077
+ [java] Path Solving Time: 4.363519
+ [java] 1588133563394 Original Encoding Solving Time: 0.306431
+ [java] 1588133563394 Original Encoding Incremental Solving Time: 0.142901
+ [java] 1588133563408 Original Encoding Solving Time: 0.218467
+ [java] 1588133563408 Original Encoding Incremental Solving Time: 0.013346
+ [java] 1588133563420 Original Encoding Solving Time: 0.170785
+ [java] 1588133563420 Original Encoding Incremental Solving Time: 0.008448
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 23.159147
+ [java] Path Solving Time: 4.107465
+ [java] 1588133563500 Original Encoding Solving Time: 0.370245
+ [java] 1588133563500 Original Encoding Incremental Solving Time: 0.137627
+ [java] 1588133563517 Original Encoding Solving Time: 0.220922
+ [java] 1588133563517 Original Encoding Incremental Solving Time: 0.027216
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133563529 Original Encoding Solving Time: 0.172317
+ [java] 1588133563529 Original Encoding Incremental Solving Time: 0.007341
+ [java] Path Solving Time: 20.394543
+ [java] Path Solving Time: 4.141741
+ [java] 1588133563603 Original Encoding Solving Time: 0.275655
+ [java] 1588133563603 Original Encoding Incremental Solving Time: 0.087403
+ [java] 1588133563617 Original Encoding Solving Time: 0.230866
+ [java] 1588133563617 Original Encoding Incremental Solving Time: 0.016452
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133563628 Original Encoding Solving Time: 0.174606
+ [java] 1588133563628 Original Encoding Incremental Solving Time: 0.006876
+ [java] Path Solving Time: 21.182542
+ [java] Path Solving Time: 5.00542
+ [java] 1588133563707 Original Encoding Solving Time: 0.235037
+ [java] 1588133563707 Original Encoding Incremental Solving Time: 0.125957
+ [java] 1588133563720 Original Encoding Solving Time: 0.219196
+ [java] 1588133563720 Original Encoding Incremental Solving Time: 0.016987
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133563732 Original Encoding Solving Time: 0.174366
+ [java] 1588133563732 Original Encoding Incremental Solving Time: 0.006965
+ [java] Path Solving Time: 21.495468
+ [java] Path Solving Time: 4.081821
+ [java] 1588133563811 Original Encoding Solving Time: 0.454179
+ [java] 1588133563811 Original Encoding Incremental Solving Time: 0.101668
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133563825 Original Encoding Solving Time: 0.254404
+ [java] 1588133563825 Original Encoding Incremental Solving Time: 0.014565
+ [java] 1588133563837 Original Encoding Solving Time: 0.211906
+ [java] 1588133563837 Original Encoding Incremental Solving Time: 0.015174
+ [java] Path Solving Time: 22.113341
+ [java] Path Solving Time: 4.175467
+ [java] 1588133563917 Original Encoding Solving Time: 0.261929
+ [java] 1588133563917 Original Encoding Incremental Solving Time: 0.1115
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133563931 Original Encoding Solving Time: 0.185928
+ [java] 1588133563931 Original Encoding Incremental Solving Time: 0.016376
+ [java] 1588133563946 Original Encoding Solving Time: 0.167223
+ [java] 1588133563946 Original Encoding Incremental Solving Time: 0.006292
+ [java] Path Solving Time: 74.682572
+ [java] Path Solving Time: 24.965707
+ [java] Path Solving Time: 19.572478
+ [java] Path Solving Time: 4.162672
+ [java] 1588133564121 Original Encoding Solving Time: 0.257563
+ [java] 1588133564121 Original Encoding Incremental Solving Time: 0.10462
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133564144 Original Encoding Solving Time: 0.218101
+ [java] 1588133564144 Original Encoding Incremental Solving Time: 0.011868
+ [java] 1588133564164 Original Encoding Solving Time: 0.278017
+ [java] 1588133564164 Original Encoding Incremental Solving Time: 0.016554
+ [java] Path Solving Time: 22.82194
+ [java] Path Solving Time: 7.040363
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133564236 Original Encoding Solving Time: 0.386716
+ [java] 1588133564236 Original Encoding Incremental Solving Time: 0.104634
+ [java] 1588133564267 Original Encoding Solving Time: 0.191299
+ [java] 1588133564267 Original Encoding Incremental Solving Time: 0.012141
+ [java] 1588133564286 Original Encoding Solving Time: 0.142113
+ [java] 1588133564286 Original Encoding Incremental Solving Time: 0.007363
+ [java] Path Solving Time: 20.493971
+ [java] Path Solving Time: 4.382093
+ [java] Done with finding holes : Flag = false
+ [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] 1588133564353 Original Encoding Solving Time: 0.351877
+ [java] 1588133564353 Original Encoding Incremental Solving Time: 0.072128
+ [java] 1588133564379 Original Encoding Solving Time: 0.19236
+ [java] 1588133564379 Original Encoding Incremental Solving Time: 0.010821
+ [java] 1588133564397 Original Encoding Solving Time: 0.178252
+ [java] 1588133564397 Original Encoding Incremental Solving Time: 0.006475
+ [java] Path Solving Time: 19.107485
+ [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] 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] Path Solving Time: 4.196714
+ [java] 1588133564462 Original Encoding Solving Time: 0.231684
+ [java] 1588133564462 Original Encoding Incremental Solving Time: 0.084609
+ [java] 1588133564485 Original Encoding Solving Time: 0.169779
+ [java] 1588133564485 Original Encoding Incremental Solving Time: 0.011437
+ [java] 1588133564502 Original Encoding Solving Time: 0.177395
+ [java] 1588133564502 Original Encoding Incremental Solving Time: 0.0084
+ [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] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.057123
+ [java] Path Solving Time: 4.180502
+ [java] 1588133564567 Original Encoding Solving Time: 0.234437
+ [java] 1588133564567 Original Encoding Incremental Solving Time: 0.087588
+ [java] 1588133564586 Original Encoding Solving Time: 0.172133
+ [java] 1588133564586 Original Encoding Incremental Solving Time: 0.013548
+ [java] 1588133564602 Original Encoding Solving Time: 0.161448
+ [java] 1588133564602 Original Encoding Incremental Solving Time: 0.006565
+ [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: 18.181193
+ [java] Path Solving Time: 4.20659
+ [java] 1588133564675 Original Encoding Solving Time: 0.244141
+ [java] 1588133564675 Original Encoding Incremental Solving Time: 0.077017
+ [java] 1588133564693 Original Encoding Solving Time: 0.177127
+ [java] 1588133564693 Original Encoding Incremental Solving Time: 0.015522
+ [java] 1588133564707 Original Encoding Solving Time: 0.168905
+ [java] 1588133564707 Original Encoding Incremental Solving Time: 0.006633
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 69.871322
+ [java] Path Solving Time: 18.151293
+ [java] Path Solving Time: 4.121451
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588133564850 Original Encoding Solving Time: 0.270611
+ [java] 1588133564850 Original Encoding Incremental Solving Time: 0.099401
+ [java] 1588133564871 Original Encoding Solving Time: 0.178924
+ [java] 1588133564871 Original Encoding Incremental Solving Time: 0.010273
+ [java] 1588133564887 Original Encoding Solving Time: 0.179227
+ [java] 1588133564887 Original Encoding Incremental Solving Time: 0.005602
+ [java] Path Solving Time: 22.785035
+ [java] Path Solving Time: 4.166943
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133564958 Original Encoding Solving Time: 0.245659
+ [java] 1588133564958 Original Encoding Incremental Solving Time: 0.071875
+ [java] 1588133564982 Original Encoding Solving Time: 0.188954
+ [java] 1588133564982 Original Encoding Incremental Solving Time: 0.036759
+ [java] 1588133565000 Original Encoding Solving Time: 0.18151
+ [java] 1588133565000 Original Encoding Incremental Solving Time: 0.005832
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 32.742571
+ [java] Path Solving Time: 4.136585
+ [java] 1588133565078 Original Encoding Solving Time: 0.335817
+ [java] 1588133565078 Original Encoding Incremental Solving Time: 0.081742
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 7
+ [java] Sketch Generation Time: 3354.8325049999994
+ [java] Sketch Completion Time: 2492.210255
+ [java] Compilation Time: 1509.9691360000002
+ [java] Running Test cases Time: 2628.2867490000012
+ [java] Synthesis Time: 8475.329509000001
+ [java] Total Time: 9985.298645
+ [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] ed61d58c20>:{Set(1)<0x7fed61e8d380>:Members: 76, 77, } 0x7fed61d58c20 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7fed623ed560>: OR
+ [java] {BooleanLogic<0x7fecde262b20>: NOT
+ [java] {BooleanPredicate<0x7fed61e03700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed601faf40>:{Set(1)<0x7fed6395b0e0>:Members: 72, 73, } 0x7fed601faf40 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed62463930>: NOT
+ [java] {BooleanPredicate<0x7fed61e03700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed601faf40>:{Set(1)<0x7fed6395b0e0>:Members: 72, 73, } 0x7fed601faf40 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed61e606f0>: NOT
+ [java] {BooleanPredicate<0x7fed631a70e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed637ac230>:{Set(1)<0x7fed628a4910>:Members: 74, } 0x7fed637ac230 UNASSIGNED }{ElementConst<0x7fed6235cc40>: 74}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed639b66e0>: NOT
+ [java] {BooleanPredicate<0x7fed6243b5a0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed631dd790>:{Set(1)<0x7fed6395b9f0>:Members: 75, } 0x7fed631dd790 UNASSIGNED }{ElementConst<0x7fecde27f0f0>: 75}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed639b5b90>: NOT
+ [java] {BooleanPredicate<0x7fed61e4bc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc5aa0>:{Set(1)<0x7fed606aa780>:Members: 72, 73, } 0x7fed61dc5aa0 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed639b7aa0>: NOT
+ [java] {BooleanPredicate<0x7fed61e4bc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc5aa0>:{Set(1)<0x7fed606aa780>:Members: 72, 73, } 0x7fed61dc5aa0 UNASSIGNED }{ElementConst<0x7fed63929fc0>: 72}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed639aafc0>: NOT
+ [java] {BooleanPredicate<0x7fecdfc82330>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61dc59c0>:{Set(1)<0x7fed601fa290>:Members: 76, } 0x7fed61dc59c0 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed639a8840>: NOT
+ [java] {BooleanPredicate<0x7fed639ffc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61d58c20>:{Set(1)<0x7fed61e8d380>:Members: 76, 77, } 0x7fed61d58c20 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7fed61e66850>: NOT
+ [java] {BooleanPredicate<0x7fed639ffc90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7fed61d58c20>:{Set(1)<0x7fed61e8d380>:Members: 76, 77, } 0x7fed61d58c20 UNASSIGNED }{ElementConst<0x7fed61e03e00>: 76}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] Done with finding holes : Flag = true
+
+BUILD SUCCESSFUL
+Total time: 38 seconds
projects / Benchmarks_CSolver.git / blobdiff