results_object_3sat.json

{'3sat/HG-3SAT-V300-C1200-1.cnf': [3, 300, 1200, 1200, 1048, 1074, 1060.1818181818182, 1059.0, 1039, 1062, 1048.8181818181818, 1049.0], '3sat/HG-3SAT-V300-C1200-8.cnf': [3, 300, 1200, 1200, 1060, 1077, 1067.3636363636363, 1065.0, 1039, 1067, 1050.6363636363637, 1050.0], '3sat/HG-3SAT-V250-C1000-19.cnf': [3, 250, 1000, 1000, 879, 899, 890.18181818181813, 890.0, 858, 893, 875.5454545454545, 873.0], '3sat/HG-3SAT-V250-C1000-10.cnf': [3, 250, 1000, 1000, 873, 891, 881.18181818181813, 883.0, 858, 882, 870.4545454545455, 873.0], '3sat/HG-3SAT-V300-C1200-16.cnf': [3, 300, 1200, 1200, 1057, 1078, 1067.1818181818182, 1068.0, 1037, 1067, 1051.7272727272727, 1053.0], '3sat/HG-3SAT-V250-C1000-7.cnf': [3, 250, 1000, 1000, 875, 902, 888.5454545454545, 889.0, 873, 890, 880.27272727272725, 881.0], '3sat/HG-3SAT-V300-C1200-22.cnf': [3, 300, 1200, 1200, 1047, 1075, 1065.090909090909, 1065.0, 1035, 1070, 1047.909090909091, 1048.0], '3sat/HG-3SAT-V300-C1200-5.cnf': [3, 300, 1200, 1200, 1062, 1083, 1067.6363636363637, 1066.0, 1047, 1074, 1058.8181818181818, 1059.0], '3sat/HG-3SAT-V300-C1200-100.cnf': [3, 300, 1200, 1200, 1051, 1078, 1063.909090909091, 1063.0, 1045, 1058, 1052.909090909091, 1054.0], '3sat/HG-3SAT-V250-C1000-14.cnf': [3, 250, 1000, 1000, 872, 907, 888.63636363636363, 890.0, 869, 879, 872.09090909090912, 870.0], '3sat/HG-3SAT-V300-C1200-6.cnf': [3, 300, 1200, 1200, 1040, 1065, 1056.5454545454545, 1059.0, 1041, 1050, 1046.090909090909, 1047.0], '3sat/HG-3SAT-V250-C1000-1.cnf': [3, 250, 1000, 1000, 883, 909, 894.5454545454545, 894.0, 860, 887, 871.81818181818187, 871.0], '3sat/HG-3SAT-V250-C1000-13.cnf': [3, 250, 1000, 1000, 879, 906, 893.36363636363637, 892.0, 851, 881, 872.90909090909088, 876.0], '3sat/HG-3SAT-V250-C1000-5.cnf': [3, 250, 1000, 1000, 883, 900, 891.18181818181813, 893.0, 867, 890, 879.5454545454545, 879.0], '3sat/HG-3SAT-V250-C1000-100.cnf': [3, 250, 1000, 1000, 877, 899, 885.81818181818187, 885.0, 861, 888, 877.0, 878.0], '3sat/HG-3SAT-V300-C1200-10.cnf': [3, 300, 1200, 1200, 1050, 1080, 1069.5454545454545, 1074.0, 1037, 1061, 1046.0, 1044.0], '3sat/HG-3SAT-V300-C1200-4.cnf': [3, 300, 1200, 1200, 1051, 1074, 1064.090909090909, 1067.0, 1046, 1066, 1056.4545454545455, 1056.0], '3sat/HG-3SAT-V300-C1200-13.cnf': [3, 300, 1200, 1200, 1053, 1072, 1064.3636363636363, 1065.0, 1037, 1061, 1048.7272727272727, 1049.0], '3sat/HG-3SAT-V300-C1200-2.cnf': [3, 300, 1200, 1200, 1051, 1077, 1065.1818181818182, 1066.0, 1043, 1065, 1050.4545454545455, 1050.0], '3sat/HG-3SAT-V300-C1200-9.cnf': [3, 300, 1200, 1200, 1052, 1082, 1067.0, 1069.0, 1034, 1059, 1048.2727272727273, 1049.0], '3sat/HG-3SAT-V250-C1000-8.cnf': [3, 250, 1000, 1000, 873, 898, 887.36363636363637, 889.0, 855, 886, 875.36363636363637, 875.0], '3sat/HG-3SAT-V300-C1200-19.cnf': [3, 300, 1200, 1200, 1054, 1078, 1065.6363636363637, 1068.0, 1041, 1061, 1053.0, 1055.0], '3sat/HG-3SAT-V250-C1000-18.cnf': [3, 250, 1000, 1000, 873, 893, 883.63636363636363, 884.0, 866, 883, 875.4545454545455, 874.0], '3sat/HG-3SAT-V300-C1200-18.cnf': [3, 300, 1200, 1200, 1049, 1091, 1071.8181818181818, 1072.0, 1044, 1059, 1053.0, 1056.0], '3sat/HG-3SAT-V300-C1200-24.cnf': [3, 300, 1200, 1200, 1058, 1085, 1072.909090909091, 1074.0, 1037, 1060, 1050.4545454545455, 1053.0], '3sat/HG-3SAT-V300-C1200-17.cnf': [3, 300, 1200, 1200, 1046, 1065, 1057.2727272727273, 1059.0, 1033, 1066, 1053.2727272727273, 1055.0], '3sat/HG-3SAT-V250-C1000-6.cnf': [3, 250, 1000, 1000, 879, 898, 888.0, 885.0, 864, 881, 873.63636363636363, 873.0], '3sat/HG-3SAT-V250-C1000-17.cnf': [3, 250, 1000, 1000, 877, 899, 890.5454545454545, 894.0, 863, 882, 870.5454545454545, 870.0], '3sat/HG-3SAT-V300-C1200-21.cnf': [3, 300, 1200, 1200, 1043, 1073, 1058.1818181818182, 1057.0, 1033, 1071, 1048.7272727272727, 1046.0], '3sat/HG-3SAT-V250-C1000-15.cnf': [3, 250, 1000, 1000, 872, 894, 883.09090909090912, 884.0, 864, 882, 870.09090909090912, 869.0], '3sat/HG-3SAT-V300-C1200-14.cnf': [3, 300, 1200, 1200, 1043, 1074, 1057.909090909091, 1056.0, 1042, 1067, 1055.090909090909, 1054.0], '3sat/HG-3SAT-V250-C1000-22.cnf': [3, 250, 1000, 1000, 871, 891, 882.4545454545455, 883.0, 859, 888, 872.90909090909088, 873.0], '3sat/HG-3SAT-V250-C1000-20.cnf': [3, 250, 1000, 1000, 878, 899, 886.4545454545455, 884.0, 868, 885, 876.72727272727275, 876.0], '3sat/HG-3SAT-V250-C1000-23.cnf': [3, 250, 1000, 1000, 871, 892, 883.09090909090912, 886.0, 855, 882, 871.90909090909088, 875.0], '3sat/HG-3SAT-V250-C1000-11.cnf': [3, 250, 1000, 1000, 877, 899, 887.09090909090912, 887.0, 861, 895, 879.72727272727275, 879.0], '3sat/HG-3SAT-V250-C1000-24.cnf': [3, 250, 1000, 1000, 881, 899, 889.0, 891.0, 865, 885, 875.0, 876.0], '3sat/HG-3SAT-V250-C1000-12.cnf': [3, 250, 1000, 1000, 869, 894, 883.81818181818187, 886.0, 867, 884, 877.0, 880.0], '3sat/HG-3SAT-V300-C1200-3.cnf': [3, 300, 1200, 1200, 1052, 1074, 1063.6363636363637, 1067.0, 1037, 1070, 1051.2727272727273, 1049.0], '3sat/HG-3SAT-V300-C1200-23.cnf': [3, 300, 1200, 1200, 1038, 1076, 1061.3636363636363, 1061.0, 1035, 1057, 1048.6363636363637, 1049.0], '3sat/HG-3SAT-V300-C1200-20.cnf': [3, 300, 1200, 1200, 1050, 1093, 1068.7272727272727, 1067.0, 1042, 1062, 1048.5454545454545, 1047.0], '3sat/HG-3SAT-V250-C1000-16.cnf': [3, 250, 1000, 1000, 875, 897, 887.27272727272725, 890.0, 867, 884, 875.4545454545455, 878.0], '3sat/HG-3SAT-V300-C1200-7.cnf': [3, 300, 1200, 1200, 1053, 1071, 1062.5454545454545, 1062.0, 1037, 1059, 1050.3636363636363, 1051.0], '3sat/HG-3SAT-V250-C1000-9.cnf': [3, 250, 1000, 1000, 875, 900, 887.5454545454545, 886.0, 865, 881, 875.36363636363637, 876.0], '3sat/HG-3SAT-V300-C1200-11.cnf': [3, 300, 1200, 1200, 1043, 1077, 1061.090909090909, 1060.0, 1034, 1062, 1044.8181818181818, 1043.0], '3sat/HG-3SAT-V250-C1000-2.cnf': [3, 250, 1000, 1000, 877, 900, 888.72727272727275, 888.0, 866, 887, 878.0, 878.0], '3sat/HG-3SAT-V300-C1200-12.cnf': [3, 300, 1200, 1200, 1052, 1075, 1067.2727272727273, 1069.0, 1040, 1066, 1053.4545454545455, 1054.0], '3sat/HG-3SAT-V250-C1000-3.cnf': [3, 250, 1000, 1000, 881, 906, 892.90909090909088, 892.0, 864, 881, 872.72727272727275, 871.0], '3sat/HG-3SAT-V250-C1000-21.cnf': [3, 250, 1000, 1000, 881, 902, 889.72727272727275, 890.0, 861, 881, 871.5454545454545, 871.0], '3sat/HG-3SAT-V250-C1000-4.cnf': [3, 250, 1000, 1000, 876, 893, 885.90909090909088, 888.0, 863, 888, 876.09090909090912, 875.0], '3sat/HG-3SAT-V300-C1200-15.cnf': [3, 300, 1200, 1200, 1057, 1087, 1070.6363636363637, 1074.0, 1033, 1062, 1047.1818181818182, 1045.0]}