Function at 0x401dd0
Capabilities:
Create thread
Terminate process

Disassembly:
push ebp
mov ebp, esp
push 0xffffffffffffffff
push 0x4080c2
mov eax, dword fs:[0]
push eax
push ecx
mov eax, 0x100398
call fcn.00407fc0
mov eax, dword [0x40c00c]
xor eax, ebp
mov dword [ebp - 0x14], eax
push ebx
push esi
push edi
push eax
lea eax, [ebp - 0xc]
mov dword fs:[0], eax
mov dword [ebp - 0x10], esp
mov esi, dword [ebp + 0xc]
lea ecx, [ebp - 0x90]
push str._int32_
push str.MAIN
mov dword [ebp - 4], 0
xorps xmm0, xmm0
push str.Verbosity_level__0silent__1some__2more_.
push str.verb
mov dword [ebp - 0x1003a8], esi
mov dword [0x40c68c], 0x4093f0
movups xmmword [ebp - 0x90], xmm0
movups xmmword [ebp - 0x80], xmm0
call fcn.004015e0
mov dword [ebp - 0x90], vtable.Minisat::IntOption.0
mov dword [ebp - 0x7c], 0
mov dword [ebp - 0x78], 2
mov dword [ebp - 0x74], 1
push str._int32_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 1
push str.Limit_on_CPU_time_allowed_in_seconds._n
push str.cpu_lim
lea ecx, [ebp - 0x110]
movups xmmword [ebp - 0x110], xmm0
movups xmmword [ebp - 0x100], xmm0
call fcn.004015e0
mov dword [ebp - method.Minisat::IntOption.virtual_0], vtable.Minisat::IntOption.0
mov dword [ebp - 0xfc], 0
mov dword [ebp - 0xf8], 0x7fffffff
mov dword [ebp - 0xf4], 0x7fffffff
push str._int32_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 2
push str.Limit_on_memory_usage_in_megabytes._n
push str.mem_lim
lea ecx, [ebp - 0x130]
movups xmmword [ebp - 0x130], xmm0
movups xmmword [ebp - 0x120], xmm0
call fcn.004015e0
mov dword [ebp - method.Minisat::IntOption.virtual_0], vtable.Minisat::IntOption.0
mov dword [ebp - 0x11c], 0
mov dword [ebp - 0x118], 0x7fffffff
mov dword [ebp - 0x114], 0x7fffffff
push str._int32_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 3
push str.Start_solving_from_this_bound._n
push str.from_bound
lea ecx, [ebp - 0xb0]
movups xmmword [ebp - 0xb0], xmm0
movups xmmword [ebp - 0xa0], xmm0
call fcn.004015e0
mov dword [ebp - 0xb0], vtable.Minisat::IntOption.0
mov dword [ebp - 0x9c], 0
mov dword [ebp - 0x98], 0x7fffffff
mov dword [ebp - 0x94], 0
push str._int32_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 4
push str.Stop_solving_at_this_bound._n
push str.to_bound
lea ecx, [ebp - 0xf0]
movups xmmword [ebp - 0xf0], xmm0
movups xmmword [ebp - 0xe0], xmm0
call fcn.004015e0
mov dword [ebp - 0xf0], vtable.Minisat::IntOption.0
mov dword [ebp - 0xdc], 0
mov dword [ebp - 0xd8], 0x7fffffff
mov dword [ebp - 0xd4], 0x7fffffff
xorps xmm0, xmm0
mov byte [ebp - 4], 5
movups xmmword [ebp - 0xd0], xmm0
push str._int32_
push str.MAIN
push str.After_solving_a_bound_increment_it_by_this_amount._n
push str.inc_bound
lea ecx, [ebp - 0xd0]
movups xmmword [ebp - 0xc0], xmm0
call fcn.004015e0
mov dword [ebp - 0xd0], vtable.Minisat::IntOption.0
mov dword [ebp - 0xbc], 1
mov dword [ebp - 0xb8], 0x7fffffff
mov dword [ebp - 0xb4], 1
push str._int32_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 6
push str.If_the_given_process_does_not_exist_anymore__this_process_will_terminate_itself_after_1_second._n
push str.parent_process_id
lea ecx, [ebp - 0x70]
movups xmmword [ebp - 0x70], xmm0
movups xmmword [ebp - 0x60], xmm0
call fcn.004015e0
mov dword [ebp - 0x70], vtable.Minisat::IntOption.0
mov dword [ebp - 0x5c], 0
mov dword [ebp - 0x58], 0x7fffffff
mov dword [ebp - 0x54], 0
push str._bool_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 7
push str.Stop_solving_if_a_bound_is_found_SATISFIABLE._n
push str.stop_at_sat
lea ecx, [ebp - 0x38]
movq qword [ebp - 0x28], xmm0
movups xmmword [ebp - 0x38], xmm0
call fcn.004015e0
mov dword [ebp - 0x38], vtable.Minisat::BoolOption.0
mov byte [ebp - 0x24], 0
push str._bool_
push str.MAIN
xorps xmm0, xmm0
mov byte [ebp - 4], 8
push str.Stop_solving_if_a_bound_is_found_UNSATISFIABLE._n
push str.stop_at_unsat
lea ecx, [ebp - 0x50]
movq qword [ebp - 0x40], xmm0
movups xmmword [ebp - 0x50], xmm0
call fcn.004015e0
mov dword [ebp - 0x50], vtable.Minisat::BoolOption.0
mov byte [ebp - 0x3c], 0
push ecx
mov edx, esi
mov byte [ebp - 4], 9
lea ecx, [ebp + 8]
call fcn.00406c00
mov edi, dword [sym.imp.api_ms_win_crt_runtime_l1_1_0.dll_signal]
add esp, 4
push 0x401d10
push 2
call edi
push 0
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
add esp, 0xc
mov dword [ebp - 0x1003a0], eax
test eax, eax
jne 0x402147
cmp dword [ebp + 8], 1
mov eax, str._stdin_
je 0x402131
mov eax, dword [esi + 4]
push eax
push str.ERROR__Could_not_open_file:__s_n
call fcn.004014f0
add esp, 8
push 1
call dword [sym.imp.api_ms_win_crt_runtime_l1_1_0.dll_exit]
mov eax, dword [ebp - 0x54]
test eax, eax
je 0x402160
push eax
push 0
push 0x401d60
call dword [sym.imp.api_ms_win_crt_runtime_l1_1_0.dll__beginthread]
add esp, 0xc
nop
push 0x250
lea eax, [ebp - 0x380]
push 0
push eax
call sub.VCRUNTIME140.dll_memset
add esp, 0xc
lea ecx, [ebp - 0x380]
call fcn.00403360
cmp dword [ebp + 8], 3
mov eax, dword [ebp - 0x74]
mov dword [ebp - 0x360], eax
lea eax, [ebp - 0x380]
mov dword [0x40c688], eax
mov dword [ebp - 0x100390], 0
jl 0x4021bd
push 0x4096b8
push dword [esi + 8]
lea eax, [ebp - 0x100390]
push eax
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fopen_s]
add esp, 0xc
push 0x401d00
push 2
call edi
xorps xmm0, xmm0
mov dword [ebp - 0x18], 0
movq qword [ebp - 0x20], xmm0
mov byte [ebp - 0x100391], 2
mov dword [ebp - 0x20], 0
mov dword [ebp - 0x1c], 0
mov dword [ebp - 0x18], 0
xor esi, esi
mov byte [ebp - 4], 0xb
mov edi, dword [ebp - 0x94]
lea eax, [ebp - 0x100388]
push 0x100000
push esi
push eax
mov dword [ebp - 0x10039c], esi
mov dword [ebp - 0x100398], edi
call sub.VCRUNTIME140.dll_memset
mov eax, dword [ebp - 0x1003a0]
push eax
mov dword [ebp - 0x10038c], eax
lea eax, [ebp - 0x100388]
push 0x100000
push eax
mov dword [ebp - 0x384], esi
mov dword [ebp - 0x388], esi
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fgets]
mov ecx, eax
add esp, 0x20
test ecx, ecx
je 0x402263
lea edx, [ecx + 1]
mov al, byte [ecx]
inc ecx
test al, al
jne 0x402252
sub ecx, edx
mov dword [ebp - 0x384], ecx
jmp 0x402269
mov dword [ebp - 0x384], esi
xor al, al
mov byte [ebp - 0x100392], al
lea eax, [ebp - 0x20]
push eax
push 0
lea edx, [ebp - 0x380]
lea ecx, [ebp - 0x10038c]
call fcn.004027f0
add esp, 8
test al, al
je 0x402532
cmp esi, edi
jl 0x4024e2
cmp dword [ebp - 0x360], 0
mov byte [ebp - 0x100392], 1
jle 0x4022ed
push str.__Problem_Statistics___n
call fcn.004014f0
push str.______________________________________________________________________________n
call fcn.004014f0
push esi
push str.__Bound:_________________12d__________________________________________n
call fcn.004014f0
push dword [ebp - 0x1f0]
push str.__Number_of_variables:___12d__________________________________________n
call fcn.004014f0
push dword [ebp - 0x290]
push str.__Number_of_clauses:_____12d__________________________________________n
call fcn.004014f0
add esp, 0x20
lea ecx, [ebp - 0x380]
call fcn.00405300
test al, al
jne 0x40236f
mov eax, dword [ebp - 0x100390]
test eax, eax
je 0x402314
push str.UNSAT_n
push eax
call fcn.004014d0
add esp, 8
cmp dword [ebp - 0x360], 0
jle 0x402349
push str._n
call fcn.004014f0
push str.Solved_by_unit_propagation_n
call fcn.004014f0
lea ecx, [ebp - 0x380]
call fcn.00401b40
push 0x409224
call fcn.004014f0
add esp, 0xc
push esi
push str.Bound__d_is_UNSATISFIABLE_by_IUP_n
call fcn.004014f0
mov esi, dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
push 1
call esi
mov edi, dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fflush]
push eax
call edi
add esp, 0x10
jmp 0x40253e
lea eax, [ebp - 0x1d8]
push eax
lea ecx, [ebp - 0x20]
call fcn.00402620
lea eax, [ebp - 0x100393]
push eax
lea ecx, [ebp - 0x380]
call fcn.00405ce0
cmp dword [ebp - 0x360], 0
mov al, byte [ebp - 0x100393]
mov byte [ebp - 0x100391], al
jle 0x4023c3
lea ecx, [ebp - 0x380]
call fcn.00401b40
push 0x409224
call fcn.004014f0
mov al, byte [ebp - 0x100391]
add esp, 4
movzx ecx, al
mov dword [ebp - 0x1003a4], ecx
test al, al
jne 0x4023d7
mov ecx, str.SATISFIABLE
jmp 0x4023e6
cmp al, 1
mov ecx, str.UNSATISFIABLE
mov eax, str.INDETERMINATE
cmovne ecx, eax
push ecx
push esi
push str.Bound__d_is__s_n
call fcn.004014f0
push 1
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
push eax
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fflush]
mov ecx, dword [ebp - 0x100390]
add esp, 0x14
test ecx, ecx
je 0x4024cd
mov al, byte [ebp - 0x100391]
test al, al
jne 0x4024af
push str.SAT
push ecx
call fcn.004014d0
mov edi, dword [ebp - 0x1f0]
add esp, 8
xor eax, eax
test edi, edi
jle 0x402497
nop word [eax + eax]
mov ecx, dword [ebp - 0x378]
lea esi, [eax + 1]
mov dl, byte [ecx + eax]
test dl, 2
jne 0x40248b
test dl, dl
mov ecx, 0x4091a0
push esi
mov edx, 0x4091a4
cmovne ecx, edx
test eax, eax
push ecx
mov eax, 0x409290
mov ecx, 0x4091a0
cmovne ecx, eax
push ecx
push str._s_s_d
push dword [ebp - 0x100390]
call fcn.004014d0
mov edi, dword [ebp - 0x1f0]
add esp, 0x14
mov eax, esi
cmp eax, edi
jl 0x402440
mov esi, dword [ebp - 0x10039c]
push 0x409948
push dword [ebp - 0x100390]
call fcn.004014d0
mov edi, dword [ebp - 0x100398]
jmp 0x4024ca
cmp al, 1
jne 0x4024ba
push str.UNSAT_n
jmp 0x4024bf
push str.INDET_n
push dword [ebp - 0x100390]
call fcn.004014d0
add esp, 8
test byte [ebp - 0x1003a4], 2
jne 0x402532
add edi, dword [ebp - 0xb4]
mov dword [ebp - 0x100398], edi
inc esi
mov dword [ebp - 0x10039c], esi
cmp esi, dword [ebp - 0xd4]
jg 0x402532
mov al, byte [ebp - 0x100391]
test al, al
jne 0x402506
cmp byte [ebp - 0x24], al
je 0x402271
jmp 0x402532
cmp al, 1
jne 0x402271
cmp byte [ebp - 0x3c], 0
je 0x402271
lea eax, [ebp - 0x20]
push eax
push 1
lea edx, [ebp - 0x380]
lea ecx, [ebp - 0x10038c]
call fcn.004027f0
add esp, 8
mov esi, dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
mov edi, dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fflush]
mov ecx, dword [ebp - 0x100390]
test ecx, ecx
je 0x402552
push ecx
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fclose]
add esp, 4
cmp byte [ebp - 0x100392], 0
je 0x4025b5
push str.Finished_n
call fcn.004014f0
push 1
call esi
push eax
call edi
mov eax, dword [ebp - 0x20]
add esp, 0xc
test eax, eax
je 0x402595
push eax
mov dword [ebp - 0x1c], 0
call dword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
add esp, 4
mov dword [ebp - 0x20], 0
mov dword [ebp - 0x18], 0
lea ecx, [ebp - 0x380]
mov byte [ebp - 4], 9
call fcn.00403960
mov esi, dword [ebp - 0x1003a8]
mov edi, dword [sym.imp.api_ms_win_crt_runtime_l1_1_0.dll_signal]
jmp 0x402160
push 1
call esi
push eax
call edi
mov eax, dword [ebp - 0x20]
add esp, 8
test eax, eax
je 0x4025d0
push eax
call dword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
add esp, 4
lea ecx, [ebp - 0x380]
call fcn.00403960
xor eax, eax
mov ecx, dword [ebp - 0xc]
mov dword fs:[0], ecx
pop ecx
pop edi
pop esi
pop ebx
mov ecx, dword [ebp - 0x14]
xor ecx, ebp
call fcn.00407238
mov esp, ebp
pop ebp
ret