detailed results (6440 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV570-1.046.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV570-1.043.p (content) unsat unsat 2.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV558-1.010.p (content) unsat unsat 1.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV558-1.007.p (content) unsat unsat 0.472s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV558-1.004.p (content) unsat unsat 0.105s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV547-1.010.p (content) unsat unsat 3.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV547-1.007.p (content) unsat unsat 0.511s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV547-1.004.p (content) unsat unsat 0.175s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV543-1.010.p (content) unsat unsat 3.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV543-1.007.p (content) unsat unsat 0.325s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV543-1.004.p (content) unsat unsat 0.183s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV541-1.007.p (content) unsat unsat 7.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV539-1.004.p (content) unsat unsat 1.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV501-1.030.p (content) unsat unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV489+3.p (content) unsat unsat 1.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV488+3.p (content) unsat unsat 0.255s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV488+2.p (content) unsat unsat 0.230s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV487+3.p (content) unsat unsat 6.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV487+1.p (content) unsat unsat 6.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV486+3.p (content) unsat unsat 0.505s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV486+2.p (content) unsat unsat 0.431s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV486+1.p (content) unsat unsat 0.434s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV480+1.p (content) unsat unsat 2.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV479+1.p (content) unsat unsat 2.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV477+1.p (content) unsat unsat 2.4s