root
file
detailed [10025..10049]
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/SWV170+1.p
(content)
unsat
unsat
0.359s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV169+1.p
(content)
unsat
unsat
0.319s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV169+1.p
(content)
unsat
unsat
0.318s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV166+1.p
(content)
unsat
unsat
0.307s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV166+1.p
(content)
unsat
unsat
0.347s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV165+1.p
(content)
unsat
unsat
0.335s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV165+1.p
(content)
unsat
unsat
0.339s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV164+1.p
(content)
unsat
unsat
0.422s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV164+1.p
(content)
unsat
unsat
0.415s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV163+1.p
(content)
unsat
unsat
0.525s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV163+1.p
(content)
unsat
unsat
0.401s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV160+1.p
(content)
unsat
unsat
0.059s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV160+1.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV159+1.p
(content)
unsat
unsat
0.371s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV159+1.p
(content)
unsat
unsat
0.368s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV158+1.p
(content)
unsat
unsat
0.326s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV158+1.p
(content)
unsat
unsat
0.334s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV156+1.p
(content)
unsat
unsat
0.059s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV156+1.p
(content)
unsat
unsat
0.060s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV155+1.p
(content)
unsat
unsat
0.334s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV155+1.p
(content)
unsat
unsat
0.328s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV154+1.p
(content)
unsat
unsat
0.309s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV154+1.p
(content)
unsat
unsat
0.341s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV152+1.p
(content)
unsat
unsat
0.395s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV152+1.p
(content)
unsat
unsat
0.399s