root
file
detailed [600..624]
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/CAT/CAT016-3.p
(content)
unsat
unsat
0.277s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p
(content)
unsat
unsat
0.302s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p
(content)
unsat
unsat
0.364s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p
(content)
unsat
unsat
0.176s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-4.p
(content)
unsat
unsat
0.317s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-3.p
(content)
unsat
unsat
0.428s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-1.p
(content)
unsat
unsat
0.144s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-4.p
(content)
unsat
unsat
0.316s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-3.p
(content)
unsat
unsat
0.304s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-1.p
(content)
unsat
unsat
0.205s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-4.p
(content)
unsat
unsat
0.317s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-3.p
(content)
unsat
unsat
0.313s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-2.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-1.p
(content)
unsat
unsat
0.159s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-4.p
(content)
unsat
unsat
0.355s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-3.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-1.p
(content)
unsat
unsat
0.371s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-4.p
(content)
unsat
unsat
0.046s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-3.p
(content)
unsat
unsat
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT006-1.p
(content)
unsat
unsat
8.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-4.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-3.p
(content)
unsat
unsat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT005-1.p
(content)
unsat
unsat
8.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT003-4.p
(content)
unsat
unsat
0.589s