detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW503_5.p (content) unsat unsat 3.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW499_5.p (content) unsat unsat 0.140s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW499_5.p (content) unsat unsat 0.125s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW496_5.p (content) unsat unsat 0.446s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW496_5.p (content) unsat unsat 0.466s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW495_5.p (content) unsat unsat 0.252s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW495_5.p (content) unsat unsat 0.249s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW494_5.p (content) unsat unsat 0.979s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW494_5.p (content) unsat unsat 0.976s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW492_5.p (content) unsat unknown 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW492_5.p (content) unsat unknown 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW490_5.p (content) unsat unknown 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW490_5.p (content) unsat unknown 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW488_5.p (content) unsat unknown 1.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW488_5.p (content) unsat unknown 1.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW486_5.p (content) unsat unsat 1.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW486_5.p (content) unsat unsat 1.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW485_5.p (content) unsat unknown 0.134s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW485_5.p (content) unsat unknown 0.136s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW482_5.p (content) unsat unknown 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW482_5.p (content) unsat unknown 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW478_1.p (content) unsat unsat 0.115s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW478_1.p (content) unsat unsat 0.118s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW478^3.p (content) unsat unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW478^1.p (content) unsat unsat 0.113s