katy
29.01.14, 13:56
Hi,
ich weiß nicht ihn welchen Teil des Forums diese Frage genau gehört :confused: aber ich probiers einfach mal hier.
Ich versuch gerade im Terminal QBF Solver auszuprobieren und will jetzt vergleichen, wie lange die verschiedenen Solver für verschiedene Arten von Problemen brauchen. Ich find in dem README von den Solvern eine ganze Reihe von Befehlen aber keinen der mir ausgbit, wie lange das Programm jetzt gebraucht hat um mir SAT bzw. UNSAT auszuspucken. :(
Hat jemand eine Idee, wie ich mir das einzigen lassen kann?
Danke
ich weiß nicht ihn welchen Teil des Forums diese Frage genau gehört :confused: aber ich probiers einfach mal hier.
Ich versuch gerade im Terminal QBF Solver auszuprobieren und will jetzt vergleichen, wie lange die verschiedenen Solver für verschiedene Arten von Problemen brauchen. Ich find in dem README von den Solvern eine ganze Reihe von Befehlen aber keinen der mir ausgbit, wie lange das Programm jetzt gebraucht hat um mir SAT bzw. UNSAT auszuspucken. :(
Hat jemand eine Idee, wie ich mir das einzigen lassen kann?
Danke