root
file
detailed [2725..2749]
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/NLP/NLP147+1.p
(content)
unsat
unsat
0.109s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP145-1.p
(content)
unsat
unsat
0.089s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP145+1.p
(content)
unsat
unsat
0.121s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP143-1.p
(content)
unsat
unsat
0.098s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP143+1.p
(content)
unsat
unsat
0.122s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP141-1.p
(content)
unsat
unsat
0.102s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP141+1.p
(content)
unsat
unsat
0.111s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP122-1.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP122+1.p
(content)
unsat
unsat
0.181s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP117-1.p
(content)
unsat
unsat
0.040s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP094-1.p
(content)
unsat
unsat
0.191s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP094+1.p
(content)
unsat
unsat
0.310s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP081-1.p
(content)
unsat
unsat
0.287s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP080-1.p
(content)
unsat
unsat
0.385s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP079-1.p
(content)
unsat
unsat
0.216s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP011-1.p
(content)
unsat
unsat
0.111s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP009-1.p
(content)
unsat
unsat
0.062s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP007-1.p
(content)
unsat
unsat
0.136s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP004-1.p
(content)
unsat
unsat
0.112s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP001-1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP001+1.p
(content)
unsat
unsat
0.119s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC025^2.p
(content)
unsat
unsat
0.159s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC022=2.p
(content)
unsat
unsat
0.016s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC019+1.p
(content)
unsat
unsat
0.528s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC017+1.p
(content)
unsat
unsat
0.023s