/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE a__a a__c a__b a__c a__c e a__k l a__d m a__a a__d a__b a__d a__c l a__k m a__A a__h a__f a__a a__f a__b a__h X X a__g mark X mark X a__f a__k a__g d X X a__A a__f X a__z mark X X a__z e X mark X mark A a__A mark a a__a mark b a__b mark c a__c mark d a__d mark k a__k mark z X1 X2 a__z mark X1 X2 mark f X a__f mark X mark h X1 X2 a__h mark X1 mark X2 mark g X1 X2 X3 a__g mark X1 mark X2 mark X3 mark e e mark l l mark m m a__A A a__a a a__b b a__c c a__d d a__k k a__z X1 X2 z X1 X2 a__f X f X a__h X1 X2 h X1 X2 a__g X1 X2 X3 g X1 X2 X3 2.2 a__a a__d mark d a__d mark c a__c a__h X X mark X mark g X1 X2 X3 mark X3 a__h X X a__k mark g X1 X2 X3 mark X1 a__A a__f a__b a__A a__a mark g X1 X2 X3 mark X2 mark z X1 X2 mark X1 mark h X1 X2 a__h mark X1 mark X2 mark z X1 X2 a__z mark X1 X2 a__A a__b a__b a__d a__h X X mark X mark g X1 X2 X3 a__g mark X1 mark X2 mark X3 a__a a__c a__h X X a__g mark X mark X a__f a__k mark b a__b a__A a__f a__a mark A a__A mark f X mark X a__g d X X a__A mark a a__a mark k a__k mark f X a__f mark X a__A a__h a__f a__a a__f a__b mark h X1 X2 mark X2 a__f X a__z mark X X a__b a__c a__h X X a__f a__k mark h X1 X2 mark X1 a__f X mark X a__z e X mark X true a__z e X mark X a__f X mark X mark z X1 X2 a__z mark X1 X2 mark h X1 X2 a__h mark X1 mark X2 mark h X1 X2 mark X1 mark z X1 X2 mark X1 mark g X1 X2 X3 mark X2 a__h X X a__f a__k a__f X a__z mark X X a__A a__f a__b mark h X1 X2 mark X2 a__A a__h a__f a__a a__f a__b mark f X a__f mark X mark g X1 X2 X3 mark X1 mark g X1 X2 X3 mark X3 a__g d X X a__A a__h X X mark X mark f X mark X mark A a__A a__A a__f a__a a__h X X a__g mark X mark X a__f a__k mark g X1 X2 X3 a__g mark X1 mark X2 mark X3 a__h X X mark X true a 0 1 h 2 1 3000 2 3003 0 a__g 3 1 3002 2 3001 3 3003 0 a__c 0 0 d 0 0 a__h 2 1 3000 2 3003 0 z 2 1 0 2 0 0 b 0 0 a__b 0 0 a__g 3 1 3000 2 3000 3 3000 0 a__a 0 1 a__k 0 0 a__f 1 1 0 a__d 0 0 k 0 0 a__k 0 0 a__z 2 1 0 2 0 0 l 0 0 a__A 0 3003 c 0 0 a__b 0 0 a__h 2 2 3000 0 f 1 1 0 mark 1 1 1 A 0 3003 a__a 0 0 mark 1 1 0 a__A 0 3000 a__z 2 2 1 0 e 0 0 a__d 0 0 a__f 1 1 1 g 3 1 3002 2 3001 3 3003 0 a__c 0 0 m 0 0 a__h X X a__g mark X mark X a__f a__k mark f X mark X a__g d X X a__A mark f X a__f mark X a__A a__h a__f a__a a__f a__b a__f X a__z mark X X mark z X1 X2 mark X1 mark z X1 X2 a__z mark X1 X2 a__f X mark X a__z e X mark X mark c a__c a__k l mark A a__A a__c l a__a a__c a__c e mark a a__a mark z X1 X2 a__z mark X1 X2 a__h X1 X2 h X1 X2 mark l l mark d a__d a__d d mark b a__b mark m m a__z X1 X2 z X1 X2 mark f X a__f mark X a__A A a__d m a__k k a__A a__h a__f a__a a__f a__b a__b a__d mark k a__k mark e e a__b b a__z e X mark X a__c c a__g d X X a__A mark h X1 X2 a__h mark X1 mark X2 mark g X1 X2 X3 a__g mark X1 mark X2 mark X3 a__h X X a__g mark X mark X a__f a__k a__k m a__f X a__z mark X X a__a a__d a__g X1 X2 X3 g X1 X2 X3 a__f X f X a__a a a__b a__c a__A a__h a__f a__a a__f a__b a__g d X X a__A a__h X X a__g mark X mark X a__f a__k true Failed! NaTT certifiable-1.6