root
file
detailed [5275..5299]
prev
next
detailed results (6471 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV571-1.043.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV570-1.049.p
(content)
unsat
unsat
2.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV570-1.046.p
(content)
unsat
unsat
1.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV570-1.043.p
(content)
unsat
unsat
1.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV558-1.010.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV558-1.007.p
(content)
unsat
unsat
0.496s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV558-1.004.p
(content)
unsat
unsat
0.089s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV547-1.010.p
(content)
unsat
unsat
4.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV547-1.007.p
(content)
unsat
unsat
0.332s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV547-1.004.p
(content)
unsat
unsat
0.169s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV543-1.010.p
(content)
unsat
unsat
3.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV543-1.007.p
(content)
unsat
unsat
0.254s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV543-1.004.p
(content)
unsat
unsat
0.183s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV541-1.007.p
(content)
unsat
unsat
7.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV539-1.004.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV501-1.030.p
(content)
unsat
unsat
6.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV489+3.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV488+3.p
(content)
unsat
unsat
0.229s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV488+2.p
(content)
unsat
unsat
0.254s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV487+3.p
(content)
unsat
unsat
6.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV487+1.p
(content)
unsat
unsat
6.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV486+3.p
(content)
unsat
unsat
0.496s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV486+2.p
(content)
unsat
unsat
0.431s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV486+1.p
(content)
unsat
unsat
0.377s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV480+1.p
(content)
unsat
unsat
2.5s