/export/starexec/sandbox/solver/bin/starexec_run_certified /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?, O(n^2)) fromXconsXn__fromsXafter0XSXSaftersNconsXXSafterNactivateXSfromXn__fromXactivaten__fromXfromXactivateXXcons2n__from1s100from1after2activate122.1fromz0consz0n__fromsz0fromz0cfromz0n__fromz0fromz0c1after0z0z0after0z0c2aftersz0consz1z2afterz0activatez2aftersz0consz1z2c3afterz0activatez2activatez2activaten__fromz0fromz0activaten__fromz0c4fromz0activatez0z0activatez0c5fromz0fromz0after0z0aftersz0consz1z2activaten__fromz0activatez0after0z0z0aftersz0consz1z2afterz0activatez22c00c100c200c3211012c41110c500activate10from1111111from10after2110111activate10n__from1110cons2110s1211001after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2fromz0cfromz0c1after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2activaten__fromz0c4fromz0activatez0c51c00c100c200c3211012c41110c500activate1110from11from11after211012activate11n__from11cons2120s1111000fromz0cfromz0c1activatez0c5fromz0cfromz0c1after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2activaten__fromz0c4fromz0activatez0c5fromz0consz0n__fromsz0fromz0n__fromz0activaten__fromz0fromz0activatez0z01c00c100c200c3211012c41110c500activate1111from1111from10after2110activate11n__from1110cons2120s1111000activaten__fromz0c4fromz0fromz0cfromz0c1after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2activaten__fromz0c4fromz0activatez0c5AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe