detailed results (6406 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT021-1.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT021+1.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT020-1.p (content) unsat unsat 0.099s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT020+1.p (content) unsat unsat 0.225s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018-1.p (content) unsat unsat 0.063s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018+1.p (content) unsat unsat 0.051s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017-1.p (content) unsat unsat 0.096s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017+1.p (content) unsat unsat 0.059s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016-1.p (content) unsat unsat 0.051s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016+1.p (content) unsat unsat 0.046s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015-1.p (content) unsat unsat 0.111s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015+1.p (content) unsat unsat 0.052s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT014-1.p (content) unsat unsat 0.040s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT014+1.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT013-1.p (content) unsat unsat 0.049s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT013+1.p (content) unsat unsat 0.045s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012-1.p (content) unsat unsat 0.040s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012+1.p (content) unsat unsat 0.042s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT011-1.p (content) unsat unsat 0.041s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT011+1.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010-1.p (content) unsat unsat 0.267s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010+1.p (content) unsat unsat 0.335s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009-1.p (content) unsat unsat 0.071s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009+1.p (content) unsat unsat 0.077s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008-1.p (content) unsat unsat 0.048s