root
file
detailed [2575..2599]
prev
next
detailed results (6412 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT020+1.p
(content)
unsat
unsat
0.230s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018-1.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018+1.p
(content)
unsat
unsat
0.049s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017-1.p
(content)
unsat
unsat
0.090s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017+1.p
(content)
unsat
unsat
0.052s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016-1.p
(content)
unsat
unsat
0.050s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016+1.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015-1.p
(content)
unsat
unsat
0.089s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015+1.p
(content)
unsat
unsat
0.065s
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/MGT014+1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT013-1.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT013+1.p
(content)
unsat
unsat
0.038s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012-1.p
(content)
unsat
unsat
0.065s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012+1.p
(content)
unsat
unsat
0.037s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT011-1.p
(content)
unsat
unsat
0.040s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT011+1.p
(content)
unsat
unsat
0.038s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010-1.p
(content)
unsat
unsat
0.269s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010+1.p
(content)
unsat
unsat
0.294s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009-1.p
(content)
unsat
unsat
0.076s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009+1.p
(content)
unsat
unsat
0.066s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008-1.p
(content)
unsat
unsat
0.046s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008+1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007-1.p
(content)
unsat
unsat
0.124s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007+1.p
(content)
unsat
unsat
0.140s