detailed results (20646 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN300-1.p (content) unsat unsat 0.833s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN299-1.p (content) unsat unsat 0.998s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN298-1.p (content) unsat unsat 0.790s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN297-1.p (content) unsat unsat 0.071s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN296-1.p (content) unsat unsat 0.197s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN295-1.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN294-1.p (content) unsat unsat 0.213s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN293-1.p (content) unsat unsat 0.208s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN292-1.p (content) unsat unsat 0.105s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN291-1.p (content) unsat unsat 0.070s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN290-1.p (content) unsat unsat 0.108s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN289-1.p (content) unsat unsat 0.215s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN288-1.p (content) unsat unsat 0.062s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN287-1.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN286-1.p (content) unsat unsat 0.205s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN285-1.p (content) unsat unsat 0.237s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN284-1.p (content) unsat unsat 0.214s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN283-1.p (content) unsat unsat 0.330s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN282-1.p (content) unsat unsat 0.076s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN281-1.p (content) unsat unsat 0.098s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN280-1.p (content) unsat unsat 0.076s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN279-1.p (content) unsat unsat 0.241s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN278-1.p (content) unsat unsat 0.070s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN277-1.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN276-1.p (content) unsat unsat 0.052s