/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE active h X mark g X X active g a X mark f b X active f X X mark h a active a mark b mark h X active h mark X mark g X1 X2 active g mark X1 X2 mark a active a mark f X1 X2 active f mark X1 X2 mark b active b h mark X h X h active X h X g mark X1 X2 g X1 X2 g X1 mark X2 g X1 X2 g active X1 X2 g X1 X2 g X1 active X2 g X1 X2 f mark X1 X2 f X1 X2 f X1 mark X2 f X1 X2 f active X1 X2 f X1 X2 f X1 active X2 f X1 X2 2.2 active g a X f b X g X1 mark X2 g X1 X2 mark h X active h mark X g mark X1 X2 g X1 X2 mark a active a mark f X1 X2 f mark X1 X2 mark f X1 X2 active f mark X1 X2 h mark X h X mark h X h mark X mark f X1 X2 mark X1 active f X X h a mark b active b g active X1 X2 g X1 X2 mark g X1 X2 mark X1 f active X1 X2 f X1 X2 active h X g X X active a mark b f X1 active X2 f X1 X2 active f X X mark h a g X1 active X2 g X1 X2 active h X mark g X X f X1 mark X2 f X1 X2 mark g X1 X2 active g mark X1 X2 active g a X mark f b X h active X h X mark h X mark X mark g X1 X2 g mark X1 X2 f mark X1 X2 f X1 X2 true mark f X1 X2 mark X1 mark h X mark X active g a X mark f b X mark f X1 X2 active f mark X1 X2 mark g X1 X2 active g mark X1 X2 active h X mark g X X mark h X active h mark X active f X X mark h a mark g X1 X2 mark X1 true h 1 1 20538 a 0 16203 b 0 0 f 2 1 36741 mark 1 1 0 h 1 0 mark 1 1 0 f 2 0 g 2 0 active 1 1 0 active 1 1 0 g 2 1 20538 active f X X mark h a mark h X active h mark X active h X mark g X X mark g X1 X2 active g mark X1 X2 mark f X1 X2 active f mark X1 X2 active g a X mark f b X f active X1 X2 f X1 X2 active a mark b g X1 active X2 g X1 X2 mark f X1 X2 active f mark X1 X2 active h X mark g X X active f X X mark h a f mark X1 X2 f X1 X2 f X1 active X2 f X1 X2 f X1 mark X2 f X1 X2 mark h X active h mark X h mark X h X mark a active a g active X1 X2 g X1 X2 g mark X1 X2 g X1 X2 h active X h X mark b active b g X1 mark X2 g X1 X2 mark g X1 X2 active g mark X1 X2 active g a X mark f b X mark f X1 X2 active f mark X1 X2 active h X mark g X X active f X X mark h a mark h X active h mark X mark g X1 X2 active g mark X1 X2 active g a X mark f b X true Failed! NaTT certifiable-1.6