/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE a__h X a__g mark X X a__g a X a__f b X a__f X X a__h a__a a__a b mark h X a__h mark X mark g X1 X2 a__g mark X1 X2 mark a a__a mark f X1 X2 a__f mark X1 X2 mark b b a__h X h X a__g X1 X2 g X1 X2 a__a a a__f X1 X2 f X1 X2 2.2 mark g X1 X2 a__g mark X1 X2 mark h X mark X a__h X a__g mark X X mark f X1 X2 a__f mark X1 X2 mark f X1 X2 mark X1 a__f X X a__h a__a a__h X mark X mark h X a__h mark X mark g X1 X2 mark X1 a__g a X a__f b X a__f X X a__a mark a a__a true mark f X1 X2 mark X1 a__g a X a__f b X mark g X1 X2 mark X1 mark f X1 X2 a__f mark X1 X2 a__h X a__g mark X X mark h X mark X mark h X a__h mark X a__h X mark X a__f X X a__h a__a mark g X1 X2 a__g mark X1 X2 true a 0 0 h 1 1 30614 a__g 2 1 30614 a__h 1 1 30614 b 0 0 a__g 2 1 a__a 0 0 a__f 2 1 30614 a__h 1 1 1 f 2 1 30614 mark 1 1 0 a__a 0 0 mark 1 1 0 a__f 2 1 g 2 1 30614 a__f X X a__h a__a a__h X a__g mark X X a__g a X a__f b X a__a b mark f X1 X2 a__f mark X1 X2 a__h X a__g mark X X a__f X X a__h a__a mark h X a__h mark X a__h X h X mark a a__a a__a a a__g X1 X2 g X1 X2 mark b b a__f X1 X2 f X1 X2 mark g X1 X2 a__g mark X1 X2 a__g a X a__f b X a__h X a__g mark X X a__f X X a__h a__a a__g a X a__f b X true Failed! NaTT certifiable-1.6