Skip to content

Home

Jump to bottom
Francesco Pacenza edited this page May 20, 2019 · 23 revisions

Incremental answer set programming with overgrounding

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Department of Mathematics and Computer Science, University of Calabria, Italy

e-mail: lastname@mat.unical.it - https://www.mat.unical.it

I-DLV Incremental Standalone version: Please, refer to our code page in order to get the encodings and the binary of I-DLV-incremental - code page

Table of Contents

  1. Time performance
    1.1. Size 10 - Plot 10
    1.2. Size 20 - Plot 20
    1.3. Size 30 - Plot 30
  2. Memory performance
    2.2. Size 10, 20, 30

TIME CONSUMPTION REPORT

Comparison between incremental and non-incremental grounder performance with size 10

INCREMENTAL_10 NON-INCREMENTAL_10
IT IDLV CLASP WASP IDLV + CLASP IDLV + WASP
0 1,722248 0.187 0,20 1,909248 1,922248
1 0,824056 0.182 0,19 1,006056 1,014056
2 0,8258784 0.180 0,21 1,0058784 1,0358784
3 0,8280298 0.178 0,20 1,0060298 1,0280298
4 0,8367918 0.185 0,20 1,0217918 1,0367918
5 0,839407 0.179 0,20 1,018407 1,039407
6 0,8370062 0.187 0,20 1,0240062 1,0370062
7 0,8252426 0.175 0,20 1,0002426 1,0252426
8 0,8317996 0.169 0,20 1,0007996 1,0317996
9 0,8307558 0.183 0,19 1,0137558 1,0207558
... ... ... ... ... ...
458 0,9963864 0.179 0,19 1,1753864 1,1863864
IT IDLV CLASP WASP IDLV + CLASP IDLV + WASP
0 65,4884 0,598 0,56 66,0864 66,0484
1 64,1447 0,574 0,55 64,7187 64,6947
2 64,1076 0,584 0,55 64,6916 64,6576
3 64,1649 0,596 0,55 64,7609 64,7149
4 64,4569 0,576 0,55 65,0329 65,0069
5 64,4927 0,583 0,56 65,0757 65,0527
6 64,3321 0,574 0,58 64,9061 64,9121
7 64,0562 0,57 0,56 64,6262 64,6162
8 64,271 0,575 0,56 64,846 64,831
9 64,3113 0,574 0,57 64,8853 64,8813

INCREMENTAL_10
NON-INCREMENTAL_10
TOTAL NUMBER OF RULES AFTER EACH SHOT
COMPARISON_SIZE_10

Comparison between incremental and non-incremental grounder performance with size 20

INCREMENTAL_20 NON-INCREMENTAL_20
IT IDLV CLASP WASP IDLV + CLASP IDLV + WASP
0 13,51376 1,464 1,17 14,97776 14,68376
1 1,616094 1,377 1,20 2,993094 2,816094
2 1,526842 1,336 1,17 2,862842 2,696842
3 1,545678 1,360 1,19 2,905678 2,735678
4 1,572308 1,343 1,18 2,915308 2,752308
5 1,515928 1,359 1,18 2,874928 2,695928
6 1,525804 1,350 1,19 2,875804 2,715804
7 1,535264 1,358 1,18 2,893264 2,715264
8 1,564854 1,352 1,21 2,916854 2,774854
9 1,542532 1,353 1,18 2,895532 2,722532
... ... ... ... ... ...
458 1,885342 1,346 1,20 3,231342 3,085342
IT IDLV CLASP WASP IDLV + CLASP IDLV + WASP
0 13,9293 0,222 0,2 14,1513 14,1293
1 13,9228 0,219 0,2 14,1418 14,1228
2 13,9236 0,231 0,2 14,1546 14,1236
3 13,9145 0,226 0,21 14,1405 14,1245
4 13,9179 0,22 0,21 14,1379 14,1279
5 13,9153 0,219 0,21 14,1343 14,1253
6 13,8761 0,218 0,2 14,0941 14,0761
7 13,8301 0,229 0,21 14,0591 14,0401
8 14,0298 0,222 0,2 14,2518 14,2298
9 13,8914 0,221 0,2 14,1124 14,0914

INCREMENTAL_20
NON-INCREMENTAL_20
TOTAL NUMBER OF RULES AFTER EACH SHOT
COMPARISON_SIZE_20

Comparison between incremental and non-incremental grounder performance with size 30

INCREMENTAL_30 NON-INCREMENTAL_30
IT IDLV CLASP WASP IDLV + CLASP IDLV + WASP
0 61,82628 4,564 2,91 66,39028 64,73628
1 3,366902 4,371 2,81 7,737902 6,176902
2 3,056282 4,356 2,86 7,412282 5,916282
3 3,115698 4,335 2,87 7,450698 5,985698
4 3,081228 4,300 2,88 7,381228 5,961228
5 3,081858 4,334 2,88 7,415858 5,961858
6 3,059306 4,327 2,88 7,386306 5,939306
7 3,06442 4,322 2,87 7,38642 5,93442
8 3,03509 4,306 2,90 7,34109 5,93509
9 3,038254 4,311 2,94 7,349254 5,978254
... ... ... ... ... ...
458 3,27851 4,275 2,88 7,55351 6,15851
IT IDLV CLASP WASP IDLV + CLASP IDLV + WASP
0 65,4884 0,598 0,56 66,0864 66,0484
1 64,1447 0,574 0,55 64,7187 64,6947
2 64,1076 0,584 0,55 64,6916 64,6576
3 64,1649 0,596 0,55 64,7609 64,7149
4 64,4569 0,576 0,55 65,0329 65,0069
5 64,4927 0,583 0,56 65,0757 65,0527
6 64,3321 0,574 0,58 64,9061 64,9121
7 64,0562 0,57 0,56 64,6262 64,6162
8 64,271 0,575 0,56 64,846 64,831
9 64,3113 0,574 0,57 64,8853 64,8813

INCREMENTAL_30
NON-INCREMENTAL_30
TOTAL NUMBER OF RULES AFTER EACH SHOT
COMPARISON_SIZE_30

MEMORY CONSUMPTION REPORT

Comparison between memory usage of the incremental and non-incremental system with size 10, 20 and 30

MEMORY PEAKS (mb)
SIZE INCREMENTAL NON-INCREMENTAL
size_10 31,68359375 16,2734375
size_20 129,3164063 59,79296875
size_30 319,4742188 147,015625
MEMORY PEAKS

Clone this wiki locally