cl-banner

CSI


Description

This site provides experiments for the paper CSI: New Evidence – A Progress Report by Julian Nagele, Bertram Felgenhauer, and Aart Middeldorp.

Experiments for Confluence of PRSs (Table 1)

For experiments we considered the 69 PRSs in Cops. Note that clicking a cell in the Results table below shows the corresponding tool output.


Statistics

CSI^ho
#yes
43
total time
100.9
average time 2.3
# no 27
total time 23.9
average time 0.9
#maybe 42
total time 437.6
average time 11.3
#time out 8
total time 480.0
average time 60.0
#total 69
total time 375.3
Results

CSI^ho
426 0.3
427 0.3
428 0.2
429 0.2
430 0.2
431 0.2
432 60.0
433 0.2
434 0.2
435 0.2
436 0.2
437 60.0
438 60.0
443 0.2
444 0.2
445 0.2
446 0.3
447 0.2
448 0.2
449 0.2
450 0.2
451 0.2
452 0.3
453 0.2
454 0.2

CS^ho
455 0.3
456 0.2
457 0.2
458 0.3
459 0.5
460 0.3
461 0.2
462 0.2
463 0.2
464 0.2
465 0.2
466 0.3
467 0.4
468 0.3
469 0.3
470 0.3
471 0.3
472 0.3
473 0.3
474 0.3
475 0.3
476 0.2
477 0.3
478 0.2
479 0.2
  CSI^ho
480 0.2
481 0.2
482 0.2
483 0.2
484 0.2
485 0.2
486 0.2
487 0.2
500 0.3
501 60.0
513 60.0
514 0.5
515 0.5
516 60.0
517 0.3
518 0.2
519 0.3
520 0.3
521 0.2

 

Nach oben scrollen