results_object_4sat.json

{'4sat/HG-4SAT-V150-C1350-6.cnf': [4, 150, 1350, 1350, 1262, 1278, 1273.0, 1275.0, 1259, 1287, 1266.6363636363637, 1265.0], '4sat/HG-4SAT-V150-C1350-11.cnf': [4, 150, 1350, 1350, 1264, 1285, 1277.1818181818182, 1279.0, 1258, 1284, 1271.4545454545455, 1271.0], '4sat/HG-4SAT-V100-C900-4.cnf': [4, 100, 900, 900, 842, 855, 849.27272727272725, 850.0, 839, 854, 846.18181818181813, 847.0], '4sat/HG-4SAT-V150-C1350-100.cnf': [4, 150, 1350, 1350, 1261, 1283, 1270.6363636363637, 1272.0, 1251, 1268, 1262.6363636363637, 1264.0], '4sat/HG-4SAT-V150-C1350-9.cnf': [4, 150, 1350, 1350, 1264, 1288, 1277.8181818181818, 1278.0, 1258, 1284, 1268.090909090909, 1268.0], '4sat/HG-4SAT-V100-C900-19.cnf': [4, 100, 900, 900, 839, 858, 849.90909090909088, 850.0, 840, 852, 846.90909090909088, 847.0], '4sat/HG-4SAT-V150-C1350-8.cnf': [4, 150, 1350, 1350, 1264, 1276, 1270.2727272727273, 1270.0, 1264, 1281, 1271.8181818181818, 1272.0], '4sat/HG-4SAT-V100-C900-7.cnf': [4, 100, 900, 900, 842, 857, 848.36363636363637, 848.0, 841, 857, 848.5454545454545, 848.0], '4sat/HG-4SAT-V150-C1350-5.cnf': [4, 150, 1350, 1350, 1269, 1283, 1276.4545454545455, 1279.0, 1256, 1278, 1266.0, 1264.0], '4sat/HG-4SAT-V150-C1350-3.cnf': [4, 150, 1350, 1350, 1258, 1280, 1270.6363636363637, 1270.0, 1258, 1277, 1269.3636363636363, 1268.0], '4sat/HG-4SAT-V100-C900-20.cnf': [4, 100, 900, 900, 839, 858, 848.81818181818187, 849.0, 837, 855, 845.4545454545455, 844.0], '4sat/HG-4SAT-V150-C1350-23.cnf': [4, 150, 1350, 1350, 1254, 1276, 1264.090909090909, 1264.0, 1252, 1283, 1269.6363636363637, 1270.0], '4sat/HG-4SAT-V150-C1350-21.cnf': [4, 150, 1350, 1350, 1263, 1282, 1272.6363636363637, 1271.0, 1256, 1276, 1266.909090909091, 1267.0], '4sat/HG-4SAT-V100-C900-23.cnf': [4, 100, 900, 900, 839, 857, 850.0, 852.0, 838, 856, 848.0, 851.0], '4sat/HG-4SAT-V150-C1350-16.cnf': [4, 150, 1350, 1350, 1265, 1282, 1274.0, 1278.0, 1249, 1274, 1264.2727272727273, 1263.0], '4sat/HG-4SAT-V150-C1350-14.cnf': [4, 150, 1350, 1350, 1255, 1286, 1271.7272727272727, 1273.0, 1252, 1285, 1264.4545454545455, 1261.0], '4sat/HG-4SAT-V150-C1350-18.cnf': [4, 150, 1350, 1350, 1270, 1287, 1278.2727272727273, 1277.0, 1252, 1272, 1263.5454545454545, 1265.0], '4sat/HG-4SAT-V150-C1350-17.cnf': [4, 150, 1350, 1350, 1269, 1289, 1276.909090909091, 1276.0, 1265, 1279, 1272.3636363636363, 1273.0], '4sat/HG-4SAT-V150-C1350-10.cnf': [4, 150, 1350, 1350, 1273, 1299, 1283.0, 1283.0, 1251, 1280, 1266.2727272727273, 1270.0], '4sat/HG-4SAT-V100-C900-2.cnf': [4, 100, 900, 900, 837, 857, 846.63636363636363, 846.0, 833, 852, 842.5454545454545, 841.0], '4sat/HG-4SAT-V150-C1350-13.cnf': [4, 150, 1350, 1350, 1266, 1280, 1272.2727272727273, 1273.0, 1261, 1288, 1270.909090909091, 1269.0], '4sat/HG-4SAT-V150-C1350-1.cnf': [4, 150, 1350, 1350, 1253, 1277, 1268.2727272727273, 1268.0, 1255, 1274, 1263.8181818181818, 1264.0], '4sat/HG-4SAT-V150-C1350-2.cnf': [4, 150, 1350, 1350, 1257, 1284, 1273.6363636363637, 1274.0, 1262, 1279, 1268.5454545454545, 1267.0], '4sat/HG-4SAT-V150-C1350-22.cnf': [4, 150, 1350, 1350, 1262, 1285, 1271.8181818181818, 1271.0, 1254, 1284, 1268.6363636363637, 1266.0], '4sat/HG-4SAT-V150-C1350-15.cnf': [4, 150, 1350, 1350, 1261, 1283, 1271.5454545454545, 1269.0, 1249, 1274, 1261.3636363636363, 1260.0], '4sat/HG-4SAT-V100-C900-14.cnf': [4, 100, 900, 900, 837, 853, 843.81818181818187, 842.0, 836, 853, 844.4545454545455, 844.0], '4sat/HG-4SAT-V150-C1350-4.cnf': [4, 150, 1350, 1350, 1269, 1287, 1276.1818181818182, 1275.0, 1254, 1278, 1266.5454545454545, 1267.0], '4sat/HG-4SAT-V150-C1350-24.cnf': [4, 150, 1350, 1350, 1265, 1282, 1274.2727272727273, 1277.0, 1252, 1277, 1265.3636363636363, 1267.0], '4sat/HG-4SAT-V150-C1350-20.cnf': [4, 150, 1350, 1350, 1271, 1286, 1276.0, 1275.0, 1253, 1280, 1268.2727272727273, 1270.0], '4sat/HG-4SAT-V150-C1350-7.cnf': [4, 150, 1350, 1350, 1259, 1281, 1273.0, 1273.0, 1261, 1286, 1274.909090909091, 1275.0], '4sat/HG-4SAT-V150-C1350-12.cnf': [4, 150, 1350, 1350, 1265, 1286, 1277.0, 1278.0, 1247, 1281, 1267.7272727272727, 1267.0], '4sat/HG-4SAT-V150-C1350-19.cnf': [4, 150, 1350, 1350, 1251, 1290, 1275.2727272727273, 1276.0, 1256, 1280, 1266.4545454545455, 1264.0]}