/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE a__f a b X a__f X X mark X a__c a a__c b mark f X1 X2 X3 a__f 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 X X mark X mark f X1 X2 X3 mark X3 a__f a b X mark X mark c a__c mark f X1 X2 X3 a__f X1 X2 mark X3 true mark f X1 X2 X3 a__f X1 X2 mark X3 a__f a b X mark X mark f X1 X2 X3 mark X3 a__f a b X a__f X X mark X true a 0 1 a__c 0 0 b 0 11293 a__f 3 3 2 c 0 11293 f 3 3 2 mark 1 1 0 mark 1 1 0 a__f 3 3 1 a__c 0 11293 a__f a b X a__f X X mark X mark f X1 X2 X3 a__f X1 X2 mark X3 a__f X1 X2 X3 f X1 X2 X3 a__f a b X a__f 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 X X mark X true Failed! NaTT certifiable-1.6