results_object_80v_0.5.json

{'80v/s3v80c600-7.cnf': [3, 80, 600, 588, 535, 526], '80v/s3v80c600-9.cnf': [3, 80, 600, 588, 526, 514], '80v/s3v80c800-2.cnf': [3, 80, 800, 768, 703, 700], '80v/s3v80c900-3.cnf': [3, 80, 900, 866, 763, 796], '80v/s3v80c700-7.cnf': [3, 80, 700, 679, 606, 608], '80v/s3v80c700-4.cnf': [3, 80, 700, 685, 630, 624], '80v/s3v80c900-7.cnf': [3, 80, 900, 866, 785, 796], '80v/s3v80c600-3.cnf': [3, 80, 600, 589, 525, 528], '80v/s3v80c900-2.cnf': [3, 80, 900, 863, 783, 788], '80v/s3v80c700-2.cnf': [3, 80, 700, 680, 625, 610], '80v/s3v80c1000-5.cnf': [3, 80, 1000, 959, 890, 860], '80v/s3v80c600-10.cnf': [3, 80, 600, 585, 528, 537], '80v/s3v80c800-3.cnf': [3, 80, 800, 773, 692, 693], '80v/s3v80c700-9.cnf': [3, 80, 700, 682, 600, 618], '80v/s3v80c1000-9.cnf': [3, 80, 1000, 962, 875, 885], '80v/s3v80c900-9.cnf': [3, 80, 900, 864, 783, 800], '80v/s3v80c1000-6.cnf': [3, 80, 1000, 960, 888, 862], '80v/s3v80c700-6.cnf': [3, 80, 700, 682, 624, 610], '80v/s3v80c700-5.cnf': [3, 80, 700, 679, 625, 633], '80v/s3v80c700-8.cnf': [3, 80, 700, 681, 613, 611], '80v/s3v80c1000-10.cnf': [3, 80, 1000, 961, 883, 864], '80v/s3v80c1000-8.cnf': [3, 80, 1000, 959, 869, 886], '80v/s3v80c800-1.cnf': [3, 80, 800, 772, 715, 696], '80v/s3v80c800-8.cnf': [3, 80, 800, 775, 703, 696], '80v/s3v80c800-10.cnf': [3, 80, 800, 773, 705, 699], '80v/s3v80c900-8.cnf': [3, 80, 900, 867, 794, 791], '80v/s3v80c900-1.cnf': [3, 80, 900, 865, 784, 789], '80v/s3v80c900-6.cnf': [3, 80, 900, 869, 793, 772], '80v/s3v80c600-4.cnf': [3, 80, 600, 587, 527, 521], '80v/s3v80c600-6.cnf': [3, 80, 600, 586, 527, 517], '80v/s3v80c600-8.cnf': [3, 80, 600, 585, 525, 534], '80v/s3v80c900-5.cnf': [3, 80, 900, 868, 767, 774], '80v/s3v80c800-7.cnf': [3, 80, 800, 773, 688, 703], '80v/s3v80c700-10.cnf': [3, 80, 700, 681, 622, 605], '80v/s3v80c800-9.cnf': [3, 80, 800, 774, 699, 697], '80v/s3v80c800-6.cnf': [3, 80, 800, 772, 715, 706], '80v/s3v80c1000-3.cnf': [3, 80, 1000, 961, 881, 869], '80v/s3v80c1000-1.cnf': [3, 80, 1000, 956, 887, 877], '80v/s3v80c600-5.cnf': [3, 80, 600, 588, 526, 525], '80v/s3v80c800-4.cnf': [3, 80, 800, 774, 699, 698], '80v/s3v80c900-4.cnf': [3, 80, 900, 865, 776, 785], '80v/s3v80c700-1.cnf': [3, 80, 700, 681, 613, 627], '80v/s3v80c700-3.cnf': [3, 80, 700, 682, 617, 619], '80v/s3v80c600-1.cnf': [3, 80, 600, 586, 532, 531], '80v/s3v80c1000-4.cnf': [3, 80, 1000, 955, 875, 878], '80v/s3v80c1000-2.cnf': [3, 80, 1000, 957, 883, 876], '80v/s3v80c800-5.cnf': [3, 80, 800, 773, 691, 696], '80v/s3v80c600-2.cnf': [3, 80, 600, 584, 535, 526], '80v/s3v80c900-10.cnf': [3, 80, 900, 865, 793, 786], '80v/s3v80c1000-7.cnf': [3, 80, 1000, 960, 905, 885]}