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


****************************************************************
Verifying property "trule_im2" in interaction "info_sharing"...
****************************************************************


Memory (total)         2211464 bytes:       469464 in use,      1742000 free
  permanent space       461368 bytes:       461368 in use,            0 free
    atom                                     92576
    string                                  117432
    asserted                                 10224
    compiled                                234152
    other                                     6984
  glob/loc space        786432 bytes:         6828 in use,       779604 free
    global                                    6176 bytes
    local                                      652 bytes
  trail/cp space        786432 bytes:          916 in use,       785516 free
    trail                                      352 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.024 sec. cputime,  13.187 sec. elapsetime


****************************************************************
Verifying property "get_all_replies" in interaction "info_sharing"...
****************************************************************


Memory (total)         2211600 bytes:       473352 in use,      1738248 free
  permanent space       461504 bytes:       461504 in use,            0 free
    atom                                     92576
    string                                  117568
    asserted                                 10224
    compiled                                234152
    other                                     6984
  glob/loc space        786432 bytes:         9140 in use,       777292 free
    global                                    8264 bytes
    local                                      876 bytes
  trail/cp space        786432 bytes:         1584 in use,       784848 free
    trail                                      424 bytes
    choice point                              1160 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           64 in use,        65472 free
  SLG table space        46160 bytes:         1124 in use,        45036 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.
  4 variant call check/insert ops: 4 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.024 sec. cputime,  13.189 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "get_all_replies" is NOT satisfied in interaction "info_sharing"!
****************************************************************


Memory (total)         2211904 bytes:       473768 in use,      1738136 free
  permanent space       461808 bytes:       461808 in use,            0 free
    atom                                     92576
    string                                  117872
    asserted                                 10224
    compiled                                234152
    other                                     6984
  glob/loc space        786432 bytes:         9148 in use,       777284 free
    global                                    8264 bytes
    local                                      884 bytes
  trail/cp space        786432 bytes:         1584 in use,       784848 free
    trail                                      424 bytes
    choice point                              1160 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           64 in use,        65472 free
  SLG table space        46160 bytes:         1228 in use,        44932 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.
  5 variant call check/insert ops: 5 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.024 sec. cputime,  13.190 sec. elapsetime


****************************************************************
Verifying property "get_all_replies" in interaction "info_sharing"...
****************************************************************


Memory (total)         2211904 bytes:       474408 in use,      1737496 free
  permanent space       461808 bytes:       461808 in use,            0 free
    atom                                     92576
    string                                  117872
    asserted                                 10224
    compiled                                234152
    other                                     6984
  glob/loc space        786432 bytes:         9176 in use,       777256 free
    global                                    8272 bytes
    local                                      904 bytes
  trail/cp space        786432 bytes:         1728 in use,       784704 free
    trail                                      436 bytes
    choice point                              1292 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space        46160 bytes:         1696 in use,        44464 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.
  7 variant call check/insert ops: 7 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.024 sec. cputime,  13.190 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "get_all_replies" is NOT satisfied in interaction "info_sharing"!
****************************************************************


Memory (total)         2211904 bytes:       474416 in use,      1737488 free
  permanent space       461808 bytes:       461808 in use,            0 free
    atom                                     92576
    string                                  117872
    asserted                                 10224
    compiled                                234152
    other                                     6984
  glob/loc space        786432 bytes:         9184 in use,       777248 free
    global                                    8272 bytes
    local                                      912 bytes
  trail/cp space        786432 bytes:         1728 in use,       784704 free
    trail                                      436 bytes
    choice point                              1292 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space        46160 bytes:         1696 in use,        44464 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.
  8 variant call check/insert ops: 7 producers, 1 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.024 sec. cputime,  13.191 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "trule_im2" is NOT satisfied in interaction "info_sharing"!
****************************************************************


Memory (total)         2212064 bytes:       471560 in use,      1740504 free
  permanent space       461968 bytes:       461968 in use,            0 free
    atom                                     92576
    string                                  118032
    asserted                                 10224
    compiled                                234152
    other                                     6984
  glob/loc space        786432 bytes:         6836 in use,       779596 free
    global                                    6176 bytes
    local                                      660 bytes
  trail/cp space        786432 bytes:          916 in use,       785516 free
    trail                                      352 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:         1840 in use,        44320 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.
  9 variant call check/insert ops: 8 producers, 1 variants.
  1 answer check/insert ops: 1 unique inserts, 0 redundant.


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

Time: 0.024 sec. cputime,  13.195 sec. elapsetime

no
| ?- 