root
file
detailed [1150..1174]
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/GEO058-3.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO058-2.p
(content)
unsat
unsat
0.030s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO057-3.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO057-2.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO056-3.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO056-2.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO055-3.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO055-2.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO054-3.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO054-2.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO053-3.p
(content)
unsat
unsat
0.957s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO048-3.p
(content)
unsat
unsat
0.039s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO048-2.p
(content)
unsat
unsat
0.060s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO047-3.p
(content)
unsat
unsat
0.948s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO045-3.p
(content)
unsat
unsat
0.950s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-3.p
(content)
unsat
unsat
7.0s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-2.p
(content)
unsat
unsat
0.105s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-3.p
(content)
unsat
unsat
7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-2.p
(content)
unsat
unsat
0.055s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-3.p
(content)
unsat
unsat
0.041s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-2.p
(content)
unsat
unsat
0.100s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-3.p
(content)
unsat
unsat
4.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-2.p
(content)
unsat
unsat
0.045s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-3.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-2.p
(content)
unsat
unsat
0.025s