Standard output
1405604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1405604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.9ns
1405619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1410778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s
1410841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1410841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
1446581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1446581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.1ns
1446585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1453064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.49s
1453111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1453111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns