/export/starexec/sandbox/solver/bin/starexec_run_certified /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 010x12001x1010x101220x1010x120031x1010x1012403x1010x1122004x1010x1123400x1010x1132000x1010x1134020x1010x1134400x1010x1200122x1010x1200201x1010x1200301x1010x1202041x1010x1212200x1010x1240401x1010x1412200x10110x1220011x10150x103510x10150x1033510x10550x1220055x11010x1113500x11301x1110341x11301x1511340x13010x1013204x13010x1204301x13010x1223001x13010x1302201x13100x110340x13100x120310x13100x130051x13100x1120302x13100x1313020x13150x111350x13150x1025135x13150x1031345x13150x1152350x13150x1314025x13150x1405135x100210x1200031x101201x1001321x101201x1020311x113021x1021132x113021x1032211x113055x1054351x113150x1131520x130500x1300350x130550x1502350x131400x1100340x131450x1051354x12.1010x11002x1010x102210x1010x113002x1010x1304210x1010x1400221x1010x1004321x1010x1000231x1010x1020431x1010x1004431x1010x1221002x1010x1102002x1010x1103002x1010x1140202x1010x1002212x1010x1104042x1010x1002214x10110x1110022x10510x101530x10510x1015330x10550x1550022x10101x1005311x11031x1143011x11031x1043115x10103x1402310x10103x1103402x10103x1100322x10103x1102203x10013x104301x10013x101302x10013x115003x10013x1203021x10013x1020313x10513x105311x10513x1531520x10513x1543130x10513x1053251x10513x1520413x10513x1531504x101200x1130002x110210x1123100x110210x1113020x112031x1231120x112031x1112230x155031x1153450x105131x1025131x100503x1053003x105503x1053205x100413x1043001x105413x1453150x1010x11002x1010x1002x1010x102x1010x102210x1010x113002x1010x104210x1010x100221x1010x10221x1010x11x1010x1004321x1010x104321x1010x1000231x1010x100231x1010x10231x1010x1020431x1010x10431x1010x1004431x1010x104431x1010x1102002x1010x102002x1010x1103002x1010x103002x1010x1140202x1010x10202x1010x1002212x1010x102212x1010x112x1010x1104042x1010x104042x1010x1042x1010x1002214x1010x102214x1010x114x10110x1110022x10110x110022x10110x10022x10110x1022x10510x101530x10510x11530x10510x1530x10510x1015330x10510x115330x10510x15330x10550x1550022x10550x150022x10550x10022x10550x1022x10101x1005311x10101x105311x10101x15311x10101x111x11031x1143011x11031x1011x11031x111x11031x1043115x11031x1115x11031x115x11031x15x10103x102310x10103x110x10103x10x10103x1103402x10103x103402x10103x102x10103x1100322x10103x100322x10103x10322x10103x1102203x10103x102203x10013x104301x10013x101x10013x11x10013x101302x10013x11302x10013x102x10013x115003x10013x15003x10013x1003x10013x103x10013x103021x10013x1021x10013x1020313x10013x10313x10513x105311x10513x15311x10513x111x10513x11x10513x1531520x10513x11520x10513x1520x10513x10x10513x1543130x10513x1130x10513x1053251x10513x153251x10513x151x10513x1520413x10513x10413x10513x1531504x10513x11504x10513x1504x10513x104x101200x1130002x101200x10002x101200x1002x101200x102x110210x1123100x110210x1100x110210x100x110210x1113020x110210x113020x110210x1020x112031x11120x112031x1120x112031x10x112031x1112230x112031x112230x155031x1153450x155031x153450x155031x150x155031x10x105131x1025131x100503x1053003x100503x153003x100503x1003x105503x1053205x105503x153205x105503x105x105503x15x100413x1043001x100413x1001x100413x101x100413x11x105413x153150x105413x1150x105413x150x105413x10x1true010x11x11031x1011x1010x112x112031x11120x11031x111x11031x1115x11031x115x11031x15x155031x150x155031x10x10101x111x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x10513x151x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x1150x105413x150x105413x10x1true310110001110000000010111100000000011100013100000000012100000000000151000000001511000141001010x11x11031x1011x1010x112x112031x11120x11031x111x11031x115x11031x15x155031x150x155031x10x10101x111x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x10513x151x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x1150x105413x150x105413x10x131010000111000000000001011000000000011100131000000000001210000000000015100100000015100001410001010x11x11031x1011x1010x112x112031x11120x11031x111x11031x115x11031x15x155031x150x155031x10x10101x111x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x10513x151x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x150x105413x10x131010000111000000000001011100000000111000131000000012100000000001510000015100001411000001010x11x11031x1011x1010x112x112031x11120x11031x111x11031x15x155031x150x155031x10x10101x111x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x10513x151x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x150x105413x10x1310110011100000000101100000011110131000000001210000015100151010000000000141001010x11x11031x1011x1010x112x112031x11120x11031x111x11031x15x155031x150x155031x10x10101x111x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x150x105413x10x131010000111000000010110000000001110013100000000121000000015100015100000014100001010x11x11031x1011x1010x112x112031x11120x11031x111x11031x15x155031x150x155031x10x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x150x105413x10x131010011100000000101100000000111001310000000121000000001510000151011000000000141010001010x11x11031x1011x1010x112x11031x111x11031x15x155031x150x155031x10x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x150x105413x10x131010011101001010011010000000011100131000000001210000151000015100000000141000001010x11x11031x1011x1010x112x11031x111x11031x15x110210x1100x110210x100x10103x110x112031x1120x112031x10x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x105503x105x105503x15x100413x1001x100413x101x100413x11x105413x150x105413x10x11031x1011x1010x11x11031x111x110210x1100x110210x100x1010x112x112031x1120x112031x10x10103x110x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x105503x105x100413x1001x100413x101x100413x11x105413x10x1true3111000101100000000001311000000011100000010100012100000001510000000000001410000001010x11x11031x111x110210x1100x110210x100x1010x112x112031x1120x112031x10x10103x110x10103x10x10013x101x10013x11x10513x111x10513x11x10513x10x105503x105x100413x1001x100413x101x100413x11x105413x10x1310100001110101000101000000000111100013100000121000000151010014100000001010x11x11031x111x110210x1100x1010x112x112031x1120x112031x10x10103x110x10013x101x10013x11x10513x111x10513x11x105503x105x100413x1001x100413x101x100413x11x13101000011100000010100100000000011100013100000000012100000000151010000000000141000000001010x11x11031x111x110210x1100x1010x112x112031x1120x112031x10x10103x110x10013x101x10013x11x10513x11x105503x105x100413x1001x100413x101x100413x11x1310110001110100000101010000001110013100000121000000015100000014100000001010x11x110210x1100x1010x112x112031x1120x112031x10x10103x110x10013x101x10013x11x10513x11x105503x105x100413x1001x100413x101x100413x11x131010000111010010000000101000000000111100112100013100000001510000000014100001010x11x1010x112x112031x1120x112031x10x10103x110x10013x101x10013x11x10513x11x105503x105x100413x1001x100413x101x100413x11x1310100111110110011010000000111100121000000131000001510000001410000001010x11x1010x112x112031x1120x10103x110x10013x101x10013x11x10513x11x105503x105x100413x1001x100413x101x100413x11x105503x105x10013x101x100413x1001x100413x101x1true101-2215111011131-2111241-22121-205503x105x100413x1001x1101215111011131-2111241-12121-1105503x105x110111511110111311111041021055031x1153450x1010x11x1false010x112x1false0103x110x1false0013x11x1false0513x11x1false00413x11x1false12031x1120x1true3111001210000101000000013100011111100010014100001510000000011031x15x1false05503x15x1false05413x150x1false010x11002x1false010x1002x1false010x102x1false010x102210x1false010x113002x1false010x104210x1false010x100221x1false010x10221x1false010x1004321x1false010x104321x1false010x1000231x1false010x100231x1false010x10231x1false010x1020431x1false010x10431x1false010x1004431x1false010x104431x1false010x1102002x1false010x102002x1false010x1103002x1false010x103002x1false010x1140202x1false010x10202x1false010x1002212x1false010x102212x1false010x1104042x1false010x104042x1false010x1042x1false010x1002214x1false010x102214x1false010x114x1false0110x1110022x1false0110x110022x1false0110x10022x1false0110x1022x1false0510x101530x1false0510x11530x1false0510x1530x1false0510x1015330x1false0510x115330x1false0510x15330x1false0550x1550022x1false0550x150022x1false0550x10022x1false0550x1022x1false0101x1005311x1false0101x105311x1false0101x15311x1false1031x1143011x1false1031x1043115x1false0103x102310x1false0103x1103402x1false0103x103402x1false0103x102x1false0103x1100322x1false0103x100322x1false0103x10322x1false0103x1102203x1false0103x102203x1false0013x104301x1false0013x101302x1false0013x11302x1false0013x102x1false0013x115003x1false0013x15003x1false0013x1003x1false0013x103x1false0013x103021x1false0013x1021x1false0013x1020313x1false0013x10313x1false0513x105311x1false0513x15311x1false0513x1531520x1false0513x11520x1false0513x1520x1false0513x1543130x1false0513x1130x1false0513x1053251x1false0513x153251x1false0513x1520413x1false0513x10413x1false0513x1531504x1false0513x11504x1false0513x1504x1false0513x104x1false01200x1130002x1false01200x10002x1false01200x1002x1false01200x102x1false10210x1123100x1false10210x1113020x1false10210x113020x1false10210x1020x1false12031x1112230x1false12031x112230x1false55031x1153450x1false55031x153450x1false05131x1025131x1false00503x1053003x1false00503x153003x1false00503x1003x1false05503x1053205x1false05503x153205x1false00413x1043001x1false05413x153150x1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (24 real / 0 unknown / 0 assumptions / 24 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe