root
file
detailed [1000..1024]
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/DAT/DAT092=1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT091=1.p
(content)
unsat
unsat
0.097s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT089=1.p
(content)
unsat
unsat
0.099s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT088=1.p
(content)
unsat
unsat
0.052s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT087=1.p
(content)
unsat
unsat
0.049s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT085=1.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT084=1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT083=1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT082=1.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT081=1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT080=1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT079=1.p
(content)
unsat
unsat
0.069s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT077=1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT076=1.p
(content)
unsat
unsat
0.089s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT074=1.p
(content)
unsat
unsat
0.164s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT073=1.p
(content)
unsat
unsat
0.072s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT071=1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT070=1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT069=1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT068=1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT067=1.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT066=1.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT063=1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT062=1.p
(content)
unsat
unsat
0.040s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT061=1.p
(content)
unsat
unsat
0.055s