root
file
detailed [8375..8399]
prev
next
detailed results (20646 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT019-2.p
(content)
sat
sat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT019+2.p
(content)
sat
sat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018-1.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018+1.p
(content)
unsat
unsat
0.045s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017-1.p
(content)
unsat
unsat
0.098s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017+1.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016-1.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016+1.p
(content)
unsat
unsat
0.048s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015-1.p
(content)
unsat
unsat
0.090s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015+1.p
(content)
unsat
unsat
0.057s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT014-1.p
(content)
unsat
unsat
0.035s
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.037s
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.045s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012+1.p
(content)
unsat
unsat
0.036s
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.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010-1.p
(content)
unsat
unsat
0.243s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010+1.p
(content)
unsat
unsat
0.355s
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/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.043s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008+1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007-1.p
(content)
unsat
unsat
0.136s