root
file
detailed
prev
next
detailed results (12865 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+2.p
(content)
unsat
unsat
0.085s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+2.p
(content)
unsat
unsat
0.084s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+1.p
(content)
unsat
unsat
0.121s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT015+1.p
(content)
unsat
unsat
0.144s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+2.p
(content)
unsat
unsat
0.142s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+2.p
(content)
unsat
unsat
0.143s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+1.p
(content)
unsat
unsat
0.122s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT014+1.p
(content)
unsat
unsat
0.114s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT005+2.p
(content)
unsat
unsat
0.511s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT005+2.p
(content)
unsat
unsat
0.464s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+2.p
(content)
unsat
unsat
0.120s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+2.p
(content)
unsat
unsat
0.085s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+1.p
(content)
unsat
unsat
0.141s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT004+1.p
(content)
unsat
unsat
0.148s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+2.p
(content)
unsat
unsat
0.509s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+2.p
(content)
unsat
unsat
0.510s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+1.p
(content)
unsat
unsat
0.381s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT003+1.p
(content)
unsat
unsat
0.385s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+2.p
(content)
unsat
unsat
0.098s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+2.p
(content)
unsat
unsat
0.092s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+1.p
(content)
unsat
unsat
0.227s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT002+1.p
(content)
unsat
unsat
0.223s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT001+2.p
(content)
unsat
unsat
0.250s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT001+2.p
(content)
unsat
unsat
0.251s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT001+1.p
(content)
unsat
unsat
0.117s