--- /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: 3845.801634
+ [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: 54.604796
+ [java] Path Solving Time: 61.781301
+ [java] PetriNet for path length: 6 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Path Solving Time: 30.744639
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 6.642652
+ [java] 1588122997038 Original Encoding Solving Time: 0.906841
+ [java] 1588122997038 Original Encoding Incremental Solving Time: 0.151378
+ [java] 1588122997279 Original Encoding Solving Time: 0.377199
+ [java] 1588122997279 Original Encoding Incremental Solving Time: 0.04676
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588122997301 Original Encoding Solving Time: 0.18325
+ [java] 1588122997301 Original Encoding Incremental Solving Time: 0.035627
+ [java] Path Solving Time: 27.952268
+ [java] Path Solving Time: 5.172262
+ [java] 1588122997366 Original Encoding Solving Time: 0.851433
+ [java] 1588122997366 Original Encoding Incremental Solving Time: 0.114887
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122997403 Original Encoding Solving Time: 0.428704
+ [java] 1588122997403 Original Encoding Incremental Solving Time: 0.042226
+ [java] 1588122997429 Original Encoding Solving Time: 0.173998
+ [java] 1588122997429 Original Encoding Incremental Solving Time: 0.055996
+ [java] Path Solving Time: 16.554033
+ [java] Path Solving Time: 4.735112
+ [java] 1588122997482 Original Encoding Solving Time: 0.868334
+ [java] 1588122997482 Original Encoding Incremental Solving Time: 0.12768
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122997509 Original Encoding Solving Time: 0.349333
+ [java] 1588122997509 Original Encoding Incremental Solving Time: 0.037765
+ [java] 1588122997527 Original Encoding Solving Time: 0.193654
+ [java] 1588122997527 Original Encoding Incremental Solving Time: 0.023941
+ [java] Path Solving Time: 18.146847
+ [java] Path Solving Time: 4.63934
+ [java] 1588122997582 Original Encoding Solving Time: 2.050012
+ [java] 1588122997582 Original Encoding Incremental Solving Time: 0.285177
+ [java] Renaming procedure ...
+ [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] 1588122997621 Original Encoding Solving Time: 0.601417
+ [java] 1588122997621 Original Encoding Incremental Solving Time: 0.102803
+ [java] 1588122997641 Original Encoding Solving Time: 0.221264
+ [java] 1588122997641 Original Encoding Incremental Solving Time: 0.048397
+ [java] 1588122997659 Original Encoding Solving Time: 0.297718
+ [java] 1588122997659 Original Encoding Incremental Solving Time: 0.03068
+ [java] 1588122997676 Original Encoding Solving Time: 0.45814
+ [java] 1588122997676 Original Encoding Incremental Solving Time: 0.031777
+ [java] Path Solving Time: 15.374828
+ [java] Path Solving Time: 4.544261
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588122997725 Original Encoding Solving Time: 0.562529
+ [java] 1588122997725 Original Encoding Incremental Solving Time: 0.253257
+ [java] 1588122997760 Original Encoding Solving Time: 0.439162
+ [java] 1588122997760 Original Encoding Incremental Solving Time: 0.08144
+ [java] 1588122997783 Original Encoding Solving Time: 0.19158
+ [java] 1588122997783 Original Encoding Incremental Solving Time: 0.041715
+ [java] 1588122997799 Original Encoding Solving Time: 0.210336
+ [java] 1588122997799 Original Encoding Incremental Solving Time: 0.028483
+ [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] 1588122997815 Original Encoding Solving Time: 0.378483
+ [java] 1588122997815 Original Encoding Incremental Solving Time: 0.042362
+ [java] Path Solving Time: 11.954928
+ [java] Path Solving Time: 3.82449
+ [java] 1588122997860 Original Encoding Solving Time: 0.642923
+ [java] 1588122997860 Original Encoding Incremental Solving Time: 0.141123
+ [java] 1588122997884 Original Encoding Solving Time: 0.542222
+ [java] 1588122997884 Original Encoding Incremental Solving Time: 0.053964
+ [java] 1588122997904 Original Encoding Solving Time: 0.225502
+ [java] 1588122997904 Original Encoding Incremental Solving Time: 0.029787
+ [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] 1588122997916 Original Encoding Solving Time: 0.294708
+ [java] 1588122997916 Original Encoding Incremental Solving Time: 0.027834
+ [java] 1588122997928 Original Encoding Solving Time: 0.195992
+ [java] 1588122997928 Original Encoding Incremental Solving Time: 0.024072
+ [java] Path Solving Time: 31.856328
+ [java] Path Solving Time: 36.710987
+ [java] Done with finding holes : Flag = true
+ [java] 1588122998025 Original Encoding Solving Time: 0.519649
+ [java] 1588122998025 Original Encoding Incremental Solving Time: 0.140159
+ [java] Done with finding holes : Flag = true
+ [java] 1588122998261 Original Encoding Solving Time: 0.178563
+ [java] 1588122998261 Original Encoding Incremental Solving Time: 0.036863
+ [java] 1588122998484 Original Encoding Solving Time: 0.17217
+ [java] 1588122998484 Original Encoding Incremental Solving Time: 0.035118
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 41.109064
+ [java] Path Solving Time: 21.456592
+ [java] Path Solving Time: 10.381946
+ [java] 1588122998585 Original Encoding Solving Time: 0.44772
+ [java] 1588122998585 Original Encoding Incremental Solving Time: 0.203208
+ [java] 1588122998607 Original Encoding Solving Time: 0.202879
+ [java] 1588122998607 Original Encoding Incremental Solving Time: 0.034515
+ [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] 1588122998620 Original Encoding Solving Time: 0.439955
+ [java] 1588122998620 Original Encoding Incremental Solving Time: 0.027008
+ [java] 1588122998632 Original Encoding Solving Time: 0.182891
+ [java] 1588122998632 Original Encoding Incremental Solving Time: 0.016922
+ [java] 1588122998644 Original Encoding Solving Time: 0.178807
+ [java] 1588122998644 Original Encoding Incremental Solving Time: 0.020759
+ [java] Path Solving Time: 19.052384
+ [java] Path Solving Time: 8.620987
+ [java] 1588122998699 Original Encoding Solving Time: 0.348734
+ [java] 1588122998699 Original Encoding Incremental Solving Time: 0.09276
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122998721 Original Encoding Solving Time: 0.205345
+ [java] 1588122998721 Original Encoding Incremental Solving Time: 0.074707
+ [java] 1588122998740 Original Encoding Solving Time: 0.236324
+ [java] 1588122998740 Original Encoding Incremental Solving Time: 0.059516
+ [java] Path Solving Time: 23.716493
+ [java] Path Solving Time: 4.526989
+ [java] Path Solving Time: 4.393797
+ [java] Path Solving Time: 182.640708
+ [java] Path Solving Time: 42.733878
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122999031 Original Encoding Solving Time: 0.405529
+ [java] 1588122999031 Original Encoding Incremental Solving Time: 0.147588
+ [java] 1588122999048 Original Encoding Solving Time: 0.196288
+ [java] 1588122999048 Original Encoding Incremental Solving Time: 0.02198
+ [java] 1588122999061 Original Encoding Solving Time: 0.150356
+ [java] 1588122999061 Original Encoding Incremental Solving Time: 0.007671
+ [java] Path Solving Time: 79.115076
+ [java] Path Solving Time: 354.833542
+ [java] Path Solving Time: 153.565206
+ [java] 1588122999679 Original Encoding Solving Time: 0.333407
+ [java] 1588122999679 Original Encoding Incremental Solving Time: 0.110664
+ [java] 1588122999699 Original Encoding Solving Time: 2.750593
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f4254dd67a0>: OR
+ [java] {BooleanPredicate<0x7f42574fdfb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad55b0>:{Set(1)<0x7f42541fa590>:Members: 16, 17, } 0x7f4256ad55b0 UNASSIGNED }{ElementConst<0x7f4254da0490>: 16}
+ [java] }
+ [java] {BooleanPredicate<0x7f4257501470>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5440>:{Set(1)<0x7f4254dd64c0>:Members: 16, 17, } 0x7f4256ad5440 UNASSIGNED }{ElementConst<0x7f4254da0490>: 16}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4254a791d0>: OR
+ [java] {BooleanPredicate<0x7f42575014e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad55b0>:{Set(1)<0x7f42541fa590>:Members: 16, 17, } 0x7f4256ad55b0 UNASSIGNED }{ElementConst<0x7f4257943440>: 17}
+ [java] }
+ [java] {BooleanPredicate<0x7f4257501360>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5440>:{Set(1)<0x7f4254dd64c0>:Members: 16, 17, } 0x7f4256ad5440 UNASSIGNED }{ElementConst<0x7f4257943440>: 17}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4254a76460>: OR
+ [java] {BooleanPredicate<0x7f4257501400>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad52d0>:{Set(1)<0x7f4257943680>:Members: 18, 19, } 0x7f4256ad52d0 UNASSIGNED }{ElementConst<0x7f4257744400>: 18}
+ [java] }
+ [java] {BooleanPredicate<0x7f4254dd3950>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f4254dd6d10>:Members: 18, 19, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4257744400>: 18}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f42568e1db0>: OR
+ [java] {BooleanPredicate<0x7f42574ffc20>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad52d0>:{Set(1)<0x7f4257943680>:Members: 18, 19, } 0x7f4256ad52d0 UNASSIGNED }{ElementConst<0x7f4257743a00>: 19}
+ [java] }
+ [java] {BooleanPredicate<0x7f42577434f0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f4254dd6d10>:Members: 18, 19, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4257743a00>: 19}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4255c280d0>: OR
+ [java] {BooleanPredicate<0x7f4257743460>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257500030>:{Set(1)<0x7f4255c292c0>:Members: 20, } 0x7f4257500030 UNASSIGNED }{ElementConst<0x7f42574fda80>: 20}
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f41d837a430>: OR
+ [java] {BooleanPredicate<0x7f4255d36700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257500030>:{Set(1)<0x7f41d87934f0>:Members: 51, 52, } 0x7f4257500030 UNASSIGNED }{ElementConst<0x7f42574fd860>: 51}
+ [java] }
+ [java] {BooleanPredicate<0x7f4255d36bb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad52d0>:{Set(1)<0x7f4256abf9a0>:Members: 51, 52, } 0x7f4256ad52d0 UNASSIGNED }{ElementConst<0x7f42574fd860>: 51}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f41d8346670>: OR
+ [java] {BooleanPredicate<0x7f41d879c580>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257500030>:{Set(1)<0x7f41d87934f0>:Members: 51, 52, } 0x7f4257500030 UNASSIGNED }{ElementConst<0x7f42574fda80>: 52}
+ [java] }
+ [java] {BooleanPredicate<0x7f4255cfa2e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad52d0>:{Set(1)<0x7f4256abf9a0>:Members: 51, 52, } 0x7f4256ad52d0 UNASSIGNED }{ElementConst<0x7f42574fda80>: 52}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4255cfd380>: OR
+ [java] {BooleanPredicate<0x7f4255cfab40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f4256ac24b0>:Members: 53, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f425690d660>: 53}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f42541f45b0>: OR
+ [java] {BooleanPredicate<0x7f4255cf5670>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5440>:{Set(1)<0x7f425648b050>:Members: 54, } 0x7f4256ad5440 UNASSIGNED }{ElementConst<0x7f4255bf53a0>: 54}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4254667050>: OR
+ [java] {BooleanLogic<0x7f4256ac25d0>: NOT
+ [java] {BooleanPredicate<0x7f4255d36700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257500030>:{Set(1)<0x7f41d87934f0>:Members: 51, 52, } 0x7f4257500030 UNASSIGNED }{ElementConst<0x7f42574fd860>: 51}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4255d19370>: NOT
+ [java] {BooleanPredicate<0x7f4255d36700>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257500030>:{Set(1)<0x7f41d87934f0>:Members: 51, 52, } 0x7f4257500030 UNASSIGNED }{ElementConst<0x7f42574fd860>: 51}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f425474e5b0>: NOT
+ [java] {BooleanPredicate<0x7f4255cfab40>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f4256ac24b0>:Members: 53, } 0x7f4256ad5160 UNASSIGNED }{Elem1588122999699 Original Encoding Incremental Solving Time: 0.033115
+ [java] Done with finding holes : Flag = true
+ [java] Renaming procedure ...
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122999717 Original Encoding Solving Time: 0.14151
+ [java] 1588122999717 Original Encoding Incremental Solving Time: 0.008483
+ [java] Path Solving Time: 39.394917
+ [java] Path Solving Time: 15.40311
+ [java] 1588122999804 Original Encoding Solving Time: 0.405048
+ [java] 1588122999804 Original Encoding Incremental Solving Time: 0.148313
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122999822 Original Encoding Solving Time: 0.243308
+ [java] 1588122999822 Original Encoding Incremental Solving Time: 0.023559
+ [java] 1588122999835 Original Encoding Solving Time: 0.163617
+ [java] 1588122999835 Original Encoding Incremental Solving Time: 0.008841
+ [java] Path Solving Time: 111.637621
+ [java] Path Solving Time: 9.024765
+ [java] 1588122999988 Original Encoding Solving Time: 0.324383
+ [java] 1588122999988 Original Encoding Incremental Solving Time: 0.075261
+ [java] 1588123000003 Original Encoding Solving Time: 0.184356
+ [java] 1588123000003 Original Encoding Incremental Solving Time: 0.013382
+ [java] 1588123000015 Original Encoding Solving Time: 0.601475
+ [java] 1588123000015 Original Encoding Incremental Solving Time: 0.009015
+ [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: 292.062804
+ [java] PetriNet for path length: 7 [places: 692 ; transitions: 5020 ; edges: 13369]
+ [java] Path Solving Time: 43.256145
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 206.391787
+ [java] Path Solving Time: 3.837612
+ [java] 1588123009076 Original Encoding Solving Time: 0.249478
+ [java] 1588123009076 Original Encoding Incremental Solving Time: 0.074767
+ [java] 1588123009097 Original Encoding Solving Time: 0.194845
+ [java] 1588123009097 Original Encoding Incremental Solving Time: 0.066635
+ [java] 1588123009111 Original Encoding Solving Time: 0.224452
+ [java] 1588123009111 Original Encoding Incremental Solving Time: 0.067455
+ [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: 20.029661
+ [java] Path Solving Time: 5.181158
+ [java] 1588123009179 Original Encoding Solving Time: 0.512846
+ [java] 1588123009179 Original Encoding Incremental Solving Time: 0.212464
+ [java] 1588123009205 Original Encoding Solving Time: 0.260847
+ [java] 1588123009205 Original Encoding Incremental Solving Time: 0.051413
+ [java] 1588123009221 Original Encoding Solving Time: 0.243548
+ [java] 1588123009221 Original Encoding Incremental Solving Time: 0.024325
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 21.137603
+ [java] Path Solving Time: 5.347255
+ [java] 1588123009292 Original Encoding Solving Time: 0.397685
+ [java] 1588123009292 Original Encoding Incremental Solving Time: 0.161151
+ [java] 1588123009316 Original Encoding Solving Time: 0.311781
+ [java] 1588123009316 Original Encoding Incremental Solving Time: 0.045193
+ [java] 1588123009328 Original Encoding Solving Time: 0.232302
+ [java] 1588123009328 Original Encoding Incremental Solving Time: 0.022492
+ [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: 20.095644
+ [java] Path Solving Time: 5.210598
+ [java] 1588123009398 Original Encoding Solving Time: 0.478652
+ [java] 1588123009398 Original Encoding Incremental Solving Time: 0.223947
+ [java] 1588123009414 Original Encoding Solving Time: 0.37778
+ [java] 1588123009414 Original Encoding Incremental Solving Time: 0.025559
+ [java] 1588123009426 Original Encoding Solving Time: 0.169146
+ [java] 1588123009426 Original Encoding Incremental Solving Time: 0.030352
+ [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: 31.068819
+ [java] Path Solving Time: 4.170021
+ [java] 1588123009505 Original Encoding Solving Time: 0.295562
+ [java] 1588123009505 Original Encoding Incremental Solving Time: 0.153404
+ [java] 1588123009521 Original Encoding Solving Time: 0.230027
+ [java] 1588123009521 Original Encoding Incremental Solving Time: 0.02187
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123009532 Original Encoding Solving Time: 0.162114
+ [java] 1588123009532 Original Encoding Incremental Solving Time: 0.009527
+ [java] Path Solving Time: 19.14759
+ [java] Path Solving Time: 5.143234
+ [java] 1588123009604 Original Encoding Solving Time: 0.237535
+ [java] 1588123009604 Original Encoding Incremental Solving Time: 0.102099
+ [java] 1588123009619 Original Encoding Solving Time: 0.191193
+ [java] 1588123009619 Original Encoding Incremental Solving Time: 0.023589
+ [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] 1588123009634 Original Encoding Solving Time: 2.031905
+ [java] entConst<0x7f425690d660>: 53}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4256a87240>: NOT
+ [java] {BooleanPredicate<0x7f4255d36bb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad52d0>:{Set(1)<0x7f4256abf9a0>:Members: 51, 52, } 0x7f4256ad52d0 UNASSIGNED }{ElementConst<0x7f42574fd860>: 51}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4257744250>: NOT
+ [java] {BooleanPredicate<0x7f4255d36bb0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad52d0>:{Set(1)<0x7f4256abf9a0>:Members: 51, 52, } 0x7f4256ad52d0 UNASSIGNED }{ElementConst<0x7f42574fd860>: 51}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f41d8346310>: NOT
+ [java] {BooleanPredicate<0x7f4255cf5670>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5440>:{Set(1)<0x7f425648b050>:Members: 54, } 0x7f4256ad5440 UNASSIGNED }{ElementConst<0x7f4255bf53a0>: 54}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] serializing ...
+ [java] {BooleanLogic<0x7f4256ac2070>: OR
+ [java] {BooleanPredicate<0x7f42578399d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f425506c3a0>:Members: 96, 97, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] {BooleanPredicate<0x7f42543f3df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42564edc80>:{Set(1)<0x7f42568e0990>:Members: 96, 97, } 0x7f42564edc80 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4254762240>: OR
+ [java] {BooleanPredicate<0x7f4255d6d1e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f425506c3a0>:Members: 96, 97, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f42549cd3f0>: 97}
+ [java] }
+ [java] {BooleanPredicate<0x7f42564a9c60>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42564edc80>:{Set(1)<0x7f42568e0990>:Members: 96, 97, } 0x7f42564edc80 UNASSIGNED }{ElementConst<0x7f42549cd3f0>: 97}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4256501e30>: OR
+ [java] {BooleanPredicate<0x7f4255ef1560>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257745340>:{Set(1)<0x7f4255d6e480>:Members: 98, } 0x7f4257745340 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] {BooleanPredicate<0x7f4254dd8f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42565020f0>:{Set(1)<0x7f4255f12110>:Members: 98, 101, } 0x7f42565020f0 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f4255bf1350>: OR
+ [java] {BooleanPredicate<0x7f42578398e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4254dd39e0>:{Set(1)<0x7f425506c330>:Members: 99, } 0x7f4254dd39e0 UNASSIGNED }{ElementConst<0x7f42574ff340>: 99}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f42541f7560>: OR
+ [java] {BooleanPredicate<0x7f4256b31820>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257747460>:{Set(1)<0x7f425474fbc0>:Members: 100, } 0x7f4257747460 UNASSIGNED }{ElementConst<0x7f42564f3cb0>: 100}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f41d837a430>: OR
+ [java] {BooleanPredicate<0x7f4256abade0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42565020f0>:{Set(1)<0x7f4255f12110>:Members: 98, 101, } 0x7f42565020f0 UNASSIGNED }{ElementConst<0x7f41d838dcb0>: 101}
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f425648adc0>: OR
+ [java] {BooleanLogic<0x7f42577455e0>: NOT
+ [java] {BooleanPredicate<0x7f42578399d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f425506c3a0>:Members: 96, 97, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4255d0bf70>: NOT
+ [java] {BooleanPredicate<0x7f42578399d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f425506c3a0>:Members: 96, 97, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4255bf17b0>: NOT
+ [java] {BooleanPredicate<0x7f4255ef1560>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257745340>:{Set(1)<0x7f4255d6e480>:Members: 98, } 0x7f4257745340 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4255c29420>: NOT
+ [java] {BooleanPredicate<0x7f42578398e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4254dd39e0>:{Set(1)<0x7f425506c330>:Members: 99, } 0x7f4254dd39e0 UNASSIGNED }{ElementConst<0x7f42574ff340>: 99}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4255cfaa10>: NOT
+ [java] {BooleanPredicate<0x7f4256b31820>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257747460>:{Set(1)<0x7f425474fbc0>:Members: 100, } 0x7f4257747460 UNASSIGNED }{ElementConst<0x7f42564f3cb0>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4254a00810>: NOT
+ [java] {BooleanPredicate<0x7f42543f3df0>:
+ [java] Predicat1588123009634 Original Encoding Incremental Solving Time: 0.0235
+ [java] Path Solving Time: 19.710819
+ [java] Path Solving Time: 5.157639
+ [java] 1588123009707 Original Encoding Solving Time: 0.286072
+ [java] 1588123009707 Original Encoding Incremental Solving Time: 0.088359
+ [java] 1588123009722 Original Encoding Solving Time: 0.198522
+ [java] 1588123009722 Original Encoding Incremental Solving Time: 0.028173
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123009733 Original Encoding Solving Time: 0.152036
+ [java] 1588123009733 Original Encoding Incremental Solving Time: 0.008728
+ [java] Path Solving Time: 16.847853
+ [java] Path Solving Time: 4.171165
+ [java] 1588123009800 Original Encoding Solving Time: 0.287569
+ [java] 1588123009800 Original Encoding Incremental Solving Time: 0.076247
+ [java] 1588123009816 Original Encoding Solving Time: 0.207629
+ [java] 1588123009816 Original Encoding Incremental Solving Time: 0.025091
+ [java] 1588123009828 Original Encoding Solving Time: 0.158907
+ [java] 1588123009828 Original Encoding Incremental Solving Time: 0.009453
+ [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: 20.605844
+ [java] Path Solving Time: 5.233012
+ [java] 1588123009906 Original Encoding Solving Time: 0.289597
+ [java] 1588123009906 Original Encoding Incremental Solving Time: 0.101547
+ [java] 1588123009921 Original Encoding Solving Time: 0.26478
+ [java] 1588123009921 Original Encoding Incremental Solving Time: 0.018686
+ [java] 1588123009931 Original Encoding Solving Time: 0.208634
+ [java] 1588123009931 Original Encoding Incremental Solving Time: 0.01073
+ [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: 20.325768
+ [java] Path Solving Time: 5.077626
+ [java] 1588123010003 Original Encoding Solving Time: 0.30493
+ [java] 1588123010003 Original Encoding Incremental Solving Time: 0.10877
+ [java] 1588123010020 Original Encoding Solving Time: 0.198114
+ [java] 1588123010020 Original Encoding Incremental Solving Time: 0.018651
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123010035 Original Encoding Solving Time: 0.885997
+ [java] 1588123010035 Original Encoding Incremental Solving Time: 0.022717
+ [java] Path Solving Time: 20.728062
+ [java] Path Solving Time: 4.72431
+ [java] 1588123010106 Original Encoding Solving Time: 0.332648
+ [java] 1588123010106 Original Encoding Incremental Solving Time: 0.11276
+ [java] 1588123010126 Original Encoding Solving Time: 0.231973
+ [java] 1588123010126 Original Encoding Incremental Solving Time: 0.016496
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123010142 Original Encoding Solving Time: 0.217938
+ [java] 1588123010142 Original Encoding Incremental Solving Time: 0.020901
+ [java] Path Solving Time: 17.974602
+ [java] Path Solving Time: 4.29417
+ [java] 1588123010207 Original Encoding Solving Time: 0.448789
+ [java] 1588123010207 Original Encoding Incremental Solving Time: 0.112574
+ [java] 1588123010229 Original Encoding Solving Time: 0.223529
+ [java] 1588123010229 Original Encoding Incremental Solving Time: 0.020165
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123010244 Original Encoding Solving Time: 0.201086
+ [java] 1588123010244 Original Encoding Incremental Solving Time: 0.019071
+ [java] Path Solving Time: 26.046154
+ [java] Path Solving Time: 4.708372
+ [java] 1588123010323 Original Encoding Solving Time: 0.367236
+ [java] 1588123010323 Original Encoding Incremental Solving Time: 0.109416
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123010345 Original Encoding Solving Time: 0.30877
+ [java] 1588123010345 Original Encoding Incremental Solving Time: 0.035078
+ [java] 1588123010357 Original Encoding Solving Time: 0.282963
+ [java] 1588123010357 Original Encoding Incremental Solving Time: 0.014774
+ [java] Path Solving Time: 16.616637
+ [java] Path Solving Time: 4.746141
+ [java] 1588123010427 Original Encoding Solving Time: 0.484507
+ [java] 1588123010427 Original Encoding Incremental Solving Time: 0.140204
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123010448 Original Encoding Solving Time: 0.360909
+ [java] 1588123010448 Original Encoding Incremental Solving Time: 0.040079
+ [java] 1588123010463 Original Encoding Solving Time: 0.206711
+ [java] 1588123010463 Original Encoding Incremental Solving Time: 0.012137
+ [java] Path Solving Time: 34.919598
+ [java] Path Solving Time: 5.151282
+ [java] Done with finding holes : Flag = true
+ [java] 1588123010550 Original Encoding Solving Time: 0.421061
+ [java] 1588123010550 Original Encoding Incremental Solving Time: 0.179801
+ [java] Done with finding holes : Flag = true
+ [java] 1588123010779 Original Encoding Solving Time: 0.155343
+ [java] 1588123010779 Original Encoding Incremental Solving Time: 0.014876
+ [java] 1588123010995 Original Encoding Solving Time: 0.155727
+ [java] 1588123010995 Original Encoding Incremental Solving Time: 0.016473
+ [java] Done with finding holes : Flag = true
+ [java] 1588123011210 Original Encoding Solving Time: 0.214561
+ [java] 1588123011210 Original Encoding Incremental Solving Time: 0.017985
+ [java] Done with finding holes : Flag = true
+ [java] 1588123011426 Original Encoding Solving Time: 0.214115
+ [java] 1588123011426 Original Encoding Incremental Solving Time: 0.01471
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 17.539052
+ [java] Path Solving Time: 4.081567
+ [java] 1588123011482 Original Encoding Solving Time: 1.461747
+ [java] 1588123011482 Original Encoding Incremental Solving Time: 0.162221
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] 1588123011707 Original Encoding Solving Time: 0.186649
+ [java] 1588123011707 Original Encoding Incremental Solving Time: 0.023825
+ [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] 1588123011919 Original Encoding Solving Time: 0.158104
+ [java] 1588123011919 Original Encoding Incremental Solving Time: 0.016782
+ [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] 1588123012133 Original Encoding Solving Time: 0.156179
+ [java] 1588123012133 Original Encoding Incremental Solving Time: 0.011995
+ [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] 1588123012347 Original Encoding Solving Time: 0.155705
+ [java] 1588123012347 Original Encoding Incremental Solving Time: 0.012317
+ [java] Path Solving Time: 16.579897
+ [java] Path Solving Time: 4.240565
+ [java] 1588123012402 Original Encoding Solving Time: 0.303162
+ [java] 1588123012402 Original Encoding Incremental Solving Time: 0.115541
+ [java] 1588123012416 Original Encoding Solving Time: 0.171685
+ [java] 1588123012416 Original Encoding Incremental Solving Time: 0.014801
+ [java] 1588123012429 Original Encoding Solving Time: 0.192168
+ [java] 1588123012429 Original Encoding Incremental Solving Time: 0.026225
+ [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] 1588123012442 Original Encoding Solving Time: 0.151766
+ [java] 1588123012442 Original Encoding Incremental Solving Time: 0.014817
+ [java] 1588123012452 Original Encoding Solving Time: 0.140533
+ [java] 1588123012452 Original Encoding Incremental Solving Time: 0.013536
+ [java] Path Solving Time: 16.643865
+ [java] Path Solving Time: 4.151791
+ [java] 1588123012507 Original Encoding Solving Time: 0.259449
+ [java] 1588123012507 Original Encoding Incremental Solving Time: 0.08557
+ [java] 1588123012521 Original Encoding Solving Time: 0.170686
+ [java] 1588123012521 Original Encoding Incremental Solving Time: 0.016944
+ [java] 1588123012532 Original Encoding Solving Time: 0.246719
+ [java] 1588123012532 Original Encoding Incremental Solving Time: 0.032074
+ [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] 1588123012544 Original Encoding Solving Time: 0.162576
+ [java] 1588123012544 Original Encoding Incremental Solving Time: 0.014925
+ [java] 1588123012554 Original Encoding Solving Time: 0.159875
+ [java] 1588123012554 Original Encoding Incremental Solving Time: 0.013277
+ [java] Path Solving Time: 15.876949
+ [java] Path Solving Time: 4.105541
+ [java] 1588123012608 Original Encoding Solving Time: 0.237719
+ [java] 1588123012608 Original Encoding Incremental Solving Time: 0.085319
+ [java] 1588123012621 Original Encoding Solving Time: 0.162866
+ [java] 1588123012621 Original Encoding Incremental Solving Time: 0.014695
+ [java] 1588123012631 Original Encoding Solving Time: 0.205553
+ [java] 1588123012631 Original Encoding Incremental Solving Time: 0.030523
+ [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] 1588123012640 Original Encoding Solving Time: 0.164242
+ [java] 1588123012640 Original Encoding Incremental Solving Time: 0.01268
+ [java] 1588123012650 Original Encoding Solving Time: 0.187844
+ [java] 1588123012650 Original Encoding Incremental Solving Time: 0.021492
+ [java] Path Solving Time: 26.117281
+ [java] Path Solving Time: 4.129674
+ [java] 1588123012715 Original Encoding Solving Time: 0.286426
+ [java] 1588123012715 Original Encoding Incremental Solving Time: 0.099143
+ [java] 1588123012735 Original Encoding Solving Time: 0.185364
+ [java] 1588123012735 Original Encoding Incremental Solving Time: 0.022925
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123012750 Original Encoding Solving Time: 0.160351
+ [java] 1588123012750 Original Encoding Incremental Solving Time: 0.009927
+ [java] Path Solving Time: 171.629776
+ [java] Path Solving Time: 33.447089
+ [java] Path Solving Time: 16.600507
+ [java] Path Solving Time: 4.101728
+ [java] 1588123013013 Original Encoding Solving Time: 0.332418
+ [java] 1588123013013 Original Encoding Incremental Solving Time: 0.071264
+ [java] 1588123013031 Original Encoding Solving Time: 0.183692
+ [java] 1588123013031 Original Encoding Incremental Solving Time: 0.023963
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123013047 Original Encoding Solving Time: 0.255991
+ [java] 1588123013047 Original Encoding Incremental Solving Time: 0.019528
+ [java] Path Solving Time: 29.5006
+ [java] Path Solving Time: 14.049158
+ [java] Path Solving Time: 4.156929
+ [java] 1588123013135 Original Encoding Solving Time: 0.346616
+ [java] 1588123013135 Original Encoding Incremental Solving Time: 0.148259
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123013153 Original Encoding Solving Time: 0.187649
+ [java] 1588123013153 Original Encoding Incremental Solving Time: 0.022424
+ [java] 1588123013165 Original Encoding Solving Time: 0.162233
+ [java] 1588123013165 Original Encoding Incremental Solving Time: 0.010606
+ [java] Path Solving Time: 27.070408
+ [java] Path Solving Time: 14.201563
+ [java] Path Solving Time: 4.996091
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588123013255 Original Encoding Solving Time: 0.39727
+ [java] 1588123013255 Original Encoding Incremental Solving Time: 0.167603
+ [java] 1588123013270 Original Encoding Solving Time: 0.224846
+ [java] 1588123013270 Original Encoding Incremental Solving Time: 0.023929
+ [java] 1588123013280 Original Encoding Solving Time: 0.457801
+ [java] 1588123013280 Original Encoding Incremental Solving Time: 0.023361
+ [java] Path Solving Time: 25.049773
+ [java] Path Solving Time: 13.710306
+ [java] Path Solving Time: 4.970089
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588123013372 Original Encoding Solving Time: 0.308878
+ [java] 1588123013372 Original Encoding Incremental Solving Time: 0.128407
+ [java] 1588123013386 Original Encoding Solving Time: 0.228445
+ [java] 1588123013386 Original Encoding Incremental Solving Time: 0.020968
+ [java] 1588123013396 Original Encoding Solving Time: 0.159448
+ [java] 1588123013396 Original Encoding Incremental Solving Time: 0.008073
+ [java] Path Solving Time: 24.089048
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 14.246258
+ [java] Path Solving Time: 5.015363
+ [java] 1588123013493 Original Encoding Solving Time: 0.306793
+ [java] 1588123013493 Original Encoding Incremental Solving Time: 0.130461
+ [java] 1588123013507 Original Encoding Solving Time: 0.241479
+ [java] 1588123013507 Original Encoding Incremental Solving Time: 0.023926
+ [java] 1588123013519 Original Encoding Solving Time: 0.161727
+ [java] 1588123013519 Original Encoding Incremental Solving Time: 0.007641
+ [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: 22.453101
+ [java] Path Solving Time: 4.105883
+ [java] 1588123013593 Original Encoding Solving Time: 0.388611
+ [java] 1588123013593 Original Encoding Incremental Solving Time: 0.124294
+ [java] 1588123013608 Original Encoding Solving Time: 0.214125
+ [java] 1588123013608 Original Encoding Incremental Solving Time: 0.016993
+ [java] 1588123013623 Original Encoding Solving Time: 0.165204
+ [java] 1588123013623 Original Encoding Incremental Solving Time: 0.007615
+ [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] Path Solving Time: 20.853491
+ [java] Path Solving Time: 4.216398
+ [java] 1588123013689 Original Encoding Solving Time: 0.294856
+ [java] 1588123013689 Original Encoding Incremental Solving Time: 0.127792
+ [java] 1588123013707 Original Encoding Solving Time: 0.185499
+ [java] 1588123013707 Original Encoding Incremental Solving Time: 0.025362
+ [java] 1588123013717 Original Encoding Solving Time: 0.166159
+ [java] 1588123013717 Original Encoding Incremental Solving Time: 0.007983
+ [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: 21.221223
+ [java] Path Solving Time: 5.040582
+ [java] 1588123013792 Original Encoding Solving Time: 0.314576
+ [java] 1588123013792 Original Encoding Incremental Solving Time: 0.146501
+ [java] 1588123013806 Original Encoding Solving Time: 0.221893
+ [java] 1588123013806 Original Encoding Incremental Solving Time: 0.01744
+ [java] 1588123013817 Original Encoding Solving Time: 0.168441
+ [java] 1588123013817 Original Encoding Incremental Solving Time: 0.008076
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 21.347646
+ [java] Path Solving Time: 5.045829
+ [java] 1588123013899 Original Encoding Solving Time: 0.53354
+ [java] 1588123013899 Original Encoding Incremental Solving Time: 0.131722
+ [java] 1588123013914 Original Encoding Solving Time: 0.290011
+ [java] 1588123013914 Original Encoding Incremental Solving Time: 0.024465
+ [java] 1588123013926 Original Encoding Solving Time: 0.206579
+ [java] 1588123013926 Original Encoding Incremental Solving Time: 0.014275
+ [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: 21.153183
+ [java] Path Solving Time: 5.030906
+ [java] 1588123014005 Original Encoding Solving Time: 0.306045
+ [java] 1588123014005 Original Encoding Incremental Solving Time: 0.138401
+ [java] 1588123014019 Original Encoding Solving Time: 0.197123
+ [java] 1588123014019 Original Encoding Incremental Solving Time: 0.021311
+ [java] 1588123014031 Original Encoding Solving Time: 0.178583
+ [java] 1588123014031 Original Encoding Incremental Solving Time: 0.02917
+ [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: 83.285732
+ [java] Path Solving Time: 26.95622
+ [java] Path Solving Time: 21.556177
+ [java] Path Solving Time: 5.115252
+ [java] 1588123014220 Original Encoding Solving Time: 0.316824
+ [java] 1588123014220 Original Encoding Incremental Solving Time: 0.146612
+ [java] 1588123014243 Original Encoding Solving Time: 0.176643
+ [java] 1588123014243 Original Encoding Incremental Solving Time: 0.026146
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123014261 Original Encoding Solving Time: 0.225885
+ [java] 1588123014261 Original Encoding Incremental Solving Time: 0.007564
+ [java] Path Solving Time: 25.462615
+ [java] Path Solving Time: 5.373277
+ [java] 1588123014331 Original Encoding Solving Time: 0.289377
+ [java] 1588123014331 Original Encoding Incremental Solving Time: 0.149662
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123014356 Original Encoding Solving Time: 0.162251
+ [java] 1588123014356 Original Encoding Incremental Solving Time: 0.011425
+ [java] 1588123014374 Original Encoding Solving Time: 0.151249
+ [java] 1588123014374 Original Encoding Incremental Solving Time: 0.007125
+ [java] Path Solving Time: 20.8276
+ [java] Path Solving Time: 4.356698
+ [java] 1588123014435 Original Encoding Solving Time: 0.325234
+ [java] 1588123014435 Original Encoding Incremental Solving Time: 0.078146
+ [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] 1588123014461 Original Encoding Solving Time: 0.189561
+ [java] 1588123014461 Original Encoding Incremental Solving Time: 0.013955
+ [java] 1588123014479 Original Encoding Solving Time: 0.136285
+ [java] 1588123014479 Original Encoding Incremental Solving Time: 0.00628
+ [java] Path Solving Time: 19.711805
+ [java] Path Solving Time: 4.136217
+ [java] 1588123014537 Original Encoding Solving Time: 0.250946
+ [java] 1588123014537 Original Encoding Incremental Solving Time: 0.071443
+ [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] 1588123014560 Original Encoding Solving Time: 0.188356
+ [java] 1588123014560 Original Encoding Incremental Solving Time: 0.011807
+ [java] 1588123014577 Original Encoding Solving Time: 0.157854
+ [java] 1588123014577 Original Encoding Incremental Solving Time: 0.007785
+ [java] Path Solving Time: 18.43726
+ [java] Path Solving Time: 4.10634
+ [java] 1588123014636 Original Encoding Solving Time: 0.237214
+ [java] 1588123014636 Original Encoding Incremental Solving Time: 0.078856
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123014655 Original Encoding Solving Time: 0.181878
+ [java] 1588123014655 Original Encoding Incremental Solving Time: 0.011628
+ [java] 1588123014672 Original Encoding Solving Time: 0.18036
+ [java] 1588123014672 Original Encoding Incremental Solving Time: 0.013602
+ [java] Path Solving Time: 19.642103
+ [java] Path Solving Time: 4.131401
+ [java] 1588123014740 Original Encoding Solving Time: 0.285677
+ [java] 1588123014740 Original Encoding Incremental Solving Time: 0.142098
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123014757 Original Encoding Solving Time: 0.1909
+ [java] 1588123014757 Original Encoding Incremental Solving Time: 0.013101
+ [java] 1588123014771 Original Encoding Solving Time: 0.159959
+ [java] 1588123014771 Original Encoding Incremental Solving Time: 0.008001
+ [java] Path Solving Time: 72.109964
+ [java] Path Solving Time: 21.487758
+ [java] Path Solving Time: 4.988812
+ [java] 1588123014920 Original Encoding Solving Time: 0.274365
+ [java] 1588123014920 Original Encoding Incremental Solving Time: 0.086983
+ [java] 1588123014942 Original Encoding Solving Time: 0.179189
+ [java] 1588123014942 Original Encoding Incremental Solving Time: 0.013121
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123014959 Original Encoding Solving Time: 0.154312
+ [java] 1588123014959 Original Encoding Incremental Solving Time: 0.007759
+ [java] Path Solving Time: 22.641772
+ [java] Path Solving Time: 4.138558
+ [java] 1588123015022 Original Encoding Solving Time: 0.288888
+ [java] 1588123015022 Original Encoding Incremental Solving Time: 0.07041
+ [java] 1588123015045 Original Encoding Solving Time: 0.183257
+ [java] 1588123015045 Original Encoding Incremental Solving Time: 0.061825
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588123015062 Original Encoding Solving Time: 0.176324
+ [java] 1588123015062 Original Encoding Incremental Solving Time: 0.006441
+ [java] Path Solving Time: 33.428305
+ [java] Path Solving Time: 4.153138
+ [java] 1588123015142 Original Encoding Solving Time: 0.447336
+ [java] 1588123015142 Original Encoding Incremental Solving Time: 0.082285
+ [java] Done with finding holes : Flag = true
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 7
+ [java] Sketch Generation Time: 3524.1157580000013
+ [java] Sketch Completion Time: 2227.4144969999998
+ [java] Compilation Time: 1475.3996910000003
+ [java] Running Test cases Time: 2615.360021000001
+ [java] Synthesis Time: 8366.890276000002
+ [java] Total Time: 9842.289967000002
+ [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] eOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42564edc80>:{Set(1)<0x7f42568e0990>:Members: 96, 97, } 0x7f42564edc80 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f425474f5a0>: NOT
+ [java] {BooleanPredicate<0x7f42543f3df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42564edc80>:{Set(1)<0x7f42568e0990>:Members: 96, 97, } 0x7f42564edc80 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f42543d7650>: NOT
+ [java] {BooleanPredicate<0x7f4254dd8f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42565020f0>:{Set(1)<0x7f4255f12110>:Members: 98, 101, } 0x7f42565020f0 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f41d87d57a0>: NOT
+ [java] {BooleanPredicate<0x7f4254dd8f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42565020f0>:{Set(1)<0x7f4255f12110>:Members: 98, 101, } 0x7f42565020f0 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+ [java] {BooleanLogic<0x7f42549e7fb0>: OR
+ [java] {BooleanLogic<0x7f41d87c6990>: NOT
+ [java] {BooleanPredicate<0x7f42578399d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f425506c3a0>:Members: 96, 97, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f425474e440>: NOT
+ [java] {BooleanPredicate<0x7f42578399d0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4256ad5160>:{Set(1)<0x7f425506c3a0>:Members: 96, 97, } 0x7f4256ad5160 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f425474e3d0>: NOT
+ [java] {BooleanPredicate<0x7f4255ef1560>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257745340>:{Set(1)<0x7f4255d6e480>:Members: 98, } 0x7f4257745340 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4255da2740>: NOT
+ [java] {BooleanPredicate<0x7f42578398e0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4254dd39e0>:{Set(1)<0x7f425506c330>:Members: 99, } 0x7f4254dd39e0 UNASSIGNED }{ElementConst<0x7f42574ff340>: 99}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f42549e79d0>: NOT
+ [java] {BooleanPredicate<0x7f4256b31820>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f4257747460>:{Set(1)<0x7f425474fbc0>:Members: 100, } 0x7f4257747460 UNASSIGNED }{ElementConst<0x7f42564f3cb0>: 100}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f42549e7ab0>: NOT
+ [java] {BooleanPredicate<0x7f42543f3df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42564edc80>:{Set(1)<0x7f42568e0990>:Members: 96, 97, } 0x7f42564edc80 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f42549e7b90>: NOT
+ [java] {BooleanPredicate<0x7f42543f3df0>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42564edc80>:{Set(1)<0x7f42568e0990>:Members: 96, 97, } 0x7f42564edc80 UNASSIGNED }{ElementConst<0x7f4254dd65f0>: 96}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f42549e7c70>: NOT
+ [java] {BooleanPredicate<0x7f4254dd8f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42565020f0>:{Set(1)<0x7f4255f12110>:Members: 98, 101, } 0x7f42565020f0 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java] {BooleanLogic<0x7f4256b1a7b0>: NOT
+ [java] {BooleanPredicate<0x7f4254dd8f90>:
+ [java] PredicateOperator: ==
+ [java] elements:
+ [java] {ElementSet<0x7f42565020f0>:{Set(1)<0x7f4255f12110>:Members: 98, 101, } 0x7f42565020f0 UNASSIGNED }{ElementConst<0x7f4256ad56c0>: 98}
+ [java] }
+ [java] }
+ [java] }
+ [java]
+
+BUILD SUCCESSFUL
+Total time: 37 seconds
projects / Benchmarks_CSolver.git / blobdiff