root
file
detailed [675..699]
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/COL/COL077-1.p
(content)
unsat
unsat
9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL075-2.p
(content)
unsat
unsat
0.049s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL075-1.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL074-3.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL070-1.p
(content)
unsat
unsat
1.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-9.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-8.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-7.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-6.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-5.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-4.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-3.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-11.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL064-10.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL063-6.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL063-5.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL063-4.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL063-3.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL063-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL063-1.p
(content)
unsat
unsat
5.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL062-3.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL062-2.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL062-1.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL061-3.p
(content)
unsat
unsat
0.017s