root
file
detailed [7775..7799]
prev
next
detailed results (12888 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU146+2.p
(content)
unsat
unsat
7.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU146+2.p
(content)
unsat
unsat
7.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU146+1.p
(content)
unsat
unsat
0.068s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU146+1.p
(content)
unsat
unsat
0.099s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU144+2.p
(content)
unsat
unsat
1.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU144+2.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU144+1.p
(content)
unsat
unsat
0.045s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU144+1.p
(content)
unsat
unsat
0.047s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU143+2.p
(content)
unsat
unsat
0.045s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU143+2.p
(content)
unsat
unsat
0.048s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU143+1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU143+1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU142+1.p
(content)
unsat
unsat
0.055s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU142+1.p
(content)
unsat
unsat
0.065s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU140+1.p
(content)
unsat
unsat
0.066s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU140+1.p
(content)
unsat
unsat
0.068s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU139+2.p
(content)
unsat
unsat
0.312s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU139+2.p
(content)
unsat
unsat
0.388s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU139+1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU139+1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU137+2.p
(content)
unsat
unsat
0.210s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU137+2.p
(content)
unsat
unsat
0.130s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU134+2.p
(content)
unsat
unsat
0.105s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU134+2.p
(content)
unsat
unsat
0.130s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU134+1.p
(content)
unsat
unsat
0.032s