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


****************************************************************
Verifying property "trule3" in interaction "vickrey"...
****************************************************************


Memory (total)         2454160 bytes:       733136 in use,      1721024 free
  permanent space       703808 bytes:       703808 in use,            0 free
    atom                                    125536
    string                                  163032
    asserted                                 23888
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        27564 in use,       758868 free
    global                                   26384 bytes
    local                                     1180 bytes
  trail/cp space        786432 bytes:         1156 in use,       785276 free
    trail                                      592 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.
  6442 variant call check/insert ops: 5069 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.412 sec. cputime,  199.967 sec. elapsetime

Memory (total)         2454160 bytes:       734948 in use,      1719212 free
  permanent space       703808 bytes:       703808 in use,            0 free
    atom                                    125536
    string                                  163032
    asserted                                 23888
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        27576 in use,       758856 free
    global                                   26396 bytes
    local                                     1180 bytes
  trail/cp space        786432 bytes:         1156 in use,       785276 free
    trail                                      592 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:         2408 in use,        44008 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.
  6447 variant call check/insert ops: 5074 producers, 1373 variants.
  2412 answer check/insert ops: 2367 unique inserts, 45 redundant.


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

Time: 0.412 sec. cputime,  199.967 sec. elapsetime


****************************************************************
Verifying property "trule4" in interaction "vickrey"...
****************************************************************


Memory (total)         2454264 bytes:       736804 in use,      1717460 free
  permanent space       703912 bytes:       703912 in use,            0 free
    atom                                    125536
    string                                  163136
    asserted                                 23888
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        29220 in use,       757212 free
    global                                   27900 bytes
    local                                     1320 bytes
  trail/cp space        786432 bytes:         1264 in use,       785168 free
    trail                                      652 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        46416 bytes:         2408 in use,        44008 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.
  6447 variant call check/insert ops: 5074 producers, 1373 variants.
  2412 answer check/insert ops: 2367 unique inserts, 45 redundant.


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

Time: 0.412 sec. cputime,  199.967 sec. elapsetime

Memory (total)         2454264 bytes:       738416 in use,      1715848 free
  permanent space       703912 bytes:       703912 in use,            0 free
    atom                                    125536
    string                                  163136
    asserted                                 23888
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        29232 in use,       757200 free
    global                                   27912 bytes
    local                                     1320 bytes
  trail/cp space        786432 bytes:         1264 in use,       785168 free
    trail                                      652 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        46416 bytes:         4008 in use,        42408 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.
  6452 variant call check/insert ops: 5079 producers, 1373 variants.
  2415 answer check/insert ops: 2370 unique inserts, 45 redundant.


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

Time: 0.412 sec. cputime,  199.968 sec. elapsetime


****************************************************************
Verifying property "trule5" in interaction "vickrey"...
****************************************************************


Memory (total)         2454368 bytes:       740272 in use,      1714096 free
  permanent space       704016 bytes:       704016 in use,            0 free
    atom                                    125536
    string                                  163240
    asserted                                 23888
    compiled                                379368
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        30876 in use,       755556 free
    global                                   29416 bytes
    local                                     1460 bytes
  trail/cp space        786432 bytes:         1372 in use,       785060 free
    trail                                      712 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        46416 bytes:         4008 in use,        42408 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.
  6452 variant call check/insert ops: 5079 producers, 1373 variants.
  2415 answer check/insert ops: 2370 unique inserts, 45 redundant.


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

Time: 0.416 sec. cputime,  199.970 sec. elapsetime

Memory (total)         2459544 bytes:       751780 in use,      1707764 free
  permanent space       709192 bytes:       709192 in use,            0 free
    atom                                    126336
    string                                  164112
    asserted                                 23888
    compiled                                382872
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        30888 in use,       755544 free
    global                                   29428 bytes
    local                                     1460 bytes
  trail/cp space        786432 bytes:         1372 in use,       785060 free
    trail                                      712 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        46416 bytes:        10328 in use,        36088 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.
  6457 variant call check/insert ops: 5084 producers, 1373 variants.
  2418 answer check/insert ops: 2373 unique inserts, 45 redundant.


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

Time: 0.416 sec. cputime,  200.244 sec. elapsetime


****************************************************************
Verifying property "trule1" in interaction "vickrey"...
****************************************************************


Memory (total)         2459648 bytes:       753636 in use,      1706012 free
  permanent space       709296 bytes:       709296 in use,            0 free
    atom                                    126336
    string                                  164216
    asserted                                 23888
    compiled                                382872
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        32532 in use,       753900 free
    global                                   30932 bytes
    local                                     1600 bytes
  trail/cp space        786432 bytes:         1480 in use,       784952 free
    trail                                      772 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        46416 bytes:        10328 in use,        36088 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.
  6457 variant call check/insert ops: 5084 producers, 1373 variants.
  2418 answer check/insert ops: 2373 unique inserts, 45 redundant.


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

Time: 0.416 sec. cputime,  200.245 sec. elapsetime


****************************************************************
Verifying property "deadlock" in interaction "_h0"...
****************************************************************


Memory (total)         2473768 bytes:       770424 in use,      1703344 free
  permanent space       722512 bytes:       722512 in use,            0 free
    atom                                    128032
    string                                  165920
    asserted                                 23888
    compiled                                392688
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        34496 in use,       751936 free
    global                                   32652 bytes
    local                                     1844 bytes
  trail/cp space        786432 bytes:         2224 in use,       784208 free
    trail                                      844 bytes
    choice point                              1380 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space        47320 bytes:        11192 in use,        36128 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.
  6461 variant call check/insert ops: 5088 producers, 1373 variants.
  2418 answer check/insert ops: 2373 unique inserts, 45 redundant.


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

Time: 0.416 sec. cputime,  200.250 sec. elapsetime

Memory (total)         4843080 bytes:      3165484 in use,      1677596 free
  permanent space       722512 bytes:       722512 in use,            0 free
    atom                                    128032
    string                                  165920
    asserted                                 23888
    compiled                                392688
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        34508 in use,       751924 free
    global                                   32664 bytes
    local                                     1844 bytes
  trail/cp space        786432 bytes:         2224 in use,       784208 free
    trail                                      844 bytes
    choice point                              1380 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           80 in use,        65456 free
  SLG table space      2416632 bytes:      2406240 in use,        10392 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.
  7964 variant call check/insert ops: 6276 producers, 1688 variants.
  3242 answer check/insert ops: 3155 unique inserts, 87 redundant.


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

Time: 0.460 sec. cputime,  200.308 sec. elapsetime


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



****************************************************************
Verifying property "deadlock" in interaction "_h0"...
****************************************************************


Memory (total)         4843080 bytes:      3165608 in use,      1677472 free
  permanent space       722512 bytes:       722512 in use,            0 free
    atom                                    128032
    string                                  165920
    asserted                                 23888
    compiled                                392688
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        34424 in use,       752008 free
    global                                   32616 bytes
    local                                     1808 bytes
  trail/cp space        786432 bytes:         2104 in use,       784328 free
    trail                                      856 bytes
    choice point                              1248 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           64 in use,        65472 free
  SLG table space      2416632 bytes:      2406568 in use,        10064 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.
  7966 variant call check/insert ops: 6278 producers, 1688 variants.
  3243 answer check/insert ops: 3156 unique inserts, 87 redundant.


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

Time: 0.460 sec. cputime,  200.310 sec. elapsetime

Memory (total)         4843080 bytes:      3165620 in use,      1677460 free
  permanent space       722512 bytes:       722512 in use,            0 free
    atom                                    128032
    string                                  165920
    asserted                                 23888
    compiled                                392688
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        34436 in use,       751996 free
    global                                   32628 bytes
    local                                     1808 bytes
  trail/cp space        786432 bytes:         2104 in use,       784328 free
    trail                                      856 bytes
    choice point                              1248 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:           64 in use,        65472 free
  SLG table space      2416632 bytes:      2406568 in use,        10064 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.
  7967 variant call check/insert ops: 6278 producers, 1689 variants.
  3243 answer check/insert ops: 3156 unique inserts, 87 redundant.


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

Time: 0.460 sec. cputime,  200.311 sec. elapsetime


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


Memory (total)         4843080 bytes:      3163124 in use,      1679956 free
  permanent space       722512 bytes:       722512 in use,            0 free
    atom                                    128032
    string                                  165920
    asserted                                 23888
    compiled                                392688
    findall                                   5000
    other                                     6984
  glob/loc space        786432 bytes:        32564 in use,       753868 free
    global                                   30944 bytes
    local                                     1620 bytes
  trail/cp space        786432 bytes:         1480 in use,       784952 free
    trail                                      772 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      2416632 bytes:      2406568 in use,        10064 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.
  7967 variant call check/insert ops: 6278 producers, 1689 variants.
  3243 answer check/insert ops: 3156 unique inserts, 87 redundant.


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

Time: 0.460 sec. cputime,  200.313 sec. elapsetime


****************************************************************
VERIFICATION FAILED: Property "trule1" is NOT satisfied in interaction "vickrey"!
****************************************************************


no
| ?- 