root
file
detailed [5175..5199]
prev
next
detailed results (6433 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV364-1.p
(content)
unsat
unsat
4.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV363-2.p
(content)
unsat
unsat
0.043s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV361-2.p
(content)
unsat
unsat
0.047s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV359-2.p
(content)
unsat
unsat
0.055s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV358-2.p
(content)
unsat
unsat
0.041s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV357-2.p
(content)
unsat
unsat
0.035s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV356-2.p
(content)
unsat
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV355-2.p
(content)
unsat
unsat
0.046s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV352-2.p
(content)
unsat
unsat
0.060s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV351-2.p
(content)
unsat
unsat
0.038s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV350-2.p
(content)
unsat
unsat
0.029s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV349-2.p
(content)
unsat
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV344-2.p
(content)
unsat
unsat
0.052s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV343-2.p
(content)
unsat
unsat
0.038s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV342-2.p
(content)
unsat
unsat
0.043s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV341-2.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV340-2.p
(content)
unsat
unsat
0.094s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV339-2.p
(content)
unsat
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV338-2.p
(content)
unsat
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV337-2.p
(content)
unsat
unsat
0.045s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV336-2.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV336-1.p
(content)
unsat
unsat
1.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV335-2.p
(content)
unsat
unsat
0.034s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV334-2.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV333-2.p
(content)
unsat
unsat
0.027s