-
Notifications
You must be signed in to change notification settings - Fork 0
/
ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2.txt
100 lines (100 loc) · 27.5 KB
/
ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-1.cnf 134.961 OPTIMUM_FOUND 47 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-1.cnf.o3894028 70 1000 0 1000 47 47
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-10.cnf 80.136 OPTIMUM_FOUND 45 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-10.cnf.o3894029 70 1000 0 1000 45 45
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-2.cnf 60.481 OPTIMUM_FOUND 43 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-2.cnf.o3894030 70 1000 0 1000 43 43
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-3.cnf 86.627 OPTIMUM_FOUND 45 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-3.cnf.o3894031 70 1000 0 1000 45 45
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-4.cnf 127.057 OPTIMUM_FOUND 47 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-4.cnf.o3894032 70 1000 0 1000 47 47
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-5.cnf 52.247 OPTIMUM_FOUND 42 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-5.cnf.o3894033 70 1000 0 1000 42 42
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-6.cnf 292.580 OPTIMUM_FOUND 50 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-6.cnf.o3894034 70 1000 0 1000 50 50
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-7.cnf 203.185 OPTIMUM_FOUND 49 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-7.cnf.o3894035 70 1000 0 1000 49 49
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-8.cnf 263.596 OPTIMUM_FOUND 48 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-8.cnf.o3894036 70 1000 0 1000 48 48
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1000-9.cnf 344.322 OPTIMUM_FOUND 49 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1000-9.cnf.o3894037 70 1000 0 1000 49 49
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-1.cnf 333.801 OPTIMUM_FOUND 56 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-1.cnf.o3894038 70 1100 0 1100 56 56
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-10.cnf 499.314 OPTIMUM_FOUND 58 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-10.cnf.o3894039 70 1100 0 1100 58 58
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-2.cnf 249.402 OPTIMUM_FOUND 55 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-2.cnf.o3894040 70 1100 0 1100 55 55
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-3.cnf 139.111 OPTIMUM_FOUND 53 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-3.cnf.o3894041 70 1100 0 1100 53 53
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-4.cnf 170.093 OPTIMUM_FOUND 52 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-4.cnf.o3894042 70 1100 0 1100 52 52
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-5.cnf 212.323 OPTIMUM_FOUND 53 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-5.cnf.o3894043 70 1100 0 1100 53 53
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-6.cnf 243.275 OPTIMUM_FOUND 53 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-6.cnf.o3894044 70 1100 0 1100 53 53
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-7.cnf 173.980 OPTIMUM_FOUND 53 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-7.cnf.o3894045 70 1100 0 1100 53 53
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-8.cnf 95.520 OPTIMUM_FOUND 51 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-8.cnf.o3894046 70 1100 0 1100 51 51
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-9.cnf 43.841 OPTIMUM_FOUND 48 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-9.cnf.o3894047 70 1100 0 1100 48 48
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-1.cnf 738.351 OPTIMUM_FOUND 66 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-1.cnf.o3894048 70 1200 0 1200 66 66
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-10.cnf 428.160 OPTIMUM_FOUND 63 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-10.cnf.o3894049 70 1200 0 1200 63 63
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-2.cnf 423.276 OPTIMUM_FOUND 63 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-2.cnf.o3894050 70 1200 0 1200 63 63
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-3.cnf 688.390 OPTIMUM_FOUND 65 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-3.cnf.o3894051 70 1200 0 1200 65 65
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-4.cnf 988.445 OPTIMUM_FOUND 67 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-4.cnf.o3894052 70 1200 0 1200 67 67
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-5.cnf 541.116 OPTIMUM_FOUND 65 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-5.cnf.o3894053 70 1200 0 1200 65 65
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-6.cnf 590.588 OPTIMUM_FOUND 66 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-6.cnf.o3894054 70 1200 0 1200 66 66
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-7.cnf 342.061 OPTIMUM_FOUND 62 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-7.cnf.o3894055 70 1200 0 1200 62 62
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-8.cnf 368.372 OPTIMUM_FOUND 63 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-8.cnf.o3894056 70 1200 0 1200 63 63
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-9.cnf 238.507 OPTIMUM_FOUND 61 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1200-9.cnf.o3894057 70 1200 0 1200 61 61
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-1.cnf 41.813 OPTIMUM_FOUND 31 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-1.cnf.o3894058 70 800 0 800 31 31
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-10.cnf 23.788 OPTIMUM_FOUND 30 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-10.cnf.o3894059 70 800 0 800 30 30
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-2.cnf 98.122 OPTIMUM_FOUND 34 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-2.cnf.o3894060 70 800 0 800 34 34
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-3.cnf 18.953 OPTIMUM_FOUND 30 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-3.cnf.o3894061 70 800 0 800 30 30
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-4.cnf 15.582 OPTIMUM_FOUND 28 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-4.cnf.o3894062 70 800 0 800 28 28
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-5.cnf 27.088 OPTIMUM_FOUND 31 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-5.cnf.o3894063 70 800 0 800 31 31
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-6.cnf 26.106 OPTIMUM_FOUND 30 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-6.cnf.o3894064 70 800 0 800 30 30
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-7.cnf 35.365 OPTIMUM_FOUND 31 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-7.cnf.o3894065 70 800 0 800 31 31
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-8.cnf 65.533 OPTIMUM_FOUND 34 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-8.cnf.o3894066 70 800 0 800 34 34
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c800-9.cnf 33.715 OPTIMUM_FOUND 32 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c800-9.cnf.o3894067 70 800 0 800 32 32
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-1.cnf 82.415 OPTIMUM_FOUND 39 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-1.cnf.o3894068 70 900 0 900 39 39
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-10.cnf 83.142 OPTIMUM_FOUND 39 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-10.cnf.o3894069 70 900 0 900 39 39
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-2.cnf 64.321 OPTIMUM_FOUND 38 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-2.cnf.o3894070 70 900 0 900 38 38
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-3.cnf 55.859 OPTIMUM_FOUND 39 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-3.cnf.o3894071 70 900 0 900 39 39
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-4.cnf 59.419 OPTIMUM_FOUND 39 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-4.cnf.o3894072 70 900 0 900 39 39
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-5.cnf 96.006 OPTIMUM_FOUND 40 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-5.cnf.o3894073 70 900 0 900 40 40
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-6.cnf 135.537 OPTIMUM_FOUND 41 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-6.cnf.o3894074 70 900 0 900 41 41
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-7.cnf 103.971 OPTIMUM_FOUND 40 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-7.cnf.o3894075 70 900 0 900 40 40
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-8.cnf 144.866 OPTIMUM_FOUND 42 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-8.cnf.o3894076 70 900 0 900 42 42
/home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c900-9.cnf 27.376 OPTIMUM_FOUND 35 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c900-9.cnf.o3894077 70 900 0 900 35 35
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-1.cnf 589.219 OPTIMUM_FOUND 44 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-1.cnf.o3894078 80 1000 0 1000 44 44
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-10.cnf 204.061 OPTIMUM_FOUND 39 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-10.cnf.o3894079 80 1000 0 1000 39 39
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-2.cnf 465.576 OPTIMUM_FOUND 43 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-2.cnf.o3894080 80 1000 0 1000 43 43
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-3.cnf 277.572 OPTIMUM_FOUND 39 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-3.cnf.o3894081 80 1000 0 1000 39 39
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-4.cnf 1073.314 OPTIMUM_FOUND 45 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-4.cnf.o3894082 80 1000 0 1000 45 45
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-5.cnf 318.795 OPTIMUM_FOUND 41 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-5.cnf.o3894083 80 1000 0 1000 41 41
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-6.cnf 345.270 OPTIMUM_FOUND 40 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-6.cnf.o3894084 80 1000 0 1000 40 40
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-7.cnf 256.102 OPTIMUM_FOUND 40 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-7.cnf.o3894085 80 1000 0 1000 40 40
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-8.cnf 535.281 OPTIMUM_FOUND 41 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-8.cnf.o3894086 80 1000 0 1000 41 41
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-9.cnf 234.104 OPTIMUM_FOUND 38 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-9.cnf.o3894087 80 1000 0 1000 38 38
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-1.cnf 16.230 OPTIMUM_FOUND 14 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-1.cnf.o3894088 80 600 0 600 14 14
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-10.cnf 14.818 OPTIMUM_FOUND 15 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-10.cnf.o3894089 80 600 0 600 15 15
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-2.cnf 26.865 OPTIMUM_FOUND 16 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-2.cnf.o3894090 80 600 0 600 16 16
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-3.cnf 2.214 OPTIMUM_FOUND 11 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-3.cnf.o3894091 80 600 0 600 11 11
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-4.cnf 7.918 OPTIMUM_FOUND 13 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-4.cnf.o3894092 80 600 0 600 13 13
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-5.cnf 3.187 OPTIMUM_FOUND 12 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-5.cnf.o3894093 80 600 0 600 12 12
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-6.cnf 10.357 OPTIMUM_FOUND 14 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-6.cnf.o3894094 80 600 0 600 14 14
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-7.cnf 4.504 OPTIMUM_FOUND 12 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-7.cnf.o3894095 80 600 0 600 12 12
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-8.cnf 11.803 OPTIMUM_FOUND 15 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-8.cnf.o3894096 80 600 0 600 15 15
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-9.cnf 3.636 OPTIMUM_FOUND 12 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-9.cnf.o3894097 80 600 0 600 12 12
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-1.cnf 16.256 OPTIMUM_FOUND 19 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-1.cnf.o3894098 80 700 0 700 19 19
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-10.cnf 29.053 OPTIMUM_FOUND 19 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-10.cnf.o3894099 80 700 0 700 19 19
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-2.cnf 31.953 OPTIMUM_FOUND 20 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-2.cnf.o3894100 80 700 0 700 20 20
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-3.cnf 12.146 OPTIMUM_FOUND 18 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-3.cnf.o3894101 80 700 0 700 18 18
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-4.cnf 3.120 OPTIMUM_FOUND 15 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-4.cnf.o3894102 80 700 0 700 15 15
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-5.cnf 65.372 OPTIMUM_FOUND 21 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-5.cnf.o3894103 80 700 0 700 21 21
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-6.cnf 11.585 OPTIMUM_FOUND 18 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-6.cnf.o3894104 80 700 0 700 18 18
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-7.cnf 52.544 OPTIMUM_FOUND 21 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-7.cnf.o3894105 80 700 0 700 21 21
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-8.cnf 15.458 OPTIMUM_FOUND 19 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-8.cnf.o3894106 80 700 0 700 19 19
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c700-9.cnf 21.062 OPTIMUM_FOUND 18 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c700-9.cnf.o3894107 80 700 0 700 18 18
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-1.cnf 98.083 OPTIMUM_FOUND 28 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-1.cnf.o3894108 80 800 0 800 28 28
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-10.cnf 58.365 OPTIMUM_FOUND 27 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-10.cnf.o3894109 80 800 0 800 27 27
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-2.cnf 519.417 OPTIMUM_FOUND 32 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-2.cnf.o3894110 80 800 0 800 32 32
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-3.cnf 102.010 OPTIMUM_FOUND 27 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-3.cnf.o3894111 80 800 0 800 27 27
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-4.cnf 58.084 OPTIMUM_FOUND 26 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-4.cnf.o3894112 80 800 0 800 26 26
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-5.cnf 75.892 OPTIMUM_FOUND 27 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-5.cnf.o3894113 80 800 0 800 27 27
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-6.cnf 90.365 OPTIMUM_FOUND 28 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-6.cnf.o3894114 80 800 0 800 28 28
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-7.cnf 63.337 OPTIMUM_FOUND 27 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-7.cnf.o3894115 80 800 0 800 27 27
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-8.cnf 45.652 OPTIMUM_FOUND 25 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-8.cnf.o3894116 80 800 0 800 25 25
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c800-9.cnf 75.878 OPTIMUM_FOUND 26 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c800-9.cnf.o3894117 80 800 0 800 26 26
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-1.cnf 172.780 OPTIMUM_FOUND 35 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-1.cnf.o3894118 80 900 0 900 35 35
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-10.cnf 411.653 OPTIMUM_FOUND 35 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-10.cnf.o3894119 80 900 0 900 35 35
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-2.cnf 406.018 OPTIMUM_FOUND 37 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-2.cnf.o3894120 80 900 0 900 37 37
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-3.cnf 232.143 OPTIMUM_FOUND 34 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-3.cnf.o3894121 80 900 0 900 34 34
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-4.cnf 150.643 OPTIMUM_FOUND 35 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-4.cnf.o3894122 80 900 0 900 35 35
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-5.cnf 152.584 OPTIMUM_FOUND 32 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-5.cnf.o3894123 80 900 0 900 32 32
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-6.cnf 82.235 OPTIMUM_FOUND 31 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-6.cnf.o3894124 80 900 0 900 31 31
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-7.cnf 186.964 OPTIMUM_FOUND 34 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-7.cnf.o3894125 80 900 0 900 34 34
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-8.cnf 173.104 OPTIMUM_FOUND 33 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-8.cnf.o3894126 80 900 0 900 33 33
/home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c900-9.cnf 222.954 OPTIMUM_FOUND 36 -1 0 0 0 0 /home/maxsat/logs/ahmaxsat-ls-ms_random-COMPLETE-1800-3500-2-logs/log-ahmaxsat-ls-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c900-9.cnf.o3894127 80 900 0 900 36 36