root
file
detailed [3400..3424]
prev
next
detailed results (6472 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025+1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-7.p
(content)
unsat
unsat
0.041s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-6.p
(content)
unsat
unsat
0.046s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-4.p
(content)
unsat
unsat
0.077s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-3.p
(content)
unsat
unsat
0.076s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024+1.p
(content)
unsat
unsat
0.051s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020+1.p
(content)
unsat
unsat
0.941s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET019+4.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET018-1.p
(content)
unsat
unsat
0.061s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET017^1.p
(content)
unsat
unsat
0.327s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET017-7.p
(content)
unsat
unsat
0.614s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET017-6.p
(content)
unsat
unsat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET017+1.p
(content)
unsat
unsat
0.397s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET016-1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET016+4.p
(content)
unsat
unsat
0.049s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET015-2.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET015-1.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET014^5.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET013-4.p
(content)
unsat
unsat
2.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET013-1.p
(content)
unsat
unsat
8.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET013+4.p
(content)
unsat
unsat
8.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET012-4.p
(content)
unsat
unsat
0.110s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET012-1.p
(content)
unsat
unsat
0.046s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET011^5.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET011+3.p
(content)
unsat
unsat
6.5s