detailed results (12865 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT261_5.p (content) unsat unsat 4.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT261_5.p (content) unsat unsat 4.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT255_5.p (content) unsat unknown 4.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT255_5.p (content) unsat unknown 4.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT243_5.p (content) unsat unsat 0.203s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT243_5.p (content) unsat unsat 0.182s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT241_5.p (content) unsat unsat 0.174s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT241_5.p (content) unsat unsat 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT239_5.p (content) unsat unknown 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT239_5.p (content) unsat unknown 0.061s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT231_5.p (content) unsat unsat 8.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT229_5.p (content) unsat unsat 0.092s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT229_5.p (content) unsat unsat 0.093s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT226_5.p (content) unsat unsat 6.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT226_5.p (content) unsat unsat 7.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT222_5.p (content) unsat unsat 0.097s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT222_5.p (content) unsat unsat 0.096s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT214_5.p (content) unsat unknown 6.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT214_5.p (content) unsat unknown 6.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT199_5.p (content) unsat unsat 8.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT199_5.p (content) unsat unsat 8.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT179_5.p (content) unsat unknown 0.747s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT179_5.p (content) unsat unknown 0.839s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT172_5.p (content) unsat unsat 0.065s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT172_5.p (content) unsat unsat 0.066s