-
Notifications
You must be signed in to change notification settings - Fork 0
/
readable_results_4sat.txt
64 lines (64 loc) · 4.06 KB
/
readable_results_4sat.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
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-V100-C900-19.cnf
[4, 100, 900, 900, (839, 858, 849.90909090909088, 850.0), (840, 852, 846.90909090909088, 847.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-V100-C900-20.cnf
[4, 100, 900, 900, (839, 858, 848.81818181818187, 849.0), (837, 855, 845.4545454545455, 844.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-V100-C900-4.cnf
[4, 100, 900, 900, (842, 855, 849.27272727272725, 850.0), (839, 854, 846.18181818181813, 847.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-1.cnf
[4, 150, 1350, 1350, (1253, 1277, 1268.2727272727273, 1268.0), (1255, 1274, 1263.8181818181818, 1264.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-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-11.cnf
[4, 150, 1350, 1350, (1264, 1285, 1277.1818181818182, 1279.0), (1258, 1284, 1271.4545454545455, 1271.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-13.cnf
[4, 150, 1350, 1350, (1266, 1280, 1272.2727272727273, 1273.0), (1261, 1288, 1270.909090909091, 1269.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-15.cnf
[4, 150, 1350, 1350, (1261, 1283, 1271.5454545454545, 1269.0), (1249, 1274, 1261.3636363636363, 1260.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-17.cnf
[4, 150, 1350, 1350, (1269, 1289, 1276.909090909091, 1276.0), (1265, 1279, 1272.3636363636363, 1273.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-19.cnf
[4, 150, 1350, 1350, (1251, 1290, 1275.2727272727273, 1276.0), (1256, 1280, 1266.4545454545455, 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-20.cnf
[4, 150, 1350, 1350, (1271, 1286, 1276.0, 1275.0), (1253, 1280, 1268.2727272727273, 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-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-23.cnf
[4, 150, 1350, 1350, (1254, 1276, 1264.090909090909, 1264.0), (1252, 1283, 1269.6363636363637, 1270.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-3.cnf
[4, 150, 1350, 1350, (1258, 1280, 1270.6363636363637, 1270.0), (1258, 1277, 1269.3636363636363, 1268.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-5.cnf
[4, 150, 1350, 1350, (1269, 1283, 1276.4545454545455, 1279.0), (1256, 1278, 1266.0, 1264.0)]
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-7.cnf
[4, 150, 1350, 1350, (1259, 1281, 1273.0, 1273.0), (1261, 1286, 1274.909090909091, 1275.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-V150-C1350-9.cnf
[4, 150, 1350, 1350, (1264, 1288, 1277.8181818181818, 1278.0), (1258, 1284, 1268.090909090909, 1268.0)]