detailed results (6472 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV032-2.p (content) unsat unsat 0.044s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV032-1.p (content) unsat unsat 0.063s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV030-2.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV030-1.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV028-1.p (content) unsat unsat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV027-2.p (content) unsat unsat 0.453s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV027-1.p (content) unsat unsat 0.355s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-3.p (content) unsat unsat 0.449s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-2.p (content) unsat unsat 0.497s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV026-1.p (content) unsat unsat 0.625s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV025-1.p (content) unsat unsat 8.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV024-1.p (content) unsat unsat 7.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV023-1.p (content) unsat unsat 6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV022-1.p (content) unsat unsat 0.538s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV021-1.p (content) unsat unsat 0.322s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-3.p (content) unsat unsat 0.375s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-2.p (content) unsat unsat 0.363s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV020-1.p (content) unsat unsat 7.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV019-3.p (content) unsat unsat 0.346s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV019-1.p (content) unsat unsat 0.172s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-3.p (content) unsat unsat 0.107s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-2.p (content) unsat unsat 0.102s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-1.p (content) unsat unsat 1.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV017-1.p (content) unsat unsat 8.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV016-1.p (content) unsat unsat 3.2s