125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
125648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125663 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125663 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125663 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125663 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125663 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
125727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 938.2ns
125727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
126106 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
126122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
126122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
126122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
127607 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
132237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.51s
132315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
132409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.6ns
132554 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
132585 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 3, command: 'rule allRight formula='\forall int i; i > 0''
132585 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 4, command: 'rule allRight formula='\forall int i; i < 0''