root
file
detailed [10675..10699]
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/SWW/SWW469_1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW469^1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW469^1.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW469+5.p
(content)
unsat
unsat
0.058s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW469+5.p
(content)
unsat
unsat
0.056s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW469+1.p
(content)
unsat
unsat
0.033s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW469+1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW421-1.p
(content)
unsat
unsat
0.086s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW421-1.p
(content)
unsat
unsat
0.091s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW417-1.p
(content)
unsat
unsat
0.095s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW417-1.p
(content)
unsat
unsat
0.098s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW413-1.p
(content)
unsat
unsat
0.098s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW413-1.p
(content)
unsat
unsat
0.093s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW383+1.p
(content)
unsat
unsat
3.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW383+1.p
(content)
unsat
unsat
3.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW375+1.p
(content)
unsat
unsat
3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW375+1.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW342+1.p
(content)
unsat
unsat
3.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW342+1.p
(content)
unsat
unsat
3.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW294+1.p
(content)
unsat
unsat
6.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW294+1.p
(content)
unsat
unsat
6.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW272+1.p
(content)
unsat
unsat
3.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW272+1.p
(content)
unsat
unsat
3.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW216+1.p
(content)
unsat
unsat
0.587s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW216+1.p
(content)
unsat
unsat
0.692s