detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV030+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV029+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV028+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV027+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV026+1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV025+1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV024+1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV023+1.p (content) unsat unsat 0.028s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV022+1.p (content) unsat unsat 0.027s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV021-1.p (content) timeout sat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV020-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV019-1.p (content) unsat unsat 0.023s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV018-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV018+1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV017-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV017+1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV016-1.p (content) timeout sat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV016+1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV015-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV015+1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV014-1.p (content) unsat unsat 0.119s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV014+1.p (content) unsat unsat 0.137s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV013-1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV013+1.p (content) timeout sat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV012-1.p (content) timeout sat 9.8s