Standard output
95194 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
95198 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95202 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95203 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95203 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95204 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95204 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95209 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
95210 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95210 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95211 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95211 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95212 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95213 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
95230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.1ns
95231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
95494 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95495 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95496 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95496 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
96521 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
100407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
100453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
100500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34.6ns
100557 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
100580 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
100585 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''