detailed results (12847 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW562_5.p (content) unsat unsat 0.321s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW562_5.p (content) unsat unsat 0.370s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW553_5.p (content) unsat unsat 1.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW553_5.p (content) unsat unsat 2.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW552_5.p (content) unsat unsat 0.132s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW552_5.p (content) unsat unsat 0.128s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW551_5.p (content) unsat unsat 0.092s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW551_5.p (content) unsat unsat 0.093s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW533_5.p (content) unsat unsat 1.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW533_5.p (content) unsat unsat 1.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW530_5.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW530_5.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW529_5.p (content) unsat unsat 3.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW529_5.p (content) unsat unsat 3.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW525_5.p (content) unsat unknown 0.056s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW525_5.p (content) unsat unknown 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p (content) unsat unsat 0.047s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p (content) unsat unsat 0.056s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p (content) unsat unsat 0.072s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p (content) unsat unsat 0.052s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p (content) unsat unsat 0.057s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW503_5.p (content) unsat unsat 3.5s