root
file
detailed [400..424]
prev
next
detailed results (489 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV064+1.p
(content)
error
unsat
2.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV063+1.p
(content)
error
unsat
2.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV061+1.p
(content)
error
unsat
3.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+7.p
(content)
error
unknown
0.704s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+6.p
(content)
error
unknown
0.707s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+5.p
(content)
error
unknown
0.194s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+4.p
(content)
error
unknown
0.117s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+3.p
(content)
error
unknown
1.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+2.p
(content)
error
unknown
0.289s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR118+1.p
(content)
error
unknown
0.134s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR110+3.p
(content)
error
unsat
0.889s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR110+2.p
(content)
error
unsat
0.199s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR110+1.p
(content)
error
unsat
0.128s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+7.p
(content)
error
unknown
0.787s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+6.p
(content)
error
unknown
0.749s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+5.p
(content)
error
unknown
0.233s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+4.p
(content)
error
unknown
0.120s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+3.p
(content)
error
unknown
1.2s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+2.p
(content)
error
unknown
0.278s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR109+1.p
(content)
error
unknown
0.140s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR108+7.p
(content)
error
unknown
0.781s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR108+6.p
(content)
error
unknown
0.773s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR108+5.p
(content)
error
unknown
0.225s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR108+4.p
(content)
error
unknown
0.108s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR108+3.p
(content)
error
unknown
1.4s