detailed results (6471 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV184+1.p (content) unsat unsat 0.330s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV183+1.p (content) unsat unsat 0.298s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV182+1.p (content) unsat unsat 9.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV181+1.p (content) unsat unsat 0.465s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV180+1.p (content) unsat unsat 0.322s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV179+1.p (content) unsat unsat 0.285s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV178+1.p (content) unsat unsat 0.330s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV177+1.p (content) unsat unsat 0.328s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV176+1.p (content) unsat unsat 0.375s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV173+1.p (content) unsat unsat 0.331s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV172+1.p (content) unsat unsat 0.308s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV171+1.p (content) unsat unsat 0.342s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV170+1.p (content) unsat unsat 0.336s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV169+1.p (content) unsat unsat 0.325s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV166+1.p (content) unsat unsat 0.339s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV165+1.p (content) unsat unsat 0.455s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV164+1.p (content) unsat unsat 0.398s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV163+1.p (content) unsat unsat 0.407s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV160+1.p (content) unsat unsat 0.052s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV159+1.p (content) unsat unsat 0.325s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV158+1.p (content) unsat unsat 0.344s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV156+1.p (content) unsat unsat 0.055s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV155+1.p (content) unsat unsat 0.324s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV154+1.p (content) unsat unsat 0.304s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV152+1.p (content) unsat unsat 0.342s