results_object_hard.json

{'hard/007random_ksat.cnf': [10, 750, 750, 750, 750, 750, 750.0, 750.0, 748, 750, 749.4545454545455, 750.0], 'hard/209random_ksat.cnf': [4, 20, 5, 5, 5, 5, 5.0, 5.0, 3, 5, 4.5454545454545459, 5.0], 'hard/196random_ksat.cnf': [4, 948, 750, 750, 724, 734, 730.72727272727275, 731.0, 698, 708, 703.0, 702.0], 'hard/016random_ksat.cnf': [10, 427, 100, 100, 100, 100, 100.0, 100.0, 99, 100, 99.63636363636364, 100.0], 'hard/013random_ksat.cnf': [10, 48, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/014random_ksat.cnf': [10, 500, 750, 750, 750, 750, 750.0, 750.0, 748, 750, 748.90909090909088, 749.0], 'hard/145random_ksat.cnf': [5, 498, 500, 500, 500, 500, 500.0, 500.0, 481, 490, 486.54545454545456, 488.0], 'hard/127random_ksat.cnf': [5, 993, 1000, 1000, 990, 999, 995.09090909090912, 996.0, 956, 973, 965.63636363636363, 966.0], 'hard/197random_ksat.cnf': [4, 979, 1000, 1000, 958, 975, 965.27272727272725, 965.0, 925, 946, 935.4545454545455, 935.0], 'hard/208random_ksat.cnf': [4, 179, 50, 50, 50, 50, 50.0, 50.0, 45, 50, 46.81818181818182, 46.0], 'hard/004random_ksat.cnf': [10, 991, 500, 500, 500, 500, 500.0, 500.0, 499, 500, 499.63636363636363, 500.0], 'hard/272random_ksat.cnf': [3, 15, 5, 5, 5, 5, 5.0, 5.0, 3, 5, 4.1818181818181817, 4.0], 'hard/068random_ksat.cnf': [7, 294, 50, 50, 50, 50, 50.0, 50.0, 49, 50, 49.545454545454547, 50.0], 'hard/020random_ksat.cnf': [10, 306, 50, 50, 50, 50, 50.0, 50.0, 50, 50, 50.0, 50.0], 'hard/205random_ksat.cnf': [4, 310, 100, 100, 100, 100, 100.0, 100.0, 91, 98, 94.818181818181813, 95.0], 'hard/199random_ksat.cnf': [4, 40, 10, 10, 10, 10, 10.0, 10.0, 8, 10, 9.454545454545455, 10.0], 'hard/140random_ksat.cnf': [5, 500, 750, 750, 738, 745, 741.63636363636363, 741.0, 717, 730, 724.27272727272725, 725.0], 'hard/277random_ksat.cnf': [3, 137, 50, 50, 50, 50, 50.0, 50.0, 40, 46, 43.454545454545453, 43.0], 'hard/082random_ksat.cnf': [7, 252, 50, 50, 50, 50, 50.0, 50.0, 49, 50, 49.909090909090907, 50.0], 'hard/279random_ksat.cnf': [3, 15, 5, 5, 5, 5, 5.0, 5.0, 3, 5, 4.4545454545454541, 5.0], 'hard/131random_ksat.cnf': [5, 226, 50, 50, 50, 50, 50.0, 50.0, 46, 50, 48.363636363636367, 48.0], 'hard/019random_ksat.cnf': [10, 49, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/270random_ksat.cnf': [3, 137, 50, 50, 50, 50, 50.0, 50.0, 37, 45, 41.81818181818182, 43.0], 'hard/015random_ksat.cnf': [10, 500, 1000, 1000, 1000, 1000, 1000.0, 1000.0, 998, 1000, 999.09090909090912, 999.0], 'hard/135random_ksat.cnf': [5, 376, 100, 100, 100, 100, 100.0, 100.0, 96, 99, 97.36363636363636, 97.0], 'hard/137random_ksat.cnf': [5, 718, 500, 500, 495, 500, 496.72727272727275, 496.0, 480, 492, 485.45454545454544, 486.0], 'hard/134random_ksat.cnf': [5, 750, 1000, 1000, 972, 988, 978.27272727272725, 978.0, 961, 978, 968.09090909090912, 966.0], 'hard/078random_ksat.cnf': [7, 500, 1000, 1000, 996, 999, 996.81818181818187, 997.0, 990, 997, 992.72727272727275, 992.0], 'hard/198random_ksat.cnf': [4, 339, 100, 100, 100, 100, 100.0, 100.0, 91, 98, 94.63636363636364, 95.0], 'hard/000random_ksat.cnf': [10, 999, 750, 750, 750, 750, 750.0, 750.0, 748, 750, 749.27272727272725, 749.0], 'hard/215random_ksat.cnf': [4, 166, 50, 50, 50, 50, 50.0, 50.0, 42, 49, 45.545454545454547, 45.0], 'hard/213random_ksat.cnf': [4, 36, 10, 10, 10, 10, 10.0, 10.0, 8, 10, 9.0909090909090917, 9.0], 'hard/286random_ksat.cnf': [3, 15, 5, 5, 5, 5, 5.0, 5.0, 4, 5, 4.6363636363636367, 5.0], 'hard/267random_ksat.cnf': [3, 888, 750, 750, 722, 734, 726.0, 725.0, 637, 669, 652.36363636363637, 654.0], 'hard/002random_ksat.cnf': [10, 646, 100, 100, 100, 100, 100.0, 100.0, 98, 100, 99.727272727272734, 100.0], 'hard/210random_ksat.cnf': [4, 500, 750, 750, 714, 729, 720.72727272727275, 720.0, 682, 709, 700.0, 701.0], 'hard/005random_ksat.cnf': [10, 388, 50, 50, 50, 50, 50.0, 50.0, 50, 50, 50.0, 50.0], 'hard/212random_ksat.cnf': [4, 280, 100, 100, 100, 100, 100.0, 100.0, 91, 97, 94.272727272727266, 94.0], 'hard/144random_ksat.cnf': [5, 195, 50, 50, 50, 50, 50.0, 50.0, 46, 50, 48.272727272727273, 48.0], 'hard/146random_ksat.cnf': [5, 24, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/069random_ksat.cnf': [7, 34, 5, 5, 5, 5, 5.0, 5.0, 4, 5, 4.9090909090909092, 5.0], 'hard/063random_ksat.cnf': [7, 992, 750, 750, 750, 750, 750.0, 750.0, 742, 748, 744.72727272727275, 744.0], 'hard/066random_ksat.cnf': [7, 70, 10, 10, 10, 10, 10.0, 10.0, 10, 10, 10.0, 10.0], 'hard/079random_ksat.cnf': [7, 61, 10, 10, 10, 10, 10.0, 10.0, 9, 10, 9.9090909090909083, 10.0], 'hard/207random_ksat.cnf': [4, 684, 500, 500, 485, 496, 490.36363636363637, 490.0, 450, 477, 465.45454545454544, 465.0], 'hard/203random_ksat.cnf': [4, 735, 750, 750, 709, 723, 715.90909090909088, 716.0, 695, 715, 705.4545454545455, 708.0], 'hard/201random_ksat.cnf': [4, 188, 50, 50, 50, 50, 50.0, 50.0, 45, 49, 47.363636363636367, 47.0], 'hard/268random_ksat.cnf': [3, 781, 500, 500, 497, 500, 498.90909090909093, 499.0, 431, 458, 443.0, 443.0], 'hard/202random_ksat.cnf': [4, 20, 5, 5, 5, 5, 5.0, 5.0, 4, 5, 4.6363636363636367, 5.0], 'hard/284random_ksat.cnf': [3, 130, 50, 50, 50, 50, 50.0, 50.0, 39, 47, 43.81818181818182, 44.0], 'hard/273random_ksat.cnf': [3, 736, 1000, 1000, 913, 935, 921.81818181818187, 920.0, 857, 890, 874.72727272727275, 876.0], 'hard/275random_ksat.cnf': [3, 644, 500, 500, 495, 500, 497.54545454545456, 498.0, 425, 451, 435.63636363636363, 435.0], 'hard/071random_ksat.cnf': [7, 750, 1000, 1000, 1000, 1000, 1000.0, 1000.0, 986, 996, 991.81818181818187, 992.0], 'hard/271random_ksat.cnf': [3, 30, 10, 10, 10, 10, 10.0, 10.0, 8, 10, 9.0, 9.0], 'hard/269random_ksat.cnf': [3, 261, 100, 100, 100, 100, 100.0, 100.0, 84, 90, 86.818181818181813, 86.0], 'hard/010random_ksat.cnf': [10, 538, 100, 100, 100, 100, 100.0, 100.0, 100, 100, 100.0, 100.0], 'hard/126random_ksat.cnf': [5, 984, 750, 750, 750, 750, 750.0, 750.0, 720, 734, 728.0, 730.0], 'hard/143random_ksat.cnf': [5, 47, 10, 10, 10, 10, 10.0, 10.0, 9, 10, 9.8181818181818183, 10.0], 'hard/276random_ksat.cnf': [3, 244, 100, 100, 100, 100, 100.0, 100.0, 86, 95, 89.272727272727266, 89.0], 'hard/077random_ksat.cnf': [7, 500, 750, 750, 750, 750, 750.0, 750.0, 741, 748, 745.0, 746.0], 'hard/274random_ksat.cnf': [3, 710, 750, 750, 724, 738, 729.0, 729.0, 641, 674, 658.5454545454545, 661.0], 'hard/081random_ksat.cnf': [7, 500, 500, 500, 500, 500, 500.0, 500.0, 494, 497, 495.72727272727275, 496.0], 'hard/138random_ksat.cnf': [5, 215, 50, 50, 50, 50, 50.0, 50.0, 46, 50, 48.363636363636367, 49.0], 'hard/074random_ksat.cnf': [7, 747, 500, 500, 500, 500, 500.0, 500.0, 495, 499, 497.45454545454544, 498.0], 'hard/083random_ksat.cnf': [7, 33, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/001random_ksat.cnf': [10, 1000, 1000, 1000, 1000, 1000, 1000.0, 1000.0, 998, 1000, 999.4545454545455, 1000.0], 'hard/266random_ksat.cnf': [3, 955, 1000, 1000, 939, 964, 947.90909090909088, 945.0, 870, 893, 882.36363636363637, 881.0], 'hard/003random_ksat.cnf': [10, 98, 10, 10, 10, 10, 10.0, 10.0, 10, 10, 10.0, 10.0], 'hard/009random_ksat.cnf': [10, 98, 10, 10, 10, 10, 10.0, 10.0, 10, 10, 10.0, 10.0], 'hard/278random_ksat.cnf': [3, 29, 10, 10, 10, 10, 10.0, 10.0, 6, 10, 8.6363636363636367, 9.0], 'hard/130random_ksat.cnf': [5, 910, 500, 500, 500, 500, 500.0, 500.0, 482, 488, 484.90909090909093, 484.0], 'hard/136random_ksat.cnf': [5, 48, 10, 10, 10, 10, 10.0, 10.0, 8, 10, 9.2727272727272734, 9.0], 'hard/132random_ksat.cnf': [5, 25, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/129random_ksat.cnf': [5, 49, 10, 10, 10, 10, 10.0, 10.0, 9, 10, 9.6363636363636367, 10.0], 'hard/281random_ksat.cnf': [3, 498, 750, 750, 678, 702, 688.36363636363637, 685.0, 638, 664, 653.09090909090912, 652.0], 'hard/139random_ksat.cnf': [5, 25, 5, 5, 5, 5, 5.0, 5.0, 4, 5, 4.8181818181818183, 5.0], 'hard/064random_ksat.cnf': [7, 1000, 1000, 1000, 1000, 1000, 1000.0, 1000.0, 988, 995, 991.63636363636363, 992.0], 'hard/285random_ksat.cnf': [3, 28, 10, 10, 10, 10, 10.0, 10.0, 7, 9, 7.6363636363636367, 8.0], 'hard/142random_ksat.cnf': [5, 331, 100, 100, 100, 100, 100.0, 100.0, 95, 98, 96.36363636363636, 96.0], 'hard/067random_ksat.cnf': [7, 975, 500, 500, 500, 500, 500.0, 500.0, 494, 499, 496.0, 496.0], 'hard/280random_ksat.cnf': [3, 498, 1000, 1000, 912, 942, 926.72727272727275, 927.0, 847, 903, 873.18181818181813, 873.0], 'hard/070random_ksat.cnf': [7, 749, 750, 750, 750, 750, 750.0, 750.0, 740, 748, 744.5454545454545, 745.0], 'hard/075random_ksat.cnf': [7, 275, 50, 50, 50, 50, 50.0, 50.0, 48, 50, 49.81818181818182, 50.0], 'hard/072random_ksat.cnf': [7, 461, 100, 100, 100, 100, 100.0, 100.0, 98, 100, 99.181818181818187, 99.0], 'hard/128random_ksat.cnf': [5, 389, 100, 100, 100, 100, 100.0, 100.0, 95, 99, 96.545454545454547, 96.0], 'hard/017random_ksat.cnf': [10, 91, 10, 10, 10, 10, 10.0, 10.0, 10, 10, 10.0, 10.0], 'hard/141random_ksat.cnf': [5, 500, 1000, 1000, 973, 990, 981.72727272727275, 981.0, 960, 975, 968.27272727272725, 970.0], 'hard/214random_ksat.cnf': [4, 487, 500, 500, 472, 488, 481.54545454545456, 484.0, 460, 481, 470.72727272727275, 471.0], 'hard/006random_ksat.cnf': [10, 49, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/133random_ksat.cnf': [5, 744, 750, 750, 750, 750, 750.0, 750.0, 725, 734, 728.81818181818187, 727.0], 'hard/011random_ksat.cnf': [10, 747, 500, 500, 500, 500, 500.0, 500.0, 499, 500, 499.72727272727275, 500.0], 'hard/018random_ksat.cnf': [10, 500, 500, 500, 500, 500, 500.0, 500.0, 498, 500, 499.36363636363637, 499.0], 'hard/012random_ksat.cnf': [10, 373, 50, 50, 50, 50, 50.0, 50.0, 50, 50, 50.0, 50.0], 'hard/211random_ksat.cnf': [4, 499, 1000, 1000, 950, 973, 965.72727272727275, 967.0, 928, 948, 938.09090909090912, 940.0], 'hard/080random_ksat.cnf': [7, 368, 100, 100, 100, 100, 100.0, 100.0, 98, 100, 99.545454545454547, 100.0], 'hard/206random_ksat.cnf': [4, 39, 10, 10, 10, 10, 10.0, 10.0, 9, 10, 9.8181818181818183, 10.0], 'hard/200random_ksat.cnf': [4, 874, 500, 500, 492, 498, 494.63636363636363, 494.0, 460, 479, 468.09090909090907, 464.0], 'hard/008random_ksat.cnf': [10, 750, 1000, 1000, 1000, 1000, 1000.0, 1000.0, 998, 1000, 999.36363636363637, 999.0], 'hard/283random_ksat.cnf': [3, 224, 100, 100, 100, 100, 100.0, 100.0, 79, 94, 87.272727272727266, 88.0], 'hard/204random_ksat.cnf': [4, 748, 1000, 1000, 956, 979, 967.0, 968.0, 919, 948, 938.0, 940.0], 'hard/065random_ksat.cnf': [7, 501, 100, 100, 100, 100, 100.0, 100.0, 99, 100, 99.727272727272734, 100.0], 'hard/282random_ksat.cnf': [3, 476, 500, 500, 481, 493, 487.54545454545456, 488.0, 427, 450, 437.45454545454544, 437.0], 'hard/216random_ksat.cnf': [4, 20, 5, 5, 5, 5, 5.0, 5.0, 4, 5, 4.8181818181818183, 5.0], 'hard/076random_ksat.cnf': [7, 35, 5, 5, 5, 5, 5.0, 5.0, 5, 5, 5.0, 5.0], 'hard/073random_ksat.cnf': [7, 68, 10, 10, 10, 10, 10.0, 10.0, 10, 10, 10.0, 10.0]}