# satbench - domain: reasoning-knowledge - n_tasks: 2100 - n_runnable: 0 ## Tasks | task | difficulty | language | runnable | harnesses tried | |---|---|---|---|---| | [0](https://harnessreport.com/tasks/satbench/0.md) | medium | | | 0 | | [1](https://harnessreport.com/tasks/satbench/1.md) | medium | | | 0 | | [10](https://harnessreport.com/tasks/satbench/10.md) | medium | | | 0 | | [100](https://harnessreport.com/tasks/satbench/100.md) | medium | | | 0 | | [1000](https://harnessreport.com/tasks/satbench/1000.md) | medium | | | 0 | | [1001](https://harnessreport.com/tasks/satbench/1001.md) | medium | | | 0 | | [1002](https://harnessreport.com/tasks/satbench/1002.md) | medium | | | 0 | | [1003](https://harnessreport.com/tasks/satbench/1003.md) | medium | | | 0 | | [1004](https://harnessreport.com/tasks/satbench/1004.md) | medium | | | 0 | | [1005](https://harnessreport.com/tasks/satbench/1005.md) | medium | | | 0 | | [1006](https://harnessreport.com/tasks/satbench/1006.md) | medium | | | 0 | | [1007](https://harnessreport.com/tasks/satbench/1007.md) | medium | | | 0 | | [1008](https://harnessreport.com/tasks/satbench/1008.md) | medium | | | 0 | | [1009](https://harnessreport.com/tasks/satbench/1009.md) | medium | | | 0 | | [101](https://harnessreport.com/tasks/satbench/101.md) | medium | | | 0 | | [1010](https://harnessreport.com/tasks/satbench/1010.md) | medium | | | 0 | | [1011](https://harnessreport.com/tasks/satbench/1011.md) | medium | | | 0 | | [1012](https://harnessreport.com/tasks/satbench/1012.md) | medium | | | 0 | | [1013](https://harnessreport.com/tasks/satbench/1013.md) | medium | | | 0 | | [1014](https://harnessreport.com/tasks/satbench/1014.md) | medium | | | 0 | | [1015](https://harnessreport.com/tasks/satbench/1015.md) | medium | | | 0 | | [1016](https://harnessreport.com/tasks/satbench/1016.md) | medium | | | 0 | | [1017](https://harnessreport.com/tasks/satbench/1017.md) | medium | | | 0 | | [1018](https://harnessreport.com/tasks/satbench/1018.md) | medium | | | 0 | | [1019](https://harnessreport.com/tasks/satbench/1019.md) | medium | | | 0 | | [102](https://harnessreport.com/tasks/satbench/102.md) | medium | | | 0 | | [1020](https://harnessreport.com/tasks/satbench/1020.md) | medium | | | 0 | | [1021](https://harnessreport.com/tasks/satbench/1021.md) | medium | | | 0 | | [1022](https://harnessreport.com/tasks/satbench/1022.md) | medium | | | 0 | | [1023](https://harnessreport.com/tasks/satbench/1023.md) | medium | | | 0 | | [1024](https://harnessreport.com/tasks/satbench/1024.md) | medium | | | 0 | | [1025](https://harnessreport.com/tasks/satbench/1025.md) | medium | | | 0 | | [1026](https://harnessreport.com/tasks/satbench/1026.md) | medium | | | 0 | | [1027](https://harnessreport.com/tasks/satbench/1027.md) | medium | | | 0 | | [1028](https://harnessreport.com/tasks/satbench/1028.md) | medium | | | 0 | | [1029](https://harnessreport.com/tasks/satbench/1029.md) | medium | | | 0 | | [103](https://harnessreport.com/tasks/satbench/103.md) | medium | | | 0 | | [1030](https://harnessreport.com/tasks/satbench/1030.md) | medium | | | 0 | | [1031](https://harnessreport.com/tasks/satbench/1031.md) | medium | | | 0 | | [1032](https://harnessreport.com/tasks/satbench/1032.md) | medium | | | 0 | | [1033](https://harnessreport.com/tasks/satbench/1033.md) | medium | | | 0 | | [1034](https://harnessreport.com/tasks/satbench/1034.md) | medium | | | 0 | | [1035](https://harnessreport.com/tasks/satbench/1035.md) | medium | | | 0 | | [1036](https://harnessreport.com/tasks/satbench/1036.md) | medium | | | 0 | | [1037](https://harnessreport.com/tasks/satbench/1037.md) | medium | | | 0 | | [1038](https://harnessreport.com/tasks/satbench/1038.md) | medium | | | 0 | | [1039](https://harnessreport.com/tasks/satbench/1039.md) | medium | | | 0 | | [104](https://harnessreport.com/tasks/satbench/104.md) | medium | | | 0 | | [1040](https://harnessreport.com/tasks/satbench/1040.md) | medium | | | 0 | | [1041](https://harnessreport.com/tasks/satbench/1041.md) | medium | | | 0 | | [1042](https://harnessreport.com/tasks/satbench/1042.md) | medium | | | 0 | | [1043](https://harnessreport.com/tasks/satbench/1043.md) | medium | | | 0 | | [1044](https://harnessreport.com/tasks/satbench/1044.md) | medium | | | 0 | | [1045](https://harnessreport.com/tasks/satbench/1045.md) | medium | | | 0 | | [1046](https://harnessreport.com/tasks/satbench/1046.md) | medium | | | 0 | | [1047](https://harnessreport.com/tasks/satbench/1047.md) | medium | | | 0 | | [1048](https://harnessreport.com/tasks/satbench/1048.md) | medium | | | 0 | | [1049](https://harnessreport.com/tasks/satbench/1049.md) | medium | | | 0 | | [105](https://harnessreport.com/tasks/satbench/105.md) | medium | | | 0 | | [1050](https://harnessreport.com/tasks/satbench/1050.md) | medium | | | 0 | | [1051](https://harnessreport.com/tasks/satbench/1051.md) | medium | | | 0 | | [1052](https://harnessreport.com/tasks/satbench/1052.md) | medium | | | 0 | | [1053](https://harnessreport.com/tasks/satbench/1053.md) | medium | | | 0 | | [1054](https://harnessreport.com/tasks/satbench/1054.md) | medium | | | 0 | | [1055](https://harnessreport.com/tasks/satbench/1055.md) | medium | | | 0 | | [1056](https://harnessreport.com/tasks/satbench/1056.md) | medium | | | 0 | | [1057](https://harnessreport.com/tasks/satbench/1057.md) | medium | | | 0 | | [1058](https://harnessreport.com/tasks/satbench/1058.md) | medium | | | 0 | | [1059](https://harnessreport.com/tasks/satbench/1059.md) | medium | | | 0 | | [106](https://harnessreport.com/tasks/satbench/106.md) | medium | | | 0 | | [1060](https://harnessreport.com/tasks/satbench/1060.md) | medium | | | 0 | | [1061](https://harnessreport.com/tasks/satbench/1061.md) | medium | | | 0 | | [1062](https://harnessreport.com/tasks/satbench/1062.md) | medium | | | 0 | | [1063](https://harnessreport.com/tasks/satbench/1063.md) | medium | | | 0 | | [1064](https://harnessreport.com/tasks/satbench/1064.md) | medium | | | 0 | | [1065](https://harnessreport.com/tasks/satbench/1065.md) | medium | | | 0 | | [1066](https://harnessreport.com/tasks/satbench/1066.md) | medium | | | 0 | | [1067](https://harnessreport.com/tasks/satbench/1067.md) | medium | | | 0 | | [1068](https://harnessreport.com/tasks/satbench/1068.md) | medium | | | 0 | | [1069](https://harnessreport.com/tasks/satbench/1069.md) | medium | | | 0 | | [107](https://harnessreport.com/tasks/satbench/107.md) | medium | | | 0 | | [1070](https://harnessreport.com/tasks/satbench/1070.md) | medium | | | 0 | | [1071](https://harnessreport.com/tasks/satbench/1071.md) | medium | | | 0 | | [1072](https://harnessreport.com/tasks/satbench/1072.md) | medium | | | 0 | | [1073](https://harnessreport.com/tasks/satbench/1073.md) | medium | | | 0 | | [1074](https://harnessreport.com/tasks/satbench/1074.md) | medium | | | 0 | | [1075](https://harnessreport.com/tasks/satbench/1075.md) | medium | | | 0 | | [1076](https://harnessreport.com/tasks/satbench/1076.md) | medium | | | 0 | | [1077](https://harnessreport.com/tasks/satbench/1077.md) | medium | | | 0 | | [1078](https://harnessreport.com/tasks/satbench/1078.md) | medium | | | 0 | | [1079](https://harnessreport.com/tasks/satbench/1079.md) | medium | | | 0 | | [108](https://harnessreport.com/tasks/satbench/108.md) | medium | | | 0 | | [1080](https://harnessreport.com/tasks/satbench/1080.md) | medium | | | 0 | | [1081](https://harnessreport.com/tasks/satbench/1081.md) | medium | | | 0 | | [1082](https://harnessreport.com/tasks/satbench/1082.md) | medium | | | 0 | | [1083](https://harnessreport.com/tasks/satbench/1083.md) | medium | | | 0 | | [1084](https://harnessreport.com/tasks/satbench/1084.md) | medium | | | 0 | | [1085](https://harnessreport.com/tasks/satbench/1085.md) | medium | | | 0 | | [1086](https://harnessreport.com/tasks/satbench/1086.md) | medium | | | 0 | | [1087](https://harnessreport.com/tasks/satbench/1087.md) | medium | | | 0 | | [1088](https://harnessreport.com/tasks/satbench/1088.md) | medium | | | 0 | | [1089](https://harnessreport.com/tasks/satbench/1089.md) | medium | | | 0 | | [109](https://harnessreport.com/tasks/satbench/109.md) | medium | | | 0 | | [1090](https://harnessreport.com/tasks/satbench/1090.md) | medium | | | 0 | | [1091](https://harnessreport.com/tasks/satbench/1091.md) | medium | | | 0 | | [1092](https://harnessreport.com/tasks/satbench/1092.md) | medium | | | 0 | | [1093](https://harnessreport.com/tasks/satbench/1093.md) | medium | | | 0 | | [1094](https://harnessreport.com/tasks/satbench/1094.md) | medium | | | 0 | | [1095](https://harnessreport.com/tasks/satbench/1095.md) | medium | | | 0 | | [1096](https://harnessreport.com/tasks/satbench/1096.md) | medium | | | 0 | | [1097](https://harnessreport.com/tasks/satbench/1097.md) | medium | | | 0 | | [1098](https://harnessreport.com/tasks/satbench/1098.md) | medium | | | 0 | | [1099](https://harnessreport.com/tasks/satbench/1099.md) | medium | | | 0 | | [11](https://harnessreport.com/tasks/satbench/11.md) | medium | | | 0 | | [110](https://harnessreport.com/tasks/satbench/110.md) | medium | | | 0 | | [1100](https://harnessreport.com/tasks/satbench/1100.md) | medium | | | 0 | | [1101](https://harnessreport.com/tasks/satbench/1101.md) | medium | | | 0 | | [1102](https://harnessreport.com/tasks/satbench/1102.md) | medium | | | 0 | | [1103](https://harnessreport.com/tasks/satbench/1103.md) | medium | | | 0 | | [1104](https://harnessreport.com/tasks/satbench/1104.md) | medium | | | 0 | | [1105](https://harnessreport.com/tasks/satbench/1105.md) | medium | | | 0 | | [1106](https://harnessreport.com/tasks/satbench/1106.md) | medium | | | 0 | | [1107](https://harnessreport.com/tasks/satbench/1107.md) | medium | | | 0 | | [1108](https://harnessreport.com/tasks/satbench/1108.md) | medium | | | 0 | | [1109](https://harnessreport.com/tasks/satbench/1109.md) | medium | | | 0 | | [111](https://harnessreport.com/tasks/satbench/111.md) | medium | | | 0 | | [1110](https://harnessreport.com/tasks/satbench/1110.md) | medium | | | 0 | | [1111](https://harnessreport.com/tasks/satbench/1111.md) | medium | | | 0 | | [1112](https://harnessreport.com/tasks/satbench/1112.md) | medium | | | 0 | | [1113](https://harnessreport.com/tasks/satbench/1113.md) | medium | | | 0 | | [1114](https://harnessreport.com/tasks/satbench/1114.md) | medium | | | 0 | | [1115](https://harnessreport.com/tasks/satbench/1115.md) | medium | | | 0 | | [1116](https://harnessreport.com/tasks/satbench/1116.md) | medium | | | 0 | | [1117](https://harnessreport.com/tasks/satbench/1117.md) | medium | | | 0 | | [1118](https://harnessreport.com/tasks/satbench/1118.md) | medium | | | 0 | | [1119](https://harnessreport.com/tasks/satbench/1119.md) | medium | | | 0 | | [112](https://harnessreport.com/tasks/satbench/112.md) | medium | | | 0 | | [1120](https://harnessreport.com/tasks/satbench/1120.md) | medium | | | 0 | | [1121](https://harnessreport.com/tasks/satbench/1121.md) | medium | | | 0 | | [1122](https://harnessreport.com/tasks/satbench/1122.md) | medium | | | 0 | | [1123](https://harnessreport.com/tasks/satbench/1123.md) | medium | | | 0 | | [1124](https://harnessreport.com/tasks/satbench/1124.md) | medium | | | 0 | | [1125](https://harnessreport.com/tasks/satbench/1125.md) | medium | | | 0 | | [1126](https://harnessreport.com/tasks/satbench/1126.md) | medium | | | 0 | | [1127](https://harnessreport.com/tasks/satbench/1127.md) | medium | | | 0 | | [1128](https://harnessreport.com/tasks/satbench/1128.md) | medium | | | 0 | | [1129](https://harnessreport.com/tasks/satbench/1129.md) | medium | | | 0 | | [113](https://harnessreport.com/tasks/satbench/113.md) | medium | | | 0 | | [1130](https://harnessreport.com/tasks/satbench/1130.md) | medium | | | 0 | | [1131](https://harnessreport.com/tasks/satbench/1131.md) | medium | | | 0 | | [1132](https://harnessreport.com/tasks/satbench/1132.md) | medium | | | 0 | | [1133](https://harnessreport.com/tasks/satbench/1133.md) | medium | | | 0 | | [1134](https://harnessreport.com/tasks/satbench/1134.md) | medium | | | 0 | | [1135](https://harnessreport.com/tasks/satbench/1135.md) | medium | | | 0 | | [1136](https://harnessreport.com/tasks/satbench/1136.md) | medium | | | 0 | | [1137](https://harnessreport.com/tasks/satbench/1137.md) | medium | | | 0 | | [1138](https://harnessreport.com/tasks/satbench/1138.md) | medium | | | 0 | | [1139](https://harnessreport.com/tasks/satbench/1139.md) | medium | | | 0 | | [114](https://harnessreport.com/tasks/satbench/114.md) | medium | | | 0 | | [1140](https://harnessreport.com/tasks/satbench/1140.md) | medium | | | 0 | | [1141](https://harnessreport.com/tasks/satbench/1141.md) | medium | | | 0 | | [1142](https://harnessreport.com/tasks/satbench/1142.md) | medium | | | 0 | | [1143](https://harnessreport.com/tasks/satbench/1143.md) | medium | | | 0 | | [1144](https://harnessreport.com/tasks/satbench/1144.md) | medium | | | 0 | | [1145](https://harnessreport.com/tasks/satbench/1145.md) | medium | | | 0 | | [1146](https://harnessreport.com/tasks/satbench/1146.md) | medium | | | 0 | | [1147](https://harnessreport.com/tasks/satbench/1147.md) | medium | | | 0 | | [1148](https://harnessreport.com/tasks/satbench/1148.md) | medium | | | 0 | | [1149](https://harnessreport.com/tasks/satbench/1149.md) | medium | | | 0 | | [115](https://harnessreport.com/tasks/satbench/115.md) | medium | | | 0 | | [1150](https://harnessreport.com/tasks/satbench/1150.md) | medium | | | 0 | | [1151](https://harnessreport.com/tasks/satbench/1151.md) | medium | | | 0 | | [1152](https://harnessreport.com/tasks/satbench/1152.md) | medium | | | 0 | | [1153](https://harnessreport.com/tasks/satbench/1153.md) | medium | | | 0 | | [1154](https://harnessreport.com/tasks/satbench/1154.md) | medium | | | 0 | | [1155](https://harnessreport.com/tasks/satbench/1155.md) | medium | | | 0 | | [1156](https://harnessreport.com/tasks/satbench/1156.md) | medium | | | 0 | | [1157](https://harnessreport.com/tasks/satbench/1157.md) | medium | | | 0 | | [1158](https://harnessreport.com/tasks/satbench/1158.md) | medium | | | 0 | | [1159](https://harnessreport.com/tasks/satbench/1159.md) | medium | | | 0 | | [116](https://harnessreport.com/tasks/satbench/116.md) | medium | | | 0 | | [1160](https://harnessreport.com/tasks/satbench/1160.md) | medium | | | 0 | | [1161](https://harnessreport.com/tasks/satbench/1161.md) | medium | | | 0 | | [1162](https://harnessreport.com/tasks/satbench/1162.md) | medium | | | 0 | | [1163](https://harnessreport.com/tasks/satbench/1163.md) | medium | | | 0 | | [1164](https://harnessreport.com/tasks/satbench/1164.md) | medium | | | 0 | | [1165](https://harnessreport.com/tasks/satbench/1165.md) | medium | | | 0 | | [1166](https://harnessreport.com/tasks/satbench/1166.md) | medium | | | 0 | | [1167](https://harnessreport.com/tasks/satbench/1167.md) | medium | | | 0 | | [1168](https://harnessreport.com/tasks/satbench/1168.md) | medium | | | 0 | | [1169](https://harnessreport.com/tasks/satbench/1169.md) | medium | | | 0 | | [117](https://harnessreport.com/tasks/satbench/117.md) | medium | | | 0 | | [1170](https://harnessreport.com/tasks/satbench/1170.md) | medium | | | 0 | | [1171](https://harnessreport.com/tasks/satbench/1171.md) | medium | | | 0 | | [1172](https://harnessreport.com/tasks/satbench/1172.md) | medium | | | 0 | | [1173](https://harnessreport.com/tasks/satbench/1173.md) | medium | | | 0 | | [1174](https://harnessreport.com/tasks/satbench/1174.md) | medium | | | 0 | | [1175](https://harnessreport.com/tasks/satbench/1175.md) | medium | | | 0 | | [1176](https://harnessreport.com/tasks/satbench/1176.md) | medium | | | 0 | | [1177](https://harnessreport.com/tasks/satbench/1177.md) | medium | | | 0 | More: https://harnessreport.com/tasks/satbench.md?after=1177 --- Harness Report runs agent harnesses from their GitHub repos on Harbor tasks and records every model call. Every page is also `.md` and `.json`; index: https://harnessreport.com/llms.txt · MCP: https://harnessreport.com/mcp