root
file
detailed [5350..5374]
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/SWV985-1.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV982-1.p
(content)
unsat
unsat
0.429s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV972-1.p
(content)
unsat
unsat
4.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV968-1.p
(content)
unsat
unsat
0.057s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV966-1.p
(content)
unsat
unsat
0.455s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV962-1.p
(content)
unsat
unsat
0.986s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV959-1.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV957-1.p
(content)
unsat
unsat
0.057s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV955-1.p
(content)
unsat
unsat
0.725s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV954-1.p
(content)
unsat
unsat
9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV951-1.p
(content)
unsat
unsat
0.124s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV949-1.p
(content)
unsat
unsat
0.122s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV943-1.p
(content)
unsat
unsat
0.113s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV939-1.p
(content)
unsat
unsat
8.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV925-1.p
(content)
unsat
unsat
0.134s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV906-1.p
(content)
unsat
unsat
4.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV905-1.p
(content)
unsat
unsat
6.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV904-1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV900-1.p
(content)
unsat
unsat
9.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV897-1.p
(content)
unsat
unsat
2.0s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV889-1.p
(content)
unsat
unsat
9.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV888-1.p
(content)
unsat
unsat
0.086s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV886-1.p
(content)
unsat
unsat
7.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV880-1.p
(content)
unsat
unsat
9.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV875-1.p
(content)
unsat
unsat
0.233s