| | | Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\RSP0000011110810356.rsp" wird erstellt. Inhalt:
[
/O2 /Ob2 /Ot /GL /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /FD /EHsc /MT /Fo"Release\\" /Fd"Release\vc80.pdb" /W3 /c /Wp64 /Zi /TP ".\Polynomial_3SAT_Solver.cpp"
]Erstellen der Befehlszeile "cl.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\RSP0000011110810356.rsp" /nologo /errorReport:prompt"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\RSP0000021110810356.rsp" wird erstellt. Inhalt:
[
/OUT:"D:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\Polynomial_3SAT_Solver.exe" /INCREMENTAL:NO /MANIFEST /MANIFESTFILE:"Release\Polynomial_3SAT_Solver.exe.intermediate.manifest" /DEBUG /PDB:"d:\sat\9 - algorithm b (new) + clausepath\zip 1\algorithm b (older solver, never failed, but s.t. too many remaining tuples)\solver application\release\Polynomial_3SAT_Solver.pdb" /SUBSYSTEM:CONSOLE /OPT:REF /OPT:ICF /LTCG /MACHINE:X86 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib
".\release\Polynomial_3SAT_Solver.obj"
]Erstellen der Befehlszeile "link.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\RSP0000021110810356.rsp" /NOLOGO /ERRORREPORT:PROMPT"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\RSP0000031110810356.rsp" wird erstellt. Inhalt:
[
/outputresource:".\release\Polynomial_3SAT_Solver.exe;#1" /manifest
".\release\Polynomial_3SAT_Solver.exe.intermediate.manifest"
]Erstellen der Befehlszeile "mt.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\RSP0000031110810356.rsp" /nologo"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\BAT0000041110810356.bat" wird erstellt. Inhalt:
[
@echo, die Manifestressource wurde zuletzt um %TIME% am %DATE% aktualisiert > ".\release\mt.dep"
]Erstellen der Befehlszeile """d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm B (Older solver, never failed, but s.t. too many remaining tuples)\Solver Application\Release\BAT0000041110810356.bat""" |