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


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


Memory (total)         2432352 bytes:       696720 in use,      1735632 free
  permanent space       682256 bytes:       682256 in use,            0 free
    atom                                    122176
    string                                  159008
    asserted                                 19016
    compiled                                375072
    other                                     6984
  glob/loc space        786432 bytes:        12836 in use,       773596 free
    global                                   11656 bytes
    local                                     1180 bytes
  trail/cp space        786432 bytes:         1276 in use,       785156 free
    trail                                      712 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        46160 bytes:          352 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.
  1 variant call check/insert ops: 1 producers, 0 variants.
  0 answer check/insert ops: 0 unique inserts, 0 redundant.


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

Time: 0.244 sec. cputime,  10.672 sec. elapsetime

Memory (total)         4757880 bytes:      3046804 in use,      1711076 free
  permanent space       684048 bytes:       684048 in use,            0 free
    atom                                    123968
    string                                  159008
    asserted                                 19016
    compiled                                375072
    other                                     6984
  glob/loc space        786432 bytes:        12848 in use,       773584 free
    global                                   11668 bytes
    local                                     1180 bytes
  trail/cp space        786432 bytes:         1276 in use,       785156 free
    trail                                      712 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      2369896 bytes:      2348632 in use,        21264 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.
  2037 variant call check/insert ops: 1681 producers, 356 variants.
  636 answer check/insert ops: 630 unique inserts, 6 redundant.


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

Time: 0.296 sec. cputime,  10.735 sec. elapsetime


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


Memory (total)         4757984 bytes:      3048596 in use,      1709388 free
  permanent space       684152 bytes:       684152 in use,            0 free
    atom                                    123968
    string                                  159112
    asserted                                 19016
    compiled                                375072
    other                                     6984
  glob/loc space        786432 bytes:        14428 in use,       772004 free
    global                                   13108 bytes
    local                                     1320 bytes
  trail/cp space        786432 bytes:         1384 in use,       785048 free
    trail                                      772 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      2369896 bytes:      2348632 in use,        21264 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.
  2037 variant call check/insert ops: 1681 producers, 356 variants.
  636 answer check/insert ops: 630 unique inserts, 6 redundant.


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

Time: 0.296 sec. cputime,  10.736 sec. elapsetime

Memory (total)         5148160 bytes:      3443576 in use,      1704584 free
  permanent space       693864 bytes:       693864 in use,            0 free
    atom                                    124640
    string                                  160048
    asserted                                 19016
    compiled                                378176
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        14440 in use,       771992 free
    global                                   13120 bytes
    local                                     1320 bytes
  trail/cp space        786432 bytes:         1384 in use,       785048 free
    trail                                      772 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      2750360 bytes:      2733888 in use,        16472 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.
  2335 variant call check/insert ops: 1896 producers, 439 variants.
  860 answer check/insert ops: 848 unique inserts, 12 redundant.


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

Time: 0.304 sec. cputime,  10.753 sec. elapsetime


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


Memory (total)         5148264 bytes:      3445368 in use,      1702896 free
  permanent space       693968 bytes:       693968 in use,            0 free
    atom                                    124640
    string                                  160152
    asserted                                 19016
    compiled                                378176
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        16020 in use,       770412 free
    global                                   14560 bytes
    local                                     1460 bytes
  trail/cp space        786432 bytes:         1492 in use,       784940 free
    trail                                      832 bytes
    choice point                               660 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      2750360 bytes:      2733888 in use,        16472 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.
  2335 variant call check/insert ops: 1896 producers, 439 variants.
  860 answer check/insert ops: 848 unique inserts, 12 redundant.


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

Time: 0.304 sec. cputime,  10.754 sec. elapsetime

Memory (total)         5459936 bytes:      3738640 in use,      1721296 free
  permanent space       693968 bytes:       693968 in use,            0 free
    atom                                    124640
    string                                  160152
    asserted                                 19016
    compiled                                378176
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        16032 in use,       770400 free
    global                                   14572 bytes
    local                                     1460 bytes
  trail/cp space        786432 bytes:         1492 in use,       784940 free
    trail                                      832 bytes
    choice point                               660 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      3062032 bytes:      3027148 in use,        34884 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.
  2848 variant call check/insert ops: 2259 producers, 589 variants.
  1025 answer check/insert ops: 1003 unique inserts, 22 redundant.


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

Time: 0.316 sec. cputime,  10.782 sec. elapsetime


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


Memory (total)         5460040 bytes:      3740432 in use,      1719608 free
  permanent space       694072 bytes:       694072 in use,            0 free
    atom                                    124640
    string                                  160256
    asserted                                 19016
    compiled                                378176
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        17612 in use,       768820 free
    global                                   16012 bytes
    local                                     1600 bytes
  trail/cp space        786432 bytes:         1600 in use,       784832 free
    trail                                      892 bytes
    choice point                               708 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      3062032 bytes:      3027148 in use,        34884 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.
  2848 variant call check/insert ops: 2259 producers, 589 variants.
  1025 answer check/insert ops: 1003 unique inserts, 22 redundant.


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

Time: 0.316 sec. cputime,  10.798 sec. elapsetime

Memory (total)         5772904 bytes:      4071760 in use,      1701144 free
  permanent space       696128 bytes:       696128 in use,            0 free
    atom                                    124800
    string                                  160960
    asserted                                 19016
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        17644 in use,       768788 free
    global                                   16024 bytes
    local                                     1620 bytes
  trail/cp space        786432 bytes:         1600 in use,       784832 free
    trail                                      892 bytes
    choice point                               708 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           16 in use,        65520 free
  SLG table space      3372840 bytes:      3356388 in use,        16452 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.
  3362 variant call check/insert ops: 2624 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.324 sec. cputime,  10.815 sec. elapsetime


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


no
| ?-