root
file
detailed [1100..1124]
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/GEO/GEO015-3.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO015-2.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO014-2.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO011-5.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO011-4.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO011-3.p
(content)
unsat
unsat
0.083s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO011-2.p
(content)
unsat
unsat
0.070s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO011-1.p
(content)
unsat
unsat
0.108s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO007-1.p
(content)
unsat
unsat
0.340s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO006-3.p
(content)
unsat
unsat
0.047s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO006-2.p
(content)
unsat
unsat
0.043s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO006-1.p
(content)
unsat
unsat
0.093s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO003-3.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO003-2.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO003-1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO002-4.p
(content)
unsat
unsat
0.088s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO002-3.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO002-2.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO002-1.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO001-3.p
(content)
unsat
unsat
7.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO001-2.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO001-1.p
(content)
unsat
unsat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEG/GEG025=1.p
(content)
unsat
unsat
2.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEG/GEG024=1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEG/GEG023=1.p
(content)
unsat
unsat
0.238s