root
file
detailed [1375..1399]
prev
next
detailed results (13480 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT026=1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT025=1.p
(content)
unsat
unsat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT025=1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT024=1.p
(content)
unsat
unsat
0.018s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT024=1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT023=1.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT023=1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT022=1.p
(content)
unsat
unsat
0.022s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT022=1.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT021=1.p
(content)
unsat
unsat
0.033s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT021=1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT020=1.p
(content)
unsat
unsat
0.102s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT020=1.p
(content)
unsat
unsat
0.072s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT019=1.p
(content)
unsat
unsat
0.023s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT019=1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT018=1.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT018=1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT017=1.p
(content)
unsat
unsat
0.046s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT017=1.p
(content)
unsat
unsat
0.057s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT016=1.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT016=1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT015=1.p
(content)
unsat
unsat
0.108s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT015=1.p
(content)
unsat
unsat
0.083s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT014=1.p
(content)
unsat
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT014=1.p
(content)
unsat
unsat
0.032s