| | Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\RSP000001103327872.rsp" wird erstellt. Inhalt:
[
/O2 /Ob2 /Oi /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 ".\User_Interface.cpp"
]Erstellen der Befehlszeile "cl.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\RSP000001103327872.rsp" /nologo /errorReport:prompt"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\RSP000002103327872.rsp" wird erstellt. Inhalt:
[
/OUT:"D:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\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 d (older solver, never failed, all tuples properly disabled)\tests\alternativepolynomialsolver\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\User_Interface.obj"
]Erstellen der Befehlszeile "link.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\RSP000002103327872.rsp" /NOLOGO /ERRORREPORT:PROMPT"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\RSP000003103327872.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 D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\RSP000003103327872.rsp" /nologo"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\BAT000004103327872.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 D (Older solver, never failed, all tuples properly disabled)\Tests\AlternativePolynomialSolver\Release\BAT000004103327872.bat""" |