% Prover MetTeL % Settings AtMonBISKT % Computer namib t 200 m ? i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca001_u.mtl ? 40 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca002_u.mtl ? 61 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca003_s.mtl ? 33 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca004_s.mtl ? 70 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca005_u.mtl ? 32 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca006_u.mtl ? 119 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca007_u.mtl ? 63 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca008_o.mtl ? 29 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca009_o.mtl ? 101 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca010_o.mtl ? 71 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca011_o.mtl ? 58 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca012_o.mtl ? 30 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca013_o.mtl ? 118 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca014_u.mtl ? 32 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca015_u.mtl ? 28 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca016_u.mtl ? 49 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca017_s.mtl ? 39 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca018_o.mtl ? 25 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca019_o.mtl ? 61 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca020_u.mtl ? 28 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca021_u.mtl ? 34 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca022_o.mtl ? 28 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca023_o.mtl ? 27 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca024_o.mtl ? 27 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca025_o.mtl ? 27 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca026_o.mtl ? 29 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca027_o.mtl ? 27 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca028_o.mtl ? 27 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca029_o.mtl ? 25 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca040_o.mtl ? 52 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca041_o.mtl ? 38 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca043_o.mtl ? 24 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca044_o.mtl ? 25 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca045_o.mtl ? 24 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca046_0.mtl ? 23 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca047_o.mtl ? 24 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca048_o.mtl ? 48 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca049_o.mtl ? 141 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca059_o.mtl ? 26 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca060_o.mtl ? 73 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca061_o.mtl ? 250 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca062_o.mtl ? 26 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca063_o.mtl ? 31 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca064_o.mtl ? 24 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca065_o.mtl ? 37 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca066_o.mtl ? 24 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca068_o.mtl ? 24 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca069_o.mtl ? 23 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca074_o.mtl ? 36 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca080_o.mtl ? 28 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca082_o.mtl ? 27 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca084_o.mtl ? 55 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca087_o.mtl ? 26 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca088_o.mtl ? 92 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca090_o.mtl ? 122 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca091_o.mtl ? 85 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca092_o.mtl ? 103 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca093_o.mtl ? 815 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca094_o.mtl ? 58 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca104_o.mtl ? 26 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca106_o.mtl ? 30 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca107_o.mtl ? 33 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca108_o.mtl ? 33 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca109_o.mtl ? 26 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca110_o.mtl ? 27 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca111_o.mtl ? 28 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca112_o.mtl ? 31 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca113_o.mtl ? 99 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca114_o.mtl ? 41 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca117_o.mtl ? 272 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca119_o.mtl ? 169 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca120_o.mtl ? 476 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca122_o.mtl ? 50 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca123_o.mtl ? 25 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca130_u.mtl ? 25 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca131_u.mtl ? 54 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca132_u.mtl ? 37 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca133_u.mtl ? 35 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca134_u.mtl ? 55 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca135_u.mtl ? 31 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca136_u.mtl ? 29 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca137_u.mtl ? 265 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca138_u.mtl ? 71 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca139_u.mtl ? 31 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca140_u.mtl ? 30 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca141_u.mtl ? 106 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca142_u.mtl ? 264 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca143_u.mtl ? 25 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca144_o.mtl ? 54 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca145_o.mtl ? 26 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca146_o.mtl ? 56 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca147_o.mtl ? 32 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca148_s.mtl ? 63 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca149_s.mtl ? 29 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca150_u.mtl ? 31 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca151_u.mtl ? 65 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca152_s.mtl ? 30 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca153_u.mtl ? 83 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca154_s.mtl ? 31 i ? S /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca155_u.mtl ? 73 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca156_s.mtl ? 233 i ? U /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca157_u.mtl ? 2153 i ? ? /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca158_u.mtl ? 19687 i ? ? /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca159_u.mtl ? 19687 i ? ? /home/schmidt/work/hypergraphs/mettel/hypergraphs/problems/bitca160_u.mtl ? 0