/export/starexec/sandbox2/solver/bin/starexec_run_certified /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES activegXmarkhXactivecmarkdactivehdmarkgcpropergXgproperXproperhXhproperXpropercokcproperdokdgokXokgXhokXokhXtopmarkXtopproperXtopokXtopactiveX2.1xcc'dd'activegXmarkhXactivec'xmarkd'xactivehd'xmarkgc'xpropergXgproperXproperhXhproperXproperc'xokc'xproperd'xokd'xgokXokgXhokXokhXtopmarkXtopproperXtopokXtopactiveXgactiveXhmarkXc'activexd'markxd'hactivexc'gmarkxgproperXpropergXhproperXproperhXc'properxc'okxd'properxd'okxokgXgokXokhXhokXmarktopXpropertopXoktopXactivetopXgactiveXhmarkXgactiveXmarkXc'activexd'markxc'activexmarkxd'hactivexc'gmarkxd'hactivexgmarkxd'hactivexmarkxgproperXgXhproperXhXc'properxc'okxc'properxokxd'properxd'okxd'properxokxokgXgokXokgXokXokhXhokXokhXokXtrued'hactivexc'gmarkxc'activexd'markxd'properxd'okxc'properxc'okxtrue1ok111g111h111top111active111proper111mark111c'111d'111d'hactivexc'gmarkxc'activexd'markxd'properxd'okxc'properxc'okxokgXgokXokhXhokXoktopXactivetopXhproperXproperhXgactiveXhmarkXgproperXpropergXmarktopXpropertopXokgXgokXokhXhokXoktopXactivetopXhproperXproperhXgactiveXhmarkXgproperXpropergXmarktopXpropertopX1d'10h10active11c'111g10mark10proper111ok111top1111d'hactivexc'gmarkxd'properxd'okxc'properxc'okxgactiveXhmarkXgproperXpropergXokgXgokXokhXhokXoktopXactivetopXhproperXproperhXd'properxd'okxtrue1d'111proper1111ok111g1111h111top1111active111mark1111d'hactivexc'gmarkxfalsec'properxc'okxtrue1c'111proper1111ok111g1111h111top1111active111mark1111c'properxokxfalsed'properxokxfalseokhXokXokgXokXtrue1h111g111ok111okhXokXokgXokXokhXokX1true1okgXokX1true1d'hactivexgmarkxfalseokgXgokXfalsegproperXgXtrue1proper111g111gproperXgXgproperXgX1true1gactiveXhmarkXfalseokhXhokXfalsegactiveXmarkXfalsec'activexmarkxfalsed'hactivexmarkxfalsehproperXhXtrue1proper111h111hproperXhXhproperXhX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (16 real / 0 unknown / 0 assumptions / 16 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe