From 61fdd44c21a3655c3dcea52601c59b31414f8860 Mon Sep 17 00:00:00 2001 From: denes Date: Mon, 6 Jul 2009 14:17:49 +0000 Subject: [PATCH] Fixed printing of number of problems solved --- .../components/binaries/matitaprover/run_on_a_list.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/software/components/binaries/matitaprover/run_on_a_list.sh b/helm/software/components/binaries/matitaprover/run_on_a_list.sh index dbcd65631..c80e128e2 100755 --- a/helm/software/components/binaries/matitaprover/run_on_a_list.sh +++ b/helm/software/components/binaries/matitaprover/run_on_a_list.sh @@ -8,11 +8,11 @@ fi > log for PROBLEM in `cat $2`; do echo running on $PROBLEM - ./matitaprover.native --timeout $1 --tptppath TPTP-v3.7.0/ $PROBLEM \ + ./matitaprover.native --timeout $1 --tptppath ~/TPTP-v3.7.0/ $PROBLEM \ >> log 2>&1 - echo So far `grep Unsatisfiable log|wc -l` solved + echo So far `grep 'SZS status Unsatisfiable' log|wc -l` solved done echo Solved: -grep 'Unsatisfiable' log | wc -l +grep 'SZS status Unsatisfiable' log | wc -l echo Failed: grep 'Timeout' log | wc -l -- 2.39.2