detailed results (6417 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV027-2.p (content) unsat unsat 0.494s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV027-1.p (content) unsat unsat 0.334s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-3.p (content) unsat unsat 0.421s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-2.p (content) unsat unsat 0.492s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-1.p (content) unsat unsat 0.622s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV025-1.p (content) unsat unsat 7.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV024-1.p (content) unsat unsat 6.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV023-1.p (content) unsat unsat 5.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV022-1.p (content) unsat unsat 0.529s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV021-1.p (content) unsat unsat 0.336s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-3.p (content) unsat unsat 0.330s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-2.p (content) unsat unsat 0.311s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-1.p (content) unsat unsat 7.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV019-3.p (content) unsat unsat 0.520s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV019-1.p (content) unsat unsat 0.176s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-3.p (content) unsat unsat 0.109s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-2.p (content) unsat unsat 0.192s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-1.p (content) unsat unsat 1.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV016-1.p (content) unsat unsat 2.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-2.p (content) unsat unsat 0.269s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-1.p (content) unsat unsat 0.193s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-2.p (content) unsat unsat 0.375s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-1.p (content) unsat unsat 0.289s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-2.p (content) unsat unsat 0.071s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-1.p (content) unsat unsat 0.088s