detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC276+1.p (content) unsat unsat 0.073s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC275-1.p (content) unsat unsat 2.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC275-1.p (content) unsat unsat 2.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC275+1.p (content) unsat unsat 7.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC275+1.p (content) unsat unsat 8.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC269-1.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC269-1.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC269+1.p (content) unsat unsat 0.053s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC269+1.p (content) unsat unsat 0.052s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC262-1.p (content) unsat unsat 0.054s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC262-1.p (content) unsat unsat 0.040s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC262+1.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC262+1.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC259-1.p (content) unsat unsat 0.947s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC259-1.p (content) unsat unsat 0.757s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC259+1.p (content) unsat unsat 0.642s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC259+1.p (content) unsat unsat 0.701s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC258-1.p (content) unsat unsat 0.336s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC258-1.p (content) unsat unsat 0.404s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC258+1.p (content) unsat unsat 0.074s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC258+1.p (content) unsat unsat 0.105s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC257-1.p (content) unsat unsat 0.317s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC257-1.p (content) unsat unsat 0.330s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC257+1.p (content) unsat unsat 0.079s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC257+1.p (content) unsat unsat 0.082s