 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
341 |
Condorcet-q.in
|
 |
- |
rw-r--r-- |
15,719 |
Condorcet-q.ref
|
 |
- |
rw-r--r-- |
329 |
Condorcet-v-sd-dd.in
|
 |
- |
rw-r--r-- |
13,863 |
Condorcet-v-sd-dd.ref
|
 |
- |
rw-r--r-- |
314 |
Condorcet-v-sd.in
|
 |
- |
rw-r--r-- |
13,666 |
Condorcet-v-sd.ref
|
 |
- |
rw-r--r-- |
304 |
Condorcet-v.in
|
 |
- |
rw-r--r-- |
13,666 |
Condorcet-v.ref
|
 |
- |
rw-r--r-- |
302 |
CondorcetSemi-q.in
|
 |
- |
rw-r--r-- |
17,241 |
CondorcetSemi-q.ref
|
 |
- |
rw-r--r-- |
371 |
Condorcet_1.in
|
 |
- |
rw-r--r-- |
14,889 |
Condorcet_1.ref
|
 |
- |
rw-r--r-- |
397 |
Condorcet_2.in
|
 |
- |
rw-r--r-- |
1,167 |
Condorcet_2.ref
|
 |
- |
rw-r--r-- |
353 |
Condorcet_3.in
|
 |
- |
rw-r--r-- |
659 |
Condorcet_3.ref
|
 |
- |
rw-r--r-- |
43,433 |
%5B1%2C5%2C5%2C5%2C6%2C7%2C7%5D%5B-1%2C1%2C2%2C3%2C4%2C5%2C6%5D.in
|
 |
- |
rw-r--r-- |
666 |
%5B1%2C5%2C5%2C5%2C6%2C7%2C7%5D%5B-1%2C1%2C2%2C3%2C4%2C5%2C6%5D.ref
|
 |
- |
rw-r--r-- |
43,431 |
%5B1%2C5%2C5%2C5%2C6%2C7%2C7%5D%5B0%2C1%2C2%2C3%2C4%2C5%2C6%5D.in
|
 |
- |
rw-r--r-- |
666 |
%5B1%2C5%2C5%2C5%2C6%2C7%2C7%5D%5B0%2C1%2C2%2C3%2C4%2C5%2C6%5D.ref
|
 |
- |
rw-r--r-- |
143 |
fourth_pol_ineq.in
|
 |
- |
rw-r--r-- |
836 |
fourth_pol_ineq.ref
|
 |
- |
rw-r--r-- |
385 |
j462-sd.in
|
 |
- |
rw-r--r-- |
666 |
j462-sd.ref
|
 |
- |
rw-r--r-- |
375 |
j462.in
|
 |
- |
rw-r--r-- |
741 |
j462.ref
|
 |
- |
rw-r--r-- |
134 |
more_lattpoints_test.in
|
 |
- |
rw-r--r-- |
6,055 |
more_lattpoints_test.ref
|
 |
- |
rw-r--r-- |
144 |
more_lattpoints_test_dual.in
|
 |
- |
rw-r--r-- |
5,727 |
more_lattpoints_test_dual.ref
|
 |
- |
rw-r--r-- |
146 |
more_lattpoints_test_primal.in
|
 |
- |
rw-r--r-- |
6,055 |
more_lattpoints_test_primal.ref
|
 |
- |
rw-r--r-- |
43,398 |
pet.in
|
 |
- |
rw-r--r-- |
1,239 |
pet.ref
|
 |
- |
rw-r--r-- |
43,390 |
pet_cong.in
|
 |
- |
rw-r--r-- |
1,239 |
pet_cong.ref
|
 |
- |
rw-r--r-- |
43,394 |
pet_lin.in
|
 |
- |
rw-r--r-- |
1,239 |
pet_lin.ref
|
 |
- |
rw-r--r-- |
43,413 |
pet_lin_weight.in
|
 |
- |
rw-r--r-- |
1,239 |
pet_lin_weight.ref
|
 |
- |
rw-r--r-- |
43,394 |
pet_weight.in
|
 |
- |
rw-r--r-- |
1,239 |
pet_weight.ref
|
 |
- |
rw-r--r-- |
137 |
rational-E-vert.in
|
 |
- |
rw-r--r-- |
3,016 |
rational-E-vert.ref
|
 |
- |
rw-r--r-- |
155 |
rational-E.in
|
 |
- |
rw-r--r-- |
2,888 |
rational-E.ref
|
 |
- |
rw-r--r-- |
104 |
rational-I-vert.in
|
 |
- |
rw-r--r-- |
684 |
rational-I-vert.ref
|
 |
- |
rw-r--r-- |
122 |
rational-I.in
|
 |
- |
rw-r--r-- |
556 |
rational-I.ref
|
 |
- |
rw-r--r-- |
124 |
rational-L.in
|
 |
- |
rw-r--r-- |
537 |
rational-L.ref
|
 |
- |
rw-r--r-- |
129 |
triv_integral-E-NGD.in
|
 |
- |
rw-r--r-- |
923 |
triv_integral-E-NGD.ref
|
 |
- |
rw-r--r-- |
133 |
triv_integral-E.in
|
 |
- |
rw-r--r-- |
709 |
triv_integral-E.ref
|
 |
- |
rw-r--r-- |
131 |
triv_integral-NGD.in
|
 |
- |
rw-r--r-- |
470 |
triv_integral-NGD.ref
|
 |
- |
rw-r--r-- |
147 |
triv_integral.in
|
 |
- |
rw-r--r-- |
477 |
triv_integral.ref
|
 |
- |
rw-r--r-- |
74 |
zero-E.in
|
 |
- |
rw-r--r-- |
1,176 |
zero-E.ref
|
 |
- |
rw-r--r-- |
71 |
zero-I.in
|
 |
- |
rw-r--r-- |
914 |
zero-I.ref
|
 |
- |
rw-r--r-- |
72 |
zero-L.in
|
 |
- |
rw-r--r-- |
901 |
zero-L.ref
|