root
file
detailed [1125..1149]
prev
next
detailed results (12796 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-1.p
(content)
unsat
unsat
0.184s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-1.p
(content)
unsat
unsat
0.187s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-4.p
(content)
unsat
unsat
0.049s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-4.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-3.p
(content)
unsat
unsat
0.060s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-3.p
(content)
unsat
unsat
0.063s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-1.p
(content)
unsat
unsat
8.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-4.p
(content)
unsat
unsat
0.050s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-4.p
(content)
unsat
unsat
0.051s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-3.p
(content)
unsat
unsat
0.057s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-3.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-4.p
(content)
unsat
unsat
0.589s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-4.p
(content)
unsat
unsat
0.609s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-3.p
(content)
unsat
unsat
0.719s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-3.p
(content)
unsat
unsat
0.665s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT001-4.p
(content)
unsat
unsat
0.600s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT001-4.p
(content)
unsat
unsat
0.609s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT001-3.p
(content)
unsat
unsat
0.598s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT001-3.p
(content)
unsat
unsat
0.691s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/BOO/BOO075-1.p
(content)
unsat
unsat
0.883s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/BOO/BOO075-1.p
(content)
unsat
unsat
0.886s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/BOO/BOO026-1.p
(content)
unsat
unsat
4.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/BOO/BOO026-1.p
(content)
unsat
unsat
5.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/BOO/BOO025-1.p
(content)
unsat
unsat
5.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/BOO/BOO025-1.p
(content)
unsat
unsat
5.7s