Standard output
98898 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98900 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98905 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98906 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98907 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98916 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98920 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98923 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98924 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98924 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98929 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98934 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
98955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.58ms
98958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
99368 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99371 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99373 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
100434 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
104344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s
104393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
104440 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.6ns
104485 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
104510 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
104518 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''