root
file
detailed [7675..7699]
prev
next
detailed results (12865 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU107+1.p
(content)
unsat
unsat
0.519s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU104+1.p
(content)
unsat
unsat
0.875s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU104+1.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU102+1.p
(content)
unsat
unsat
0.155s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU102+1.p
(content)
unsat
unsat
0.155s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU101+1.p
(content)
unsat
unsat
0.257s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU101+1.p
(content)
unsat
unsat
0.262s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU096+1.p
(content)
unsat
unsat
0.079s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU096+1.p
(content)
unsat
unsat
0.074s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU094+1.p
(content)
unsat
unsat
0.388s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU094+1.p
(content)
unsat
unsat
0.424s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU090+1.p
(content)
unsat
unsat
0.288s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU090+1.p
(content)
unsat
unsat
0.267s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU089+1.p
(content)
unsat
unsat
0.277s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU089+1.p
(content)
unsat
unsat
0.283s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU085+1.p
(content)
unsat
unsat
0.054s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU085+1.p
(content)
unsat
unsat
0.055s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU083+1.p
(content)
unsat
unsat
0.104s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU083+1.p
(content)
unsat
unsat
0.104s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU080+1.p
(content)
unsat
unsat
0.067s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU080+1.p
(content)
unsat
unsat
0.071s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU072+1.p
(content)
unsat
unsat
0.599s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU072+1.p
(content)
unsat
unsat
0.583s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU062+1.p
(content)
unsat
unsat
0.106s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU062+1.p
(content)
unsat
unsat
0.091s