detailed results (12865 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV190+1.p (content) unsat unsat 0.343s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV190+1.p (content) unsat unsat 0.343s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV189+1.p (content) unsat unsat 0.379s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV189+1.p (content) unsat unsat 0.371s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV188+1.p (content) unsat unsat 0.405s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV188+1.p (content) unsat unsat 0.376s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV187+1.p (content) unsat unsat 0.280s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV187+1.p (content) unsat unsat 0.307s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV186+1.p (content) unsat unsat 0.334s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV186+1.p (content) unsat unsat 0.298s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV185+1.p (content) unsat unsat 0.288s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV185+1.p (content) unsat unsat 0.317s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV184+1.p (content) unsat unsat 0.280s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV184+1.p (content) unsat unsat 0.281s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV183+1.p (content) unsat unsat 0.329s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV183+1.p (content) unsat unsat 0.336s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV182+1.p (content) unsat unsat 9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV182+1.p (content) unsat unsat 8.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV181+1.p (content) unsat unsat 0.456s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV181+1.p (content) unsat unsat 0.510s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV180+1.p (content) unsat unsat 0.294s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV180+1.p (content) unsat unsat 0.289s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV179+1.p (content) unsat unsat 0.280s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV179+1.p (content) unsat unsat 0.307s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV178+1.p (content) unsat unsat 0.327s