/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES r e x1 w r x1 i t x1 e r x1 e w x1 r i x1 t e x1 r e x1 w r x1 i t x1 e r x1 e w x1 r i t e r x1 e w r i t e x1 2.2 i t x1 r x1 r i t e r x1 w r i t e x1 e w x1 r i x1 r i t e r x1 t e x1 w r x1 i t x1 w r x1 t x1 e w x1 i x1 r i t e r x1 r i t e x1 r i t e r x1 e x1 r i t e r x1 e w r i t e x1 t e x1 r e x1 r e x1 r x1 e r x1 e w x1 i t x1 e r x1 r i t e r x1 i t e x1 r e x1 w r x1 e r x1 w x1 true e r x1 w x1 e w x1 i x1 r e x1 w r x1 w r x1 t x1 r i t e r x1 i t e x1 i t x1 e r x1 e r x1 e w x1 r e x1 r x1 w r x1 i t x1 r i t e r x1 t e x1 e w x1 r i x1 t e x1 r e x1 r i t e r x1 w r i t e x1 r i t e r x1 e w r i t e x1 r i t e r x1 e x1 r i t e r x1 r i t e x1 i t x1 r x1 true w 1 1 15923 e 1 1 15923 r 1 1 31846 t 1 1 47769 w 1 1 15923 i 1 1 0 r 1 1 31846 e 1 1 15923 t 1 1 47768 i 1 1 0 r i t e r x1 e w r i t e x1 e w x1 r i x1 w r x1 i t x1 i t x1 e r x1 r e x1 w r x1 t e x1 r e x1 r e x1 w r x1 e w x1 r i x1 w r x1 i t x1 r i t e r x1 e w r i t e x1 e r x1 e w x1 i t x1 e r x1 r e x1 w r x1 e w x1 r i x1 w r x1 i t x1 r i t e r x1 e w r i t e x1 i t x1 e r x1 true 2 1 w 1 0 0 0 1 1 41651 35841 e 1 1 1 1 0 1 0 0 r 1 35842 1 t 1 1 0 1 0 1 1 5810 w 1 0 0 1 0 1 35841 1 i 1 0 0 1 0 1 30032 1 r 1 1 1 0 0 1 5810 5809 e 1 35842 1 t 1 0 0 i 1 41650 35842 e w x1 r i x1 t e x1 r e x1 r e x1 w r x1 e w x1 r i x1 w r x1 i t x1 r i t e r x1 e w r i t e x1 e r x1 e w x1 i t x1 e r x1 e w x1 r i x1 false NaTT certifiable-1.6