root
file
detailed [50..74]
prev
next
detailed results (125 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb29.p
(content)
unsat
unknown
0.034s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb27.p
(content)
unsat
unknown
0.016s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb26.p
(content)
unsat
unknown
0.017s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb25.p
(content)
unsat
unknown
0.016s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb24.p
(content)
unsat
unknown
0.017s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb23.p
(content)
unsat
unknown
0.013s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb22.p
(content)
unsat
unknown
0.015s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb21.p
(content)
unsat
unknown
0.018s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb20.p
(content)
unsat
unknown
0.016s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb2.p
(content)
unsat
unknown
0.013s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb19.p
(content)
unsat
unknown
0.013s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb18.p
(content)
unsat
unknown
0.012s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb17.p
(content)
unsat
unknown
0.018s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb16.p
(content)
unsat
unknown
0.014s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb15.p
(content)
unsat
unknown
0.012s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb14.p
(content)
unsat
unknown
0.017s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb13.p
(content)
unsat
unknown
0.017s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb12.p
(content)
unsat
unknown
0.019s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb11.p
(content)
unsat
unknown
0.013s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb10.p
(content)
unsat
unknown
0.014s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb1.p
(content)
unsat
unknown
0.012s
zip-dev
/home/simon/workspace/zipperposition/examples/pelletier_problems/equivalence.p
(content)
unsat
unknown
0.102s
zip-dev
/home/simon/workspace/zipperposition/examples/modulo6.p
(content)
unsat
unknown
0.017s
zip-dev
/home/simon/workspace/zipperposition/examples/modulo5bis.p
(content)
unsat
unknown
0.016s
zip-dev
/home/simon/workspace/zipperposition/examples/modulo5.p
(content)
unsat
unknown
0.016s