root
file
detailed [9925..9949]
prev
next
detailed results (12847 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV080+1.p
(content)
unsat
unsat
0.454s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV078+1.p
(content)
unsat
unsat
0.329s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV078+1.p
(content)
unsat
unsat
0.335s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV077+1.p
(content)
unsat
unsat
0.337s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV077+1.p
(content)
unsat
unsat
0.299s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV076+1.p
(content)
unsat
unsat
0.281s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV076+1.p
(content)
unsat
unsat
0.279s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV075+1.p
(content)
unsat
unsat
0.297s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV075+1.p
(content)
unsat
unsat
0.291s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV074+1.p
(content)
unsat
unsat
0.329s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV074+1.p
(content)
unsat
unsat
0.297s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV073+1.p
(content)
unsat
unsat
0.356s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV073+1.p
(content)
unsat
unsat
0.396s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV072+1.p
(content)
unsat
unsat
0.306s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV072+1.p
(content)
unsat
unsat
0.310s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV071+1.p
(content)
unsat
unsat
0.299s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV071+1.p
(content)
unsat
unsat
0.323s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV070+1.p
(content)
unsat
unsat
0.279s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV070+1.p
(content)
unsat
unsat
0.278s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV069+1.p
(content)
unsat
unsat
0.281s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV069+1.p
(content)
unsat
unsat
0.287s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV068+1.p
(content)
unsat
unsat
0.040s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV068+1.p
(content)
unsat
unsat
0.041s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV067+1.p
(content)
unsat
unsat
0.564s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV067+1.p
(content)
unsat
unsat
0.566s