root
file
detailed [100..119]
prev
next
detailed results (120 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT105=1.p
(content)
error
unsat
0.008s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT105=1.p
(content)
error
unsat
0.009s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT104=1.p
(content)
error
unsat
0.007s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT104=1.p
(content)
error
unsat
0.007s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT103=1.p
(content)
error
unsat
0.011s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT103=1.p
(content)
error
unsat
0.010s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT101=1.p
(content)
error
unsat
0.006s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT101=1.p
(content)
error
unsat
0.006s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT099=1.p
(content)
error
unsat
0.009s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT099=1.p
(content)
error
unsat
0.008s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT098=1.p
(content)
error
unsat
0.010s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT098=1.p
(content)
error
unsat
0.011s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT097=1.p
(content)
error
unsat
0.009s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT097=1.p
(content)
error
unsat
0.008s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT095=1.p
(content)
error
unsat
0.008s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT095=1.p
(content)
error
unsat
0.007s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT093=1.p
(content)
error
unsat
0.007s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT093=1.p
(content)
error
unsat
0.010s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT090=1.p
(content)
error
unsat
0.007s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT090=1.p
(content)
error
unsat
0.011s