/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE a__f a b X a__f mark X X mark X a__c a a__c b mark f X1 X2 X3 a__f mark X1 X2 mark X3 mark c a__c mark a a mark b b a__f X1 X2 X3 f X1 X2 X3 a__c c 2.2 a__f a b X a__f mark X X mark X mark f X1 X2 X3 mark X1 mark f X1 X2 X3 mark X3 mark f X1 X2 X3 a__f mark X1 X2 mark X3 a__f a b X mark X mark c a__c a__f a b X mark X true a__f a b X mark X a__f a b X mark X mark f X1 X2 X3 mark X1 mark f X1 X2 X3 a__f mark X1 X2 mark X3 mark f X1 X2 X3 mark X3 a__f a b X a__f mark X X mark X true a 0 4 a__c 0 0 b 0 2 a__f 3 1 4 2 2 3 4 0 c 0 4 f 3 1 4 2 2 3 4 0 mark 1 1 17224 mark 1 1 0 a__f 3 1 17222 2 17221 3 17225 0 a__c 0 4 a__f a b X a__f mark X X mark X mark f X1 X2 X3 a__f mark X1 X2 mark X3 a__f X1 X2 X3 f X1 X2 X3 a__f a b X a__f mark X X mark X a__c b mark c a__c mark b b a__c c mark a a a__c a a__f a b X a__f mark X X mark X true Failed! NaTT certifiable-1.6