root
file
detailed [75..99]
prev
next
detailed results (480 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP036+1.p
(content)
unknown
sat
0.201s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP011+1.p
(content)
unknown
unsat
5.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP009+1.p
(content)
unknown
unsat
0.668s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.030.p
(content)
unknown
unsat
0.059s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.027.p
(content)
unknown
unsat
0.053s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.025.p
(content)
unknown
unsat
0.049s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.022.p
(content)
unknown
unsat
0.058s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.020.p
(content)
unknown
unsat
0.045s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.015.p
(content)
unknown
unsat
0.038s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC013+1.p
(content)
unknown
sat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT038-1.p
(content)
unknown
sat
8.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL743^5.p
(content)
unknown
sat
0.023s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL738^5.p
(content)
unknown
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL657+1.020.p
(content)
unknown
sat
0.151s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL657+1.015.p
(content)
unknown
sat
0.096s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL656+1.020.p
(content)
unknown
unsat
0.151s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL656+1.015.p
(content)
unknown
unsat
0.119s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS282-1.p
(content)
unknown
sat
3.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS281-1.p
(content)
unknown
unsat
3.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS280-1.p
(content)
unknown
unsat
4.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS279-1.p
(content)
unknown
sat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS279+1.p
(content)
unknown
sat
4.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS278-1.p
(content)
unknown
unsat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS278+1.p
(content)
unknown
unsat
10.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV085-1.p
(content)
unknown
sat
3s