root
file
detailed [1250..1274]
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/GEO192+2.p
(content)
unsat
unsat
0.067s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO192+1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO191+3.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO191+2.p
(content)
unsat
unsat
5.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO191+1.p
(content)
unsat
unsat
2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO190+3.p
(content)
unsat
unsat
0.189s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO190+2.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO190+1.p
(content)
unsat
unsat
0.584s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO189+3.p
(content)
unsat
unsat
0.200s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO189+2.p
(content)
unsat
unsat
3.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO189+1.p
(content)
unsat
unsat
0.655s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO188+3.p
(content)
unsat
unsat
0.199s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO188+2.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO188+1.p
(content)
unsat
unsat
0.580s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO187+3.p
(content)
unsat
unsat
0.253s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO187+2.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO187+1.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO186+3.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO186+2.p
(content)
unsat
unsat
0.205s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO186+1.p
(content)
unsat
unsat
0.079s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO185+3.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO185+2.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO185+1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO184+3.p
(content)
unsat
unsat
1.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO184+2.p
(content)
unsat
unsat
0.124s