disable qbfsat tests since they hang server

4fc4c07d · Miodrag Milanovic · 337efd01 · 4fc4c07d · 4fc4c07d · 4fc4c07d
Commit 4fc4c07d authored Jun 26, 2020 by Miodrag Milanovic
6 changed files
--- a/misc/qbfsat/qbfsat_demo9.ys
+++ b/misc/qbfsat/qbfsat_demo9.ys
--- a/misc/qbfsat/qbfsat_sat.ys
+++ b/misc/qbfsat/qbfsat_sat.ys
--- a/misc/qbfsat/qbfsat_solnfile1.ys
+++ b/misc/qbfsat/qbfsat_solnfile1.ys
--- a/misc/qbfsat/qbfsat_solnfile2.ys
+++ b/misc/qbfsat/qbfsat_solnfile2.ys
--- a/misc/qbfsat/qbfsat_solnfile3.ys
+++ b/misc/qbfsat/qbfsat_solnfile3.ys
--- a/misc/qbfsat/qbfsat_writesoln.ys
+++ b/misc/qbfsat/qbfsat_writesoln.ys