Class de.tudresden.inf.st.mquat.solving.SimpleSolverTest

1

tests

0

failures

0

ignored

0.881s

duration

100%

successful

Tests

Test Duration Result
testSimpleSolver 0.881s passed

Standard output

15:31:05.159 INFO  d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523393.9.
15:31:05.201 INFO  d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523267.42000000004.
15:31:06.008 INFO  d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 1
15:31:06.009 INFO  d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 1
15:31:06.010 INFO  d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 10148
15:31:06.010 INFO  d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 3456
15:31:06.012 INFO  d.t.i.s.m.s.SimpleSolverTest - the best solution is valid and has an objective of 523267.42000000004.