// File: Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::printTime(std::ostream&)
void Log::printTime(ostream& out) {
	out<<"c Preprocess time\n";
	out<<"c BCE "<<getTime(Technique::BCE)<<'\n';
	out<<"c UP "<<getTime(Technique::UP)<<'\n';
	out<<"c BVE "<<getTime(Technique::BVE)<<'\n';
	out<<"c SE "<<getTime(Technique::SE)<<'\n';
	out<<"c SSR "<<getTime(Technique::SSR)<<'\n';
	out<<"c SLE "<<getTime(Technique::SLE)<<'\n';
	out<<"c BCR "<<getTime(Technique::BCR)<<'\n';
	out<<"c SIE "<<getTime(Technique::SIE)<<'\n';
	out<<"c EE "<<getTime(Technique::EE)<<'\n';
	out<<"c BVA "<<getTime(Technique::BVA)<<'\n';
	out<<"c GSLE "<<getTime(Technique::GSLE)<<'\n';
	out<<"c FLP "<<getTime(Technique::FLP)<<'\n';
	out<<"c UH "<<getTime(Technique::UH)<<'\n';
	out<<"c LS "<<getTime(Technique::LS)<<'\n';
	out.flush();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
leaq 0x26157(%rip), %rsi     # 0x87a7d
callq 0x4380
movq -0x10(%rbp), %rdi
leaq 0x2615a(%rip), %rsi     # 0x87a90
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x88(%rbp)
movl $0x1, %esi
callq 0x61c60
movq -0x88(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x26123(%rip), %rsi     # 0x87a97
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x80(%rbp)
movl $0x2, %esi
callq 0x61c60
movq -0x80(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x260f1(%rip), %rsi     # 0x87a9d
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x78(%rbp)
movl $0x3, %esi
callq 0x61c60
movq -0x78(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x260c0(%rip), %rsi     # 0x87aa4
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x70(%rbp)
movl $0x4, %esi
callq 0x61c60
movq -0x70(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x2608e(%rip), %rsi     # 0x87aaa
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x68(%rbp)
movl $0x5, %esi
callq 0x61c60
movq -0x68(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x2605d(%rip), %rsi     # 0x87ab1
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x60(%rbp)
movl $0x6, %esi
callq 0x61c60
movq -0x60(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x2602c(%rip), %rsi     # 0x87ab8
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x58(%rbp)
movl $0x7, %esi
callq 0x61c60
movq -0x58(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25ffb(%rip), %rsi     # 0x87abf
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x50(%rbp)
movl $0x8, %esi
callq 0x61c60
movq -0x50(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25fca(%rip), %rsi     # 0x87ac6
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x48(%rbp)
movl $0x9, %esi
callq 0x61c60
movq -0x48(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25f98(%rip), %rsi     # 0x87acc
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x40(%rbp)
movl $0xa, %esi
callq 0x61c60
movq -0x40(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25f67(%rip), %rsi     # 0x87ad3
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x38(%rbp)
movl $0xb, %esi
callq 0x61c60
movq -0x38(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25f37(%rip), %rsi     # 0x87adb
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x30(%rbp)
movl $0xc, %esi
callq 0x61c60
movq -0x30(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25f06(%rip), %rsi     # 0x87ae2
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x28(%rbp)
movl $0xd, %esi
callq 0x61c60
movq -0x28(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
leaq 0x25ed4(%rip), %rsi     # 0x87ae8
callq 0x4380
movq -0x20(%rbp), %rdi
movq %rax, -0x18(%rbp)
movl $0xe, %esi
callq 0x61c60
movq -0x18(%rbp), %rdi
callq 0x4660
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x10(%rbp), %rdi
callq 0x4270
addq $0x90, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)