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


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


Memory (total)         2218920 bytes:       490952 in use,      1727968 free
  permanent space       468824 bytes:       468824 in use,            0 free
    atom                                     93120
    string                                  118400
    asserted                                 15728
    compiled                                234592
    other                                     6984
  glob/loc space        786432 bytes:        20596 in use,       765836 free
    global                                   19492 bytes
    local                                     1104 bytes
  trail/cp space        786432 bytes:         1180 in use,       785252 free
    trail                                      616 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.020 sec. cputime,  34.398 sec. elapsetime

Memory (total)        61471656 bytes:     59767992 in use,      1703664 free
  permanent space       469848 bytes:       469848 in use,            0 free
    atom                                     94144
    string                                  118400
    asserted                                 15728
    compiled                                234592
    other                                     6984
  glob/loc space        786432 bytes:        20636 in use,       765796 free
    global                                   19532 bytes
    local                                     1104 bytes
  trail/cp space        786432 bytes:         1180 in use,       785252 free
    trail                                      616 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     59297872 bytes:     59276328 in use,        21544 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.
  25947 variant call check/insert ops: 17969 producers, 7978 variants.
  14935 answer check/insert ops: 14012 unique inserts, 923 redundant.


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

Time: 0.484 sec. cputime,  34.922 sec. elapsetime


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


Memory (total)        61471792 bytes:     59770520 in use,      1701272 free
  permanent space       469984 bytes:       469984 in use,            0 free
    atom                                     94144
    string                                  118536
    asserted                                 15728
    compiled                                234592
    other                                     6984
  glob/loc space        786432 bytes:        22920 in use,       763512 free
    global                                   21676 bytes
    local                                     1244 bytes
  trail/cp space        786432 bytes:         1288 in use,       785144 free
    trail                                      676 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     59297872 bytes:     59276328 in use,        21544 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.
  25947 variant call check/insert ops: 17969 producers, 7978 variants.
  14935 answer check/insert ops: 14012 unique inserts, 923 redundant.


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

Time: 0.484 sec. cputime,  34.924 sec. elapsetime


****************************************************************
Verifying property "timing(performer,civilian1,0,0,12)" in interaction "request_perform_actions"...
****************************************************************


Memory (total)        61485216 bytes:     59790396 in use,      1694820 free
  permanent space       483408 bytes:       483408 in use,            0 free
    atom                                     95936
    string                                  120328
    asserted                                 15728
    compiled                                244432
    other                                     6984
  glob/loc space        786432 bytes:        27016 in use,       759416 free
    global                                   25508 bytes
    local                                     1508 bytes
  trail/cp space        786432 bytes:         2148 in use,       784284 free
    trail                                      760 bytes
    choice point                              1388 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space     59297872 bytes:     59277824 in use,        20048 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.
  25951 variant call check/insert ops: 17973 producers, 7978 variants.
  14935 answer check/insert ops: 14012 unique inserts, 923 redundant.


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

Time: 0.488 sec. cputime,  34.926 sec. elapsetime

Memory (total)       214824288 bytes:    213108688 in use,      1715600 free
  permanent space       498416 bytes:       498416 in use,            0 free
    atom                                     97376
    string                                  122280
    asserted                                 15728
    compiled                                251048
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        27028 in use,       759404 free
    global                                   25520 bytes
    local                                     1508 bytes
  trail/cp space        786432 bytes:         2148 in use,       784284 free
    trail                                      760 bytes
    choice point                              1388 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space    212621936 bytes:    212581096 in use,        40840 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.
  165938 variant call check/insert ops: 105359 producers, 60579 variants.
  122603 answer check/insert ops: 106342 unique inserts, 16261 redundant.


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

Time: 2.572 sec. cputime,  37.105 sec. elapsetime


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



****************************************************************
Verifying property "timing(performer,civilian1,0,0,12)" in interaction "request_perform_actions"...
****************************************************************


Memory (total)       224779960 bytes:    223101956 in use,      1678004 free
  permanent space       498416 bytes:       498416 in use,            0 free
    atom                                     97376
    string                                  122280
    asserted                                 15728
    compiled                                251048
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        26964 in use,       759468 free
    global                                   25460 bytes
    local                                     1504 bytes
  trail/cp space        786432 bytes:         2160 in use,       784272 free
    trail                                      772 bytes
    choice point                              1388 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space    222577608 bytes:    222574416 in use,         3192 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.
  180053 variant call check/insert ops: 113626 producers, 66427 variants.
  145641 answer check/insert ops: 121435 unique inserts, 24206 redundant.


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

Time: 2.788 sec. cputime,  37.332 sec. elapsetime

Memory (total)       224779960 bytes:    223101968 in use,      1677992 free
  permanent space       498416 bytes:       498416 in use,            0 free
    atom                                     97376
    string                                  122280
    asserted                                 15728
    compiled                                251048
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        26976 in use,       759456 free
    global                                   25472 bytes
    local                                     1504 bytes
  trail/cp space        786432 bytes:         2160 in use,       784272 free
    trail                                      772 bytes
    choice point                              1388 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space    222577608 bytes:    222574416 in use,         3192 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.
  180054 variant call check/insert ops: 113626 producers, 66428 variants.
  145641 answer check/insert ops: 121435 unique inserts, 24206 redundant.


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

Time: 2.796 sec. cputime,  37.338 sec. elapsetime


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


Memory (total)       224779960 bytes:    223097084 in use,      1682876 free
  permanent space       498416 bytes:       498416 in use,            0 free
    atom                                     97376
    string                                  122280
    asserted                                 15728
    compiled                                251048
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        22932 in use,       763500 free
    global                                   21688 bytes
    local                                     1244 bytes
  trail/cp space        786432 bytes:         1288 in use,       785144 free
    trail                                      676 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    222577608 bytes:    222574448 in use,         3160 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.
  180054 variant call check/insert ops: 113626 producers, 66428 variants.
  145642 answer check/insert ops: 121436 unique inserts, 24206 redundant.


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

Time: 2.800 sec. cputime,  37.346 sec. elapsetime


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


Memory (total)       224780104 bytes:    223099692 in use,      1680412 free
  permanent space       498560 bytes:       498560 in use,            0 free
    atom                                     97376
    string                                  122424
    asserted                                 15728
    compiled                                251048
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        25288 in use,       761144 free
    global                                   23904 bytes
    local                                     1384 bytes
  trail/cp space        786432 bytes:         1396 in use,       785036 free
    trail                                      736 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    222577608 bytes:    222574448 in use,         3160 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.
  180054 variant call check/insert ops: 113626 producers, 66428 variants.
  145642 answer check/insert ops: 121436 unique inserts, 24206 redundant.


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

Time: 2.808 sec. cputime,  37.362 sec. elapsetime


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


Memory (total)       224780264 bytes:    223103876 in use,      1676388 free
  permanent space       498720 bytes:       498720 in use,            0 free
    atom                                     97376
    string                                  122584
    asserted                                 15728
    compiled                                251048
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        28028 in use,       758404 free
    global                                   26432 bytes
    local                                     1596 bytes
  trail/cp space        786432 bytes:         2008 in use,       784424 free
    trail                                      808 bytes
    choice point                              1200 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           64 in use,        65472 free
  SLG table space    222577608 bytes:    222575120 in use,         2488 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.
  180057 variant call check/insert ops: 113629 producers, 66428 variants.
  145642 answer check/insert ops: 121436 unique inserts, 24206 redundant.


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

Time: 2.812 sec. cputime,  37.368 sec. elapsetime

Memory (total)       296122168 bytes:    294408148 in use,      1714020 free
  permanent space       500776 bytes:       500776 in use,            0 free
    atom                                     97536
    string                                  123288
    asserted                                 15728
    compiled                                252240
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        28212 in use,       758220 free
    global                                   26616 bytes
    local                                     1596 bytes
  trail/cp space        786432 bytes:         2008 in use,       784424 free
    trail                                      808 bytes
    choice point                              1200 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           64 in use,        65472 free
  SLG table space    293917456 bytes:    293877152 in use,        40304 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.
  240824 variant call check/insert ops: 142207 producers, 98617 variants.
  189706 answer check/insert ops: 153935 unique inserts, 35771 redundant.


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

Time: 3.908 sec. cputime,  38.529 sec. elapsetime


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


Memory (total)       296122168 bytes:    294404744 in use,      1717424 free
  permanent space       500776 bytes:       500776 in use,            0 free
    atom                                     97536
    string                                  123288
    asserted                                 15728
    compiled                                252240
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        25300 in use,       761132 free
    global                                   23916 bytes
    local                                     1384 bytes
  trail/cp space        786432 bytes:         1396 in use,       785036 free
    trail                                      736 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    293917456 bytes:    293877272 in use,        40184 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.
  240824 variant call check/insert ops: 142207 producers, 98617 variants.
  189709 answer check/insert ops: 153938 unique inserts, 35771 redundant.


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

Time: 3.916 sec. cputime,  38.538 sec. elapsetime


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


yes
| ?- 