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


****************************************************************
Verifying property "all_actions_performed" in interaction "request_perform_actions"...
****************************************************************


Memory (total)         2373768 bytes:       683556 in use,      1690212 free
  permanent space       669624 bytes:       669624 in use,            0 free
    atom                                    120832
    string                                  158880
    asserted                                 14224
    compiled                                368704
    other                                     6984
  glob/loc space        786432 bytes:        12660 in use,       773772 free
    global                                   11976 bytes
    local                                      684 bytes
  trail/cp space        786432 bytes:         1064 in use,       785368 free
    trail                                      340 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.068 sec. cputime,  2.852 sec. elapsetime

[/home/nardine/mc/lcc_mcid/interaction_models/info_sharing.lcc dynamically loaded, cpu time used: 0.0000 seconds]


****************************************************************
Verifying property "terminates(a(inquirer(_h0,_h1),_h2))" in interaction "info_sharing"...
****************************************************************


Memory (total)         2177224 bytes:       485376 in use,      1691848 free
  permanent space       473080 bytes:       473080 in use,            0 free
    atom                                     94176
    string                                  121920
    asserted                                 10672
    compiled                                239728
    other                                     6584
  glob/loc space        786432 bytes:        11084 in use,       775348 free
    global                                   10448 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.012 sec. cputime,  0.035 sec. elapsetime

Memory (total)         3939560 bytes:      2206032 in use,      1733528 free
  permanent space       483424 bytes:       483424 in use,            0 free
    atom                                     95360
    string                                  122976
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        11108 in use,       775324 free
    global                                   10472 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1752200 bytes:      1710496 in use,        41704 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.
  2021 variant call check/insert ops: 1703 producers, 318 variants.
  1289 answer check/insert ops: 1254 unique inserts, 35 redundant.


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

Time: 0.032 sec. cputime,  0.065 sec. elapsetime


****************************************************************
Verifying property "realises_goal(in(answer(_h0),a(responder,_h1)))" in interaction "info_sharing"...
****************************************************************


Memory (total)         3939816 bytes:      2210112 in use,      1729704 free
  permanent space       483680 bytes:       483680 in use,            0 free
    atom                                     95360
    string                                  123232
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        14824 in use,       771608 free
    global                                   14048 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1752200 bytes:      1710496 in use,        41704 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.
  2021 variant call check/insert ops: 1703 producers, 318 variants.
  1289 answer check/insert ops: 1254 unique inserts, 35 redundant.


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

Time: 0.032 sec. cputime,  0.072 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "realises_goal(in(answer(_h0),a(responder,_h1)))" is NOT satisfied in interaction "info_sharing"!
****************************************************************


Memory (total)         3985672 bytes:      2266568 in use,      1719104 free
  permanent space       484048 bytes:       484048 in use,            0 free
    atom                                     95360
    string                                  123600
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        14832 in use,       771600 free
    global                                   14048 bytes
    local                                      784 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1797688 bytes:      1766576 in use,        31112 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.
  2138 variant call check/insert ops: 1781 producers, 357 variants.
  1323 answer check/insert ops: 1286 unique inserts, 37 redundant.


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

Time: 0.032 sec. cputime,  0.078 sec. elapsetime

no
halt.

End XSB (cputime 0.04 secs, elapsetime 1.72 secs)

[/home/nardine/mc/lcc_mcid/interaction_models/route_service.lcc dynamically loaded, cpu time used: 0.0000 seconds]


****************************************************************
Verifying property "terminates(a(route_finder(_h0,_h1,_h2,_h3,_h4),_h5))" in interaction "route_service"...
****************************************************************


Memory (total)         2173856 bytes:       482868 in use,      1690988 free
  permanent space       469712 bytes:       469712 in use,            0 free
    atom                                     93856
    string                                  121632
    asserted                                  7872
    compiled                                239768
    other                                     6584
  glob/loc space        786432 bytes:        11944 in use,       774488 free
    global                                   11308 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.016 sec. cputime,  0.095 sec. elapsetime

Memory (total)         2276760 bytes:       580560 in use,      1696200 free
  permanent space       480120 bytes:       480120 in use,            0 free
    atom                                     95104
    string                                  122688
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        11980 in use,       774452 free
    global                                   11344 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space        92704 bytes:        87456 in use,         5248 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.
  115 variant call check/insert ops: 105 producers, 10 variants.
  84 answer check/insert ops: 83 unique inserts, 1 redundant.


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

Time: 0.020 sec. cputime,  0.098 sec. elapsetime


****************************************************************
Verifying property "realises_goal(in(route(_h0),a(route_service,_h1)))" in interaction "route_service"...
****************************************************************


Memory (total)         2277024 bytes:       584808 in use,      1692216 free
  permanent space       480384 bytes:       480384 in use,            0 free
    atom                                     95104
    string                                  122952
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        15856 in use,       770576 free
    global                                   15080 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space        92704 bytes:        87456 in use,         5248 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.
  115 variant call check/insert ops: 105 producers, 10 variants.
  84 answer check/insert ops: 83 unique inserts, 1 redundant.


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

Time: 0.020 sec. cputime,  0.099 sec. elapsetime

Memory (total)         2319832 bytes:       607676 in use,      1712156 free
  permanent space       480416 bytes:       480416 in use,            0 free
    atom                                     95136
    string                                  122952
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        15876 in use,       770556 free
    global                                   15100 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space       135480 bytes:       110272 in use,        25208 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.
  157 variant call check/insert ops: 133 producers, 24 variants.
  111 answer check/insert ops: 110 unique inserts, 1 redundant.


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

Time: 0.020 sec. cputime,  0.100 sec. elapsetime


****************************************************************
VERIFICATION HAS COMPLETED SUCCESSFULLY...
****************************************************************


End XSB (cputime 0.02 secs, elapsetime 0.11 secs)

[/home/nardine/mc/lcc_mcid/interaction_models/info_sharing.lcc dynamically loaded, cpu time used: 0.0000 seconds]


****************************************************************
Verifying property "terminates(a(inquirer(_h0,_h1),_h2))" in interaction "info_sharing"...
****************************************************************


Memory (total)         2177224 bytes:       485376 in use,      1691848 free
  permanent space       473080 bytes:       473080 in use,            0 free
    atom                                     94176
    string                                  121920
    asserted                                 10672
    compiled                                239728
    other                                     6584
  glob/loc space        786432 bytes:        11084 in use,       775348 free
    global                                   10448 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.020 sec. cputime,  0.018 sec. elapsetime

Memory (total)         3939560 bytes:      2206032 in use,      1733528 free
  permanent space       483424 bytes:       483424 in use,            0 free
    atom                                     95360
    string                                  122976
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        11108 in use,       775324 free
    global                                   10472 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1752200 bytes:      1710496 in use,        41704 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.
  2021 variant call check/insert ops: 1703 producers, 318 variants.
  1289 answer check/insert ops: 1254 unique inserts, 35 redundant.


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

Time: 0.044 sec. cputime,  0.048 sec. elapsetime


****************************************************************
Verifying property "realises_goal(in(answer(_h0),a(responder,_h1)))" in interaction "info_sharing"...
****************************************************************


Memory (total)         3939816 bytes:      2210112 in use,      1729704 free
  permanent space       483680 bytes:       483680 in use,            0 free
    atom                                     95360
    string                                  123232
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        14824 in use,       771608 free
    global                                   14048 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1752200 bytes:      1710496 in use,        41704 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.
  2021 variant call check/insert ops: 1703 producers, 318 variants.
  1289 answer check/insert ops: 1254 unique inserts, 35 redundant.


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

Time: 0.044 sec. cputime,  0.049 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "realises_goal(in(answer(_h0),a(responder,_h1)))" is NOT satisfied in interaction "info_sharing"!
****************************************************************


Memory (total)         3985672 bytes:      2266568 in use,      1719104 free
  permanent space       484048 bytes:       484048 in use,            0 free
    atom                                     95360
    string                                  123600
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        14832 in use,       771600 free
    global                                   14048 bytes
    local                                      784 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1797688 bytes:      1766576 in use,        31112 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.
  2138 variant call check/insert ops: 1781 producers, 357 variants.
  1323 answer check/insert ops: 1286 unique inserts, 37 redundant.


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

Time: 0.044 sec. cputime,  0.051 sec. elapsetime

no
halt.

End XSB (cputime 0.04 secs, elapsetime 1.62 secs)

[/home/nardine/mc/lcc_mcid/interaction_models/route_service.lcc dynamically loaded, cpu time used: 0.0000 seconds]


****************************************************************
Verifying property "terminates(a(route_finder(_h0,_h1,_h2,_h3,_h4),_h5))" in interaction "route_service"...
****************************************************************


Memory (total)         2173856 bytes:       482868 in use,      1690988 free
  permanent space       469712 bytes:       469712 in use,            0 free
    atom                                     93856
    string                                  121632
    asserted                                  7872
    compiled                                239768
    other                                     6584
  glob/loc space        786432 bytes:        11944 in use,       774488 free
    global                                   11308 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.016 sec. cputime,  0.017 sec. elapsetime

Memory (total)         2276760 bytes:       580560 in use,      1696200 free
  permanent space       480120 bytes:       480120 in use,            0 free
    atom                                     95104
    string                                  122688
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        11980 in use,       774452 free
    global                                   11344 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space        92704 bytes:        87456 in use,         5248 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.
  115 variant call check/insert ops: 105 producers, 10 variants.
  84 answer check/insert ops: 83 unique inserts, 1 redundant.


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

Time: 0.016 sec. cputime,  0.019 sec. elapsetime


****************************************************************
Verifying property "realises_goal(in(route(_h0),a(route_service,_h1)))" in interaction "route_service"...
****************************************************************


Memory (total)         2277024 bytes:       584808 in use,      1692216 free
  permanent space       480384 bytes:       480384 in use,            0 free
    atom                                     95104
    string                                  122952
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        15856 in use,       770576 free
    global                                   15080 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space        92704 bytes:        87456 in use,         5248 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.
  115 variant call check/insert ops: 105 producers, 10 variants.
  84 answer check/insert ops: 83 unique inserts, 1 redundant.


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

Time: 0.016 sec. cputime,  0.024 sec. elapsetime

Memory (total)         2319832 bytes:       607676 in use,      1712156 free
  permanent space       480416 bytes:       480416 in use,            0 free
    atom                                     95136
    string                                  122952
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        15876 in use,       770556 free
    global                                   15100 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space       135480 bytes:       110272 in use,        25208 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.
  157 variant call check/insert ops: 133 producers, 24 variants.
  111 answer check/insert ops: 110 unique inserts, 1 redundant.


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

Time: 0.016 sec. cputime,  0.025 sec. elapsetime


****************************************************************
VERIFICATION HAS COMPLETED SUCCESSFULLY...
****************************************************************


End XSB (cputime 0.02 secs, elapsetime 0.03 secs)

[/home/nardine/mc/lcc_mcid/interaction_models/info_sharing.lcc dynamically loaded, cpu time used: 0.0040 seconds]


****************************************************************
Verifying property "terminates(a(inquirer(_h0,_h1),_h2))" in interaction "info_sharing"...
****************************************************************


Memory (total)         2177224 bytes:       485376 in use,      1691848 free
  permanent space       473080 bytes:       473080 in use,            0 free
    atom                                     94176
    string                                  121920
    asserted                                 10672
    compiled                                239728
    other                                     6584
  glob/loc space        786432 bytes:        11084 in use,       775348 free
    global                                   10448 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.012 sec. cputime,  0.018 sec. elapsetime

Memory (total)         3939560 bytes:      2206032 in use,      1733528 free
  permanent space       483424 bytes:       483424 in use,            0 free
    atom                                     95360
    string                                  122976
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        11108 in use,       775324 free
    global                                   10472 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1752200 bytes:      1710496 in use,        41704 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.
  2021 variant call check/insert ops: 1703 producers, 318 variants.
  1289 answer check/insert ops: 1254 unique inserts, 35 redundant.


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

Time: 0.032 sec. cputime,  0.048 sec. elapsetime


****************************************************************
Verifying property "realises_goal(in(answer(_h0),a(responder,_h1)))" in interaction "info_sharing"...
****************************************************************


Memory (total)         3939816 bytes:      2210112 in use,      1729704 free
  permanent space       483680 bytes:       483680 in use,            0 free
    atom                                     95360
    string                                  123232
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        14824 in use,       771608 free
    global                                   14048 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1752200 bytes:      1710496 in use,        41704 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.
  2021 variant call check/insert ops: 1703 producers, 318 variants.
  1289 answer check/insert ops: 1254 unique inserts, 35 redundant.


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

Time: 0.032 sec. cputime,  0.049 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "realises_goal(in(answer(_h0),a(responder,_h1)))" is NOT satisfied in interaction "info_sharing"!
****************************************************************


Memory (total)         3985672 bytes:      2266568 in use,      1719104 free
  permanent space       484048 bytes:       484048 in use,            0 free
    atom                                     95360
    string                                  123600
    asserted                                 10672
    compiled                                242832
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        14832 in use,       771600 free
    global                                   14048 bytes
    local                                      784 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space      1797688 bytes:      1766576 in use,        31112 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.
  2138 variant call check/insert ops: 1781 producers, 357 variants.
  1323 answer check/insert ops: 1286 unique inserts, 37 redundant.


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

Time: 0.036 sec. cputime,  0.051 sec. elapsetime

no
halt.

End XSB (cputime 0.04 secs, elapsetime 3.32 secs)

[/home/nardine/mc/lcc_mcid/interaction_models/route_service.lcc dynamically loaded, cpu time used: 0.0000 seconds]


****************************************************************
Verifying property "terminates(a(route_finder(_h0,_h1,_h2,_h3,_h4),_h5))" in interaction "route_service"...
****************************************************************


Memory (total)         2173856 bytes:       482868 in use,      1690988 free
  permanent space       469712 bytes:       469712 in use,            0 free
    atom                                     93856
    string                                  121632
    asserted                                  7872
    compiled                                239768
    other                                     6584
  glob/loc space        786432 bytes:        11944 in use,       774488 free
    global                                   11308 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space          208 bytes:          208 in use,            0 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.
  0 variant call check/insert ops: 0 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.016 sec. cputime,  0.017 sec. elapsetime

Memory (total)         2276760 bytes:       580560 in use,      1696200 free
  permanent space       480120 bytes:       480120 in use,            0 free
    atom                                     95104
    string                                  122688
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        11980 in use,       774452 free
    global                                   11344 bytes
    local                                      636 bytes
  trail/cp space        786432 bytes:         1004 in use,       785428 free
    trail                                      328 bytes
    choice point                               676 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space        92704 bytes:        87456 in use,         5248 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.
  115 variant call check/insert ops: 105 producers, 10 variants.
  84 answer check/insert ops: 83 unique inserts, 1 redundant.


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

Time: 0.020 sec. cputime,  0.019 sec. elapsetime


****************************************************************
Verifying property "realises_goal(in(route(_h0),a(route_service,_h1)))" in interaction "route_service"...
****************************************************************


Memory (total)         2277024 bytes:       584808 in use,      1692216 free
  permanent space       480384 bytes:       480384 in use,            0 free
    atom                                     95104
    string                                  122952
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        15856 in use,       770576 free
    global                                   15080 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space        92704 bytes:        87456 in use,         5248 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.
  115 variant call check/insert ops: 105 producers, 10 variants.
  84 answer check/insert ops: 83 unique inserts, 1 redundant.


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

Time: 0.020 sec. cputime,  0.020 sec. elapsetime

Memory (total)         2319832 bytes:       607676 in use,      1712156 free
  permanent space       480416 bytes:       480416 in use,            0 free
    atom                                     95136
    string                                  122952
    asserted                                  7872
    compiled                                242872
    findall                                   5000
    other                                     6584
  glob/loc space        786432 bytes:        15876 in use,       770556 free
    global                                   15100 bytes
    local                                      776 bytes
  trail/cp space        786432 bytes:         1112 in use,       785320 free
    trail                                      388 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space       135480 bytes:       110272 in use,        25208 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.
  157 variant call check/insert ops: 133 producers, 24 variants.
  111 answer check/insert ops: 110 unique inserts, 1 redundant.


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

Time: 0.020 sec. cputime,  0.025 sec. elapsetime


****************************************************************
VERIFICATION HAS COMPLETED SUCCESSFULLY...
****************************************************************


End XSB (cputime 0.02 secs, elapsetime 0.03 secs)

Memory (total)       174229648 bytes:    172498728 in use,      1730920 free
  permanent space       702872 bytes:       702872 in use,            0 free
    atom                                    125376
    string                                  165208
    asserted                                 14224
    compiled                                386080
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        12964 in use,       773468 free
    global                                   12280 bytes
    local                                      684 bytes
  trail/cp space        786432 bytes:         1064 in use,       785368 free
    trail                                      340 bytes
    choice point                               724 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space    171822840 bytes:    171781828 in use,        41012 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.
  97677 variant call check/insert ops: 58392 producers, 39285 variants.
  78575 answer check/insert ops: 63031 unique inserts, 15544 redundant.


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

Time: 1.748 sec. cputime,  12.223 sec. elapsetime


****************************************************************
VERIFICATION HAS COMPLETED SUCCESSFULLY...
****************************************************************


yes
| ?- 
