Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.muses.MusesTest.testReMusUnknownSet3

Standard Output

c3
c0
Shrinker returned: {0, 3}
{0, 1, 3}
{0, 1, 2, 4}
{6, 7}
{3, 5, 9}
{10, 11}
{0, 1, 2, 4, 9}
{0, 1, 2, 3, 4, 5}
{2, 6, 9}
{0, 1, 4, 6}
{2, 3, 5, 6}
{2, 7, 9}
{0, 1, 4, 7}
{2, 3, 5, 7}
{1, 6, 8}
{0, 4, 8}
{1, 7, 8}
{1, 2, 8, 9}
{1, 2, 3, 5, 8}
Shrinker returned: {2, 5, 6}
c6
c7
Shrinker returned: {1, 2, 5}
Shrinker returned: {4, 7}
Shrinker returned: {1, 2, 5}
{0, 1, 2}

Standard Error

INFO - Assertion made context inconsistent
INFO - Asserting into inconsistent context
INFO - Asserting into inconsistent context
INFO - Asserting into inconsistent context
INFO - Asserting into inconsistent context
INFO - Asserting into inconsistent context
FATAL - (
  (:Core 
    (
      (Conflicts 0) 
      (Propagations 0) 
      (Theory_propagations 0) 
      (Decides 0) 
      (Random_splits 0) 
      (Num_Atoms 1) 
      (Solved_Atoms 0) 
      (Clauses 0) 
      (Axioms 1) 
      (Times 

...[truncated 9959606 chars]...
.045
INFO - Atoms: 9/10 Clauses: 38 Axioms: 706
INFO - Formula is unsat
INFO - Confl: 0 Props: 1 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 0.0 Prop: 0.004 PropClause: 0.001 Set: 0.0 Check: 0.0 Back: 0.0
INFO - Atoms: 1/3 Clauses: 0 Axioms: 1
INFO - Hooray, we found a model:
INFO - Confl: 0 Props: 3 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.0 Prop: 0.005 PropClause: 0.002 Set: 0.001 Check: 0.0 Back: 0.0
INFO - Atoms: 3/3 Clauses: 0 Axioms: 3
INFO - Hooray, we found a model: