53 lines
1.4 KiB
Plaintext
53 lines
1.4 KiB
Plaintext
|
/tmp/clpq
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?- [library('clpqr/examples/mip')].
|
||
|
|
{consulting /freyung/christian/sicstus2.1.9.clp/library/clpqr/examples/mip.pl...}
|
||
|
|
{/freyung/christian/sicstus2.1.9.clp/library/clpqr/examples/mip.pl consulted, 2700 msec 97008 bytes}
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?- example(1).
|
||
|
|
incumbent(14,[1,2])
|
||
|
|
incumbent(13,[2,1])
|
||
|
|
1:13
|
||
|
|
%%% Timing 00:00:00.030 0.030
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?- example(2).
|
||
|
|
incumbent(-42,[0,2])
|
||
|
|
2:-42
|
||
|
|
%%% Timing 00:00:00.020 0.020
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?- example(flugpl).
|
||
|
|
incumbent(1202700,[71,70,70,60,60,0,8,7,16,6,6])
|
||
|
|
incumbent(1202400,[72,70,70,60,60,0,9,7,16,6,6])
|
||
|
|
incumbent(1202100,[73,70,70,60,60,0,10,7,16,6,6])
|
||
|
|
incumbent(1201800,[74,70,70,60,60,0,11,7,16,6,6])
|
||
|
|
incumbent(1201500,[75,70,70,60,60,0,12,7,16,6,6])
|
||
|
|
flugpl:1201500
|
||
|
|
%%% Timing 00:00:45.920 45.920
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?- example(flugplan).
|
||
|
|
incumbent(1202700,[70,7,70,8,71,0,6,60,6,60,16])
|
||
|
|
incumbent(1202400,[70,7,70,9,72,0,6,60,6,60,16])
|
||
|
|
incumbent(1202100,[70,7,70,10,73,0,6,60,6,60,16])
|
||
|
|
incumbent(1201800,[70,7,70,11,74,0,6,60,6,60,16])
|
||
|
|
incumbent(1201500,[70,7,70,12,75,0,6,60,6,60,16])
|
||
|
|
flugplan:1201500
|
||
|
|
%%% Timing 00:00:19.230 19.230
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?- example(sample2).
|
||
|
|
incumbent(450,[0,0,1,1,0,0,1,0,1,0,0,0,0,0,1,0,0,1,0,1,0])
|
||
|
|
incumbent(430,[0,0,1,0,0,0,1,0,1,0,1,0,0,1,1,1,0,0,0,1,0])
|
||
|
|
incumbent(400,[0,0,1,0,0,0,1,1,0,0,1,0,0,1,1,0,1,0,0,1,0])
|
||
|
|
incumbent(385,[0,0,1,0,0,0,1,0,1,0,1,1,0,0,1,0,0,1,0,1,0])
|
||
|
|
incumbent(375,[0,1,0,0,0,1,1,0,1,0,1,1,0,0,0,0,0,0,1,0,0])
|
||
|
|
sample2:375
|
||
|
|
%%% Timing 00:00:58.940 58.940
|
||
|
|
|
||
|
|
yes
|
||
|
|
| ?-
|