root
file
detailed [625..649]
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/COL023-1.p
(content)
unsat
unsat
3.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL022-1.p
(content)
unsat
unsat
0.507s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL021-1.p
(content)
unsat
unsat
0.244s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL020-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL019-1.p
(content)
unsat
unsat
0.239s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL018-1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL017-1.p
(content)
unsat
unsat
0.100s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL016-1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL015-1.p
(content)
unsat
unsat
0.056s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL014-1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL013-1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL012-1.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL010-1.p
(content)
unsat
unsat
0.095s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL008-1.p
(content)
unsat
unsat
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL007-1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL004-3.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL002-1.p
(content)
unsat
unsat
0.318s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL001-2.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p
(content)
unsat
unsat
0.397s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p
(content)
unsat
unsat
0.448s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p
(content)
unsat
unsat
0.356s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p
(content)
unsat
unsat
0.387s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p
(content)
unsat
unsat
0.267s