root
file
detailed
prev
next
detailed results (21 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/w/these/zipperposition/examples/ind/plist1.p
(content)
gaveup
unknown
0.064s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/nat_check.p
(content)
gaveup
unknown
0.815s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/list7_bis.p
(content)
gaveup
unknown
0.083s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/list3.p
(content)
gaveup
unknown
0.053s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/list1_false.p
(content)
gaveup
unknown
0.180s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/list15_arith.p
(content)
gaveup
unknown
0.210s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/list12.p
(content)
gaveup
unknown
0.054s
zip-dev
/home/simon/w/these/zipperposition/examples/ind/list10.p
(content)
gaveup
unknown
0.053s
zip-dev
/home/simon/w/these/zipperposition/examples/ho/SYO265^5.p
(content)
gaveup
unsat
0.036s
zip-dev
/home/simon/w/these/zipperposition/examples/ho/SEU951^5.p
(content)
gaveup
unsat
0.030s
zip-dev
/home/simon/w/these/zipperposition/examples/ho/PUZ083^1.p
(content)
gaveup
unsat
0.023s
zip-dev
/home/simon/w/these/zipperposition/examples/ho/CSR152^1.p
(content)
gaveup
unsat
0.035s
zip-dev
/home/simon/w/these/zipperposition/examples/by_case2_false.p
(content)
gaveup
unknown
0.040s
zip-dev
/home/simon/w/these/zipperposition/examples/by_case2.p
(content)
gaveup
unknown
0.046s
zip-dev
/home/simon/w/these/zipperposition/examples/SYO521=1.p
(content)
gaveup
sat
0.033s
zip-dev
/home/simon/w/these/zipperposition/examples/ARI579=1.p
(content)
gaveup
sat
0.031s
zip-dev
/home/simon/w/these/zipperposition/examples/ARI528=1.p
(content)
gaveup
unsat
0.025s
zip-dev
/home/simon/w/these/zipperposition/examples/ARI505=1.p
(content)
gaveup
unsat
0.025s
zip-dev
/home/simon/w/these/zipperposition/examples/ARI404=1.p
(content)
gaveup
unsat
0.025s
zip-dev
/home/simon/w/these/zipperposition/examples/ARI120=1.p
(content)
gaveup
unsat
0.031s
zip-dev
/home/simon/w/these/zipperposition/examples/ARI114false=1.p
(content)
gaveup
unknown
0.029s