| ?- verify(travel,_,travel).
[/home/nardine/mc/lcc_mcid/interaction_models/travel.lcc dynamically loaded, cpu time used: 0.0120 seconds]


****************************************************************
Verifying property "get_result" in interaction "travel"...
****************************************************************


Memory (total)         2447944 bytes:       709652 in use,      1738292 free
  permanent space       697592 bytes:       697592 in use,            0 free
    atom                                    124800
    string                                  161440
    asserted                                 20000
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        10548 in use,       775884 free
    global                                    9848 bytes
    local                                      700 bytes
  trail/cp space        786432 bytes:          904 in use,       785528 free
    trail                                      340 bytes
    choice point                               564 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space        46416 bytes:          608 in use,        45808 free

Tabling Operations
  0 subsumptive call check/insert ops: 0 producers, 0 variants,
  0 properly subsumed (0 table entries), 0 used completed table.
  0 relevant answer ident ops.  0 consumptions via answer list.
  3363 variant call check/insert ops: 2625 producers, 738 variants.
  1440 answer check/insert ops: 1403 unique inserts, 37 redundant.


   0 heap garbage collections by copying: collected 0 cells in 0.000000 secs

Time: 0.336 sec. cputime,  114.570 sec. elapsetime

Memory (total)         5209696 bytes:      3488088 in use,      1721608 free
  permanent space       697592 bytes:       697592 in use,            0 free
    atom                                    124800
    string                                  161440
    asserted                                 20000
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        10760 in use,       775672 free
    global                                   10060 bytes
    local                                      700 bytes
  trail/cp space        786432 bytes:          904 in use,       785528 free
    trail                                      340 bytes
    choice point                               564 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      2808168 bytes:      2778832 in use,        29336 free

Tabling Operations
  0 subsumptive call check/insert ops: 0 producers, 0 variants,
  0 properly subsumed (0 table entries), 0 used completed table.
  0 relevant answer ident ops.  0 consumptions via answer list.
  5942 variant call check/insert ops: 4739 producers, 1203 variants.
  2282 answer check/insert ops: 2243 unique inserts, 39 redundant.


   0 heap garbage collections by copying: collected 0 cells in 0.000000 secs

Time: 0.396 sec. cputime,  114.649 sec. elapsetime


****************************************************************
Verifying property "get_confirmation" in interaction "travel"...
****************************************************************


Memory (total)         5209824 bytes:      3490168 in use,      1719656 free
  permanent space       697720 bytes:       697720 in use,            0 free
    atom                                    124800
    string                                  161568
    asserted                                 20000
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        12604 in use,       773828 free
    global                                   11764 bytes
    local                                      840 bytes
  trail/cp space        786432 bytes:         1012 in use,       785420 free
    trail                                      400 bytes
    choice point                               612 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      2808168 bytes:      2778832 in use,        29336 free

Tabling Operations
  0 subsumptive call check/insert ops: 0 producers, 0 variants,
  0 properly subsumed (0 table entries), 0 used completed table.
  0 relevant answer ident ops.  0 consumptions via answer list.
  5942 variant call check/insert ops: 4739 producers, 1203 variants.
  2282 answer check/insert ops: 2243 unique inserts, 39 redundant.


   0 heap garbage collections by copying: collected 0 cells in 0.000000 secs

Time: 0.396 sec. cputime,  114.651 sec. elapsetime

Memory (total)         5391776 bytes:      3695468 in use,      1696308 free
  permanent space       697720 bytes:       697720 in use,            0 free
    atom                                    124800
    string                                  161568
    asserted                                 20000
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        12636 in use,       773796 free
    global                                   11776 bytes
    local                                      860 bytes
  trail/cp space        786432 bytes:         1012 in use,       785420 free
    trail                                      400 bytes
    choice point                               612 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      2990120 bytes:      2984100 in use,         6020 free

Tabling Operations
  0 subsumptive call check/insert ops: 0 producers, 0 variants,
  0 properly subsumed (0 table entries), 0 used completed table.
  0 relevant answer ident ops.  0 consumptions via answer list.
  6441 variant call check/insert ops: 5068 producers, 1373 variants.
  2409 answer check/insert ops: 2364 unique inserts, 45 redundant.


   0 heap garbage collections by copying: collected 0 cells in 0.000000 secs

Time: 0.404 sec. cputime,  114.665 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "get_confirmation" is NOT satisfied in interaction "travel"!
****************************************************************


no
| ?- 