root
file
detailed
prev
next
detailed results (18 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/examples/ind/plist1.p
(content)
unknown
unknown
0.038s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/nat_check.p
(content)
unknown
unknown
0.697s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/list7_bis.p
(content)
unknown
unknown
0.050s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/list3.p
(content)
unknown
unknown
0.035s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/list1_false.p
(content)
unknown
unknown
0.115s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/list15_arith.p
(content)
unknown
unknown
0.121s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/list12.p
(content)
unknown
unknown
0.031s
zip-dev
/home/simon/workspace/zipperposition/examples/ind/list10.p
(content)
unknown
unknown
0.031s
zip-dev
/home/simon/workspace/zipperposition/examples/ho/SYO265^5.p
(content)
unknown
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/examples/by_case2_false.p
(content)
unknown
unknown
0.021s
zip-dev
/home/simon/workspace/zipperposition/examples/by_case2.p
(content)
unknown
unknown
0.022s
zip-dev
/home/simon/workspace/zipperposition/examples/SYO521=1.p
(content)
unknown
sat
0.042s
zip-dev
/home/simon/workspace/zipperposition/examples/ARI579=1.p
(content)
unknown
sat
0.017s
zip-dev
/home/simon/workspace/zipperposition/examples/ARI528=1.p
(content)
unknown
unsat
0.014s
zip-dev
/home/simon/workspace/zipperposition/examples/ARI505=1.p
(content)
unknown
unsat
0.013s
zip-dev
/home/simon/workspace/zipperposition/examples/ARI404=1.p
(content)
unknown
unsat
0.013s
zip-dev
/home/simon/workspace/zipperposition/examples/ARI120=1.p
(content)
unknown
unsat
0.012s
zip-dev
/home/simon/workspace/zipperposition/examples/ARI114false=1.p
(content)
unknown
unknown
0.013s