detailed results (21 total)

proverfileresexpectedtime
zip-dev/home/simon/w/these/zipperposition/examples/ind/plist1.p(content)gaveupunknown0.057s
zip-dev/home/simon/w/these/zipperposition/examples/ind/nat_check.p(content)gaveupunknown0.845s
zip-dev/home/simon/w/these/zipperposition/examples/ind/list7_bis.p(content)gaveupunknown0.087s
zip-dev/home/simon/w/these/zipperposition/examples/ind/list3.p(content)gaveupunknown0.063s
zip-dev/home/simon/w/these/zipperposition/examples/ind/list1_false.p(content)gaveupunknown0.187s
zip-dev/home/simon/w/these/zipperposition/examples/ind/list15_arith.p(content)gaveupunknown0.219s
zip-dev/home/simon/w/these/zipperposition/examples/ind/list12.p(content)gaveupunknown0.058s
zip-dev/home/simon/w/these/zipperposition/examples/ind/list10.p(content)gaveupunknown0.066s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SYO265^5.p(content)gaveupunsat0.028s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SEU951^5.p(content)gaveupunsat0.031s
zip-dev/home/simon/w/these/zipperposition/examples/ho/PUZ083^1.p(content)gaveupunsat0.025s
zip-dev/home/simon/w/these/zipperposition/examples/ho/CSR152^1.p(content)gaveupunsat0.027s
zip-dev/home/simon/w/these/zipperposition/examples/by_case2_false.p(content)gaveupunknown0.049s
zip-dev/home/simon/w/these/zipperposition/examples/by_case2.p(content)gaveupunknown0.027s
zip-dev/home/simon/w/these/zipperposition/examples/SYO521=1.p(content)gaveupsat0.026s
zip-dev/home/simon/w/these/zipperposition/examples/ARI579=1.p(content)gaveupsat0.033s
zip-dev/home/simon/w/these/zipperposition/examples/ARI528=1.p(content)gaveupunsat0.029s
zip-dev/home/simon/w/these/zipperposition/examples/ARI505=1.p(content)gaveupunsat0.029s
zip-dev/home/simon/w/these/zipperposition/examples/ARI404=1.p(content)gaveupunsat0.036s
zip-dev/home/simon/w/these/zipperposition/examples/ARI120=1.p(content)gaveupunsat0.024s
zip-dev/home/simon/w/these/zipperposition/examples/ARI114false=1.p(content)gaveupunknown0.029s