detailed results (6475 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN008-4.p (content) unsat unsat 0.867s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN008-3.p (content) unsat unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN007-5.p (content) unsat unsat 0.270s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN007-4.p (content) unsat unsat 9.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN007-3.p (content) unsat unsat 5.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN006-5.p (content) unsat unsat 0.048s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN006-3.p (content) unsat unsat 0.142s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN005-6.p (content) unsat unsat 0.119s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN005-5.p (content) unsat unsat 0.094s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN005-3.p (content) unsat unsat 0.104s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN005-2.p (content) unsat unsat 6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN005-1.p (content) unsat unsat 3.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN004-6.p (content) unsat unsat 0.341s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN004-5.p (content) unsat unsat 0.080s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN004-4.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN004-3.p (content) unsat unsat 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN004-2.p (content) unsat unsat 8.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN004-1.p (content) unsat unsat 1.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN003-5.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN003-4.p (content) unsat unsat 0.362s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN003-3.p (content) unsat unsat 0.132s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN003-2.p (content) unsat unsat 0.919s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN003-1.p (content) unsat unsat 0.752s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-5.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-4.p (content) unsat unsat 0.025s