root
file
detailed [5025..5049]
prev
next
detailed results (6433 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/SWV190+1.p
(content)
unsat
unsat
0.343s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV189+1.p
(content)
unsat
unsat
0.371s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV188+1.p
(content)
unsat
unsat
0.376s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV187+1.p
(content)
unsat
unsat
0.307s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV186+1.p
(content)
unsat
unsat
0.298s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV185+1.p
(content)
unsat
unsat
0.317s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV184+1.p
(content)
unsat
unsat
0.281s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV183+1.p
(content)
unsat
unsat
0.336s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV182+1.p
(content)
unsat
unsat
8.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV181+1.p
(content)
unsat
unsat
0.510s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV180+1.p
(content)
unsat
unsat
0.289s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV179+1.p
(content)
unsat
unsat
0.307s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV178+1.p
(content)
unsat
unsat
0.334s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV177+1.p
(content)
unsat
unsat
0.330s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV176+1.p
(content)
unsat
unsat
0.332s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV173+1.p
(content)
unsat
unsat
0.298s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV172+1.p
(content)
unsat
unsat
0.314s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV171+1.p
(content)
unsat
unsat
0.335s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV170+1.p
(content)
unsat
unsat
0.353s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV169+1.p
(content)
unsat
unsat
0.362s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV166+1.p
(content)
unsat
unsat
0.374s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV165+1.p
(content)
unsat
unsat
0.384s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV164+1.p
(content)
unsat
unsat
0.380s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV163+1.p
(content)
unsat
unsat
0.416s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV160+1.p
(content)
unsat
unsat
0.070s