detailed results (23 total)

proverfileresexpectedtime
zip-dev/home/simon/w/these/zipperposition/examples/regression/SWW616=2.p(content)timeoutunsat9.9s
zip-dev/home/simon/w/these/zipperposition/examples/regression/DAT267^1.p(content)timeoutunsat10s
zip-dev/home/simon/w/these/zipperposition/examples/regression/ALG269^4.p(content)errorsat0.020s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SYO265^5.p(content)gaveupunsat0.028s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SYN000^1.p(content)errorunsat0.021s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SEU951^5.p(content)gaveupunsat0.031s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SEU684^1.p(content)timeoutunsat9.9s
zip-dev/home/simon/w/these/zipperposition/examples/ho/SET014^4.p(content)timeoutunsat10s
zip-dev/home/simon/w/these/zipperposition/examples/ho/QUA011^1.p(content)errorunsat0.029s
zip-dev/home/simon/w/these/zipperposition/examples/ho/PUZ085^1.p(content)errorunsat0.029s
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/ho/ALG269^4.p(content)timeoutsat9.0s
zip-dev/home/simon/w/these/zipperposition/examples/SYO521=1.p(content)gaveupsat0.026s
zip-dev/home/simon/w/these/zipperposition/examples/SEV422=1.p(content)timeoutunsat9.8s
zip-dev/home/simon/w/these/zipperposition/examples/SEU140+2.p(content)timeoutunsat9.8s
zip-dev/home/simon/w/these/zipperposition/examples/RNG008-1.p(content)errorunsat0.029s
zip-dev/home/simon/w/these/zipperposition/examples/DAT013=1.p(content)errorunsat0.023s
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