 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
1,191 |
614_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,191 |
614_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
990 |
614_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
990 |
614_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
991 |
614_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
991 |
614_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
991 |
614_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
991 |
614_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
5,565 |
614_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
5,565 |
614_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,204 |
615_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,204 |
615_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,125 |
615_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,125 |
615_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,126 |
615_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,126 |
615_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,126 |
615_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,126 |
615_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
6,408 |
615_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
6,408 |
615_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
2,396 |
640_no_loc_failure_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,396 |
640_no_loc_failure_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,116 |
640_no_loc_failure_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,116 |
640_no_loc_failure_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,048 |
640_no_loc_failure_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,048 |
640_no_loc_failure_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,048 |
640_no_loc_failure_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,048 |
640_no_loc_failure_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,543 |
657_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,543 |
657_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,873 |
657_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,873 |
657_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,761 |
657_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,761 |
657_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,764 |
657_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,764 |
657_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,757 |
668_projection_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,757 |
668_projection_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,792 |
668_projection_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,792 |
668_projection_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,792 |
668_projection_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,792 |
668_projection_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,776 |
668_projection_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,776 |
668_projection_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,393 |
703_reduce_term_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,393 |
703_reduce_term_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,518 |
703_reduce_term_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,518 |
703_reduce_term_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,525 |
703_reduce_term_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,525 |
703_reduce_term_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,518 |
703_reduce_term_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,518 |
703_reduce_term_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
6,833 |
algebraic_types_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
6,833 |
algebraic_types_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
14,264 |
algebraic_types_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
14,264 |
algebraic_types_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
6,244 |
algebraic_types_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
6,244 |
algebraic_types_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,248 |
algebraic_types_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
6,248 |
algebraic_types_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
4,571 |
algebraic_types_poly_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,571 |
algebraic_types_poly_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,009 |
algebraic_types_poly_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,009 |
algebraic_types_poly_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,472 |
algebraic_types_poly_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,472 |
algebraic_types_poly_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,601 |
algebraic_types_poly_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,601 |
algebraic_types_poly_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,439 |
anonymous1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,439 |
anonymous1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,241 |
anonymous1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,241 |
anonymous1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,241 |
anonymous1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,241 |
anonymous1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,217 |
anonymous1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,217 |
anonymous1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
7,517 |
anonymous1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
7,517 |
anonymous1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
anonymous2_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
anonymous2_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,435 |
anonymous2_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,434 |
anonymous2_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,435 |
anonymous2_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,434 |
anonymous2_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,435 |
anonymous2_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,435 |
anonymous2_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
11,873 |
anonymous2_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
11,873 |
anonymous2_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,567 |
anonymous3_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,567 |
anonymous3_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,356 |
anonymous3_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,356 |
anonymous3_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,356 |
anonymous3_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,356 |
anonymous3_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,396 |
anonymous3_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,396 |
anonymous3_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
28,140 |
anonymous3_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
28,140 |
anonymous3_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,447 |
anonymous4_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,447 |
anonymous4_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
724 |
anonymous4_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
724 |
anonymous4_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
724 |
anonymous4_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
724 |
anonymous4_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
764 |
anonymous4_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
764 |
anonymous4_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
20,156 |
anonymous4_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
20,156 |
anonymous4_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,802 |
anonymous5_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,802 |
anonymous5_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
850 |
anonymous5_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
850 |
anonymous5_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
850 |
anonymous5_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
850 |
anonymous5_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
942 |
anonymous5_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
942 |
anonymous5_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
67,091 |
anonymous5_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
67,091 |
anonymous5_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,611 |
anonymous6_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,611 |
anonymous6_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,443 |
anonymous6_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,443 |
anonymous6_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,442 |
anonymous6_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,442 |
anonymous6_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,474 |
anonymous6_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,474 |
anonymous6_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
9,404 |
anonymous6_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
9,404 |
anonymous6_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,583 |
anonymous6_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,583 |
anonymous6_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,392 |
anonymous6_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,392 |
anonymous6_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,392 |
anonymous6_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,392 |
anonymous6_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,392 |
anonymous6_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,392 |
anonymous6_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,222 |
array_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,222 |
array_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,657 |
array_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,657 |
array_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,671 |
array_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,671 |
array_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,535 |
array_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,535 |
array_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
15,372 |
array_poly_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
15,372 |
array_poly_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,255 |
array_poly_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,255 |
array_poly_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,991 |
array_poly_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,991 |
array_poly_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,970 |
array_poly_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,970 |
array_poly_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
16,498 |
array_records_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
16,498 |
array_records_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
11,912 |
array_records_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
11,912 |
array_records_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
11,912 |
array_records_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
11,912 |
array_records_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
14,791 |
array_records_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
14,791 |
array_records_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
28,434 |
array_records_poly_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
28,434 |
array_records_poly_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
41,120 |
array_records_poly_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
41,120 |
array_records_poly_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
13,143 |
array_records_poly_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
13,143 |
array_records_poly_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
16,689 |
array_records_poly_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
16,689 |
array_records_poly_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
13,000 |
attributes_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
13,000 |
attributes_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
12,514 |
attributes_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
12,514 |
attributes_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
12,512 |
attributes_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
12,512 |
attributes_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
12,570 |
attributes_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
12,570 |
attributes_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
12,099 |
attributes_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
12,099 |
attributes_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
11,557 |
attributes_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
11,557 |
attributes_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
11,557 |
attributes_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
11,557 |
attributes_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
11,557 |
attributes_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
11,557 |
attributes_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,777 |
blackbox_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,777 |
blackbox_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,397 |
blackbox_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,397 |
blackbox_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,373 |
blackbox_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,373 |
blackbox_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,423 |
blackbox_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,423 |
blackbox_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,608 |
bv32_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,608 |
bv32_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,037 |
bv32_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,037 |
bv32_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,326 |
bv32_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,326 |
bv32_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,465 |
bv32_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,465 |
bv32_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,639 |
bv32_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,639 |
bv32_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,014 |
bv32_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,014 |
bv32_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,314 |
bv32_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,314 |
bv32_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,081 |
bv32_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,081 |
bv32_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
4,487 |
bv32_toBig_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,487 |
bv32_toBig_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,966 |
bv32_toBig_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,966 |
bv32_toBig_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,873 |
bv32_toBig_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,873 |
bv32_toBig_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,874 |
bv32_toBig_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,874 |
bv32_toBig_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
4,138 |
call-val-function_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,138 |
call-val-function_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
4,113 |
call-val-function_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
4,113 |
call-val-function_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
4,089 |
call-val-function_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
4,089 |
call-val-function_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
4,099 |
call-val-function_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
4,099 |
call-val-function_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,441 |
division_by_zero_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,441 |
division_by_zero_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,200 |
division_by_zero_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,200 |
division_by_zero_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,200 |
division_by_zero_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,200 |
division_by_zero_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,200 |
division_by_zero_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,200 |
division_by_zero_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,600 |
double_projection_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,600 |
double_projection_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,462 |
double_projection_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,462 |
double_projection_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,414 |
double_projection_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,414 |
double_projection_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
663 |
double_projection_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
663 |
double_projection_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
6,562 |
example_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
6,562 |
example_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
6,562 |
example_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
6,562 |
example_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,557 |
example_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
6,557 |
example_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
6,557 |
example_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
6,557 |
example_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,404 |
falseCE_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,404 |
falseCE_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
420 |
falseCE_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
420 |
falseCE_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
776 |
falseCE_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
776 |
falseCE_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
519 |
falseCE_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
519 |
falseCE_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,093 |
falseCE_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
3,093 |
falseCE_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
3,026 |
fide21_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,025 |
fide21_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,213 |
fide21_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,213 |
fide21_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,212 |
fide21_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,212 |
fide21_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,231 |
fide21_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,231 |
fide21_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
12,699 |
fide21_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
12,699 |
fide21_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
5,280 |
float_div_Alt-Ergo%2C2.6.2_SP.oracle
|
 |
- |
rw-r--r-- |
5,280 |
float_div_Alt-Ergo%2C2.6.2_WP.oracle
|
 |
- |
rw-r--r-- |
17,461 |
floats_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
17,461 |
floats_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
38,230 |
floats_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
38,230 |
floats_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
37,600 |
floats_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
37,600 |
floats_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
44,285 |
floats_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
44,285 |
floats_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,744 |
for1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,849 |
for1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,618 |
for1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,725 |
for1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,617 |
for1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,724 |
for1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,610 |
for1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,716 |
for1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
10,998 |
for1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
10,998 |
for1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,718 |
for1_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,828 |
for1_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,568 |
for1_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,680 |
for1_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,568 |
for1_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,679 |
for1_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,568 |
for1_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,679 |
for1_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,137 |
for_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,282 |
for_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,963 |
for_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,109 |
for_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,962 |
for_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,108 |
for_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,978 |
for_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,146 |
for_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
15,287 |
for_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
15,287 |
for_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
2,057 |
for_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,208 |
for_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,859 |
for_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,011 |
for_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,858 |
for_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,010 |
for_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,849 |
for_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,021 |
for_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,097 |
func_call1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,097 |
func_call1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,944 |
func_call1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,944 |
func_call1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,693 |
func_call1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,693 |
func_call1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,709 |
func_call1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,709 |
func_call1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
14,799 |
func_call1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
14,799 |
func_call1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,986 |
func_call1_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,986 |
func_call1_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
func_call1_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
func_call1_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
func_call1_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
func_call1_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
func_call1_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,695 |
func_call1_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,035 |
func_call2_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,035 |
func_call2_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,609 |
func_call2_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,609 |
func_call2_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,608 |
func_call2_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,608 |
func_call2_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,565 |
func_call2_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,565 |
func_call2_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
10,900 |
func_call2_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
10,900 |
func_call2_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
2,030 |
func_call3_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,030 |
func_call3_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,604 |
func_call3_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,604 |
func_call3_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,603 |
func_call3_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,603 |
func_call3_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,560 |
func_call3_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,560 |
func_call3_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
10,875 |
func_call3_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
10,875 |
func_call3_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,863 |
func_call4_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,863 |
func_call4_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,614 |
func_call4_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,614 |
func_call4_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,363 |
func_call4_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,363 |
func_call4_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,398 |
func_call4_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,398 |
func_call4_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
13,960 |
func_call4_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
13,960 |
func_call4_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,746 |
func_call4_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,746 |
func_call4_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,353 |
func_call4_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,353 |
func_call4_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,353 |
func_call4_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,353 |
func_call4_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,353 |
func_call4_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,353 |
func_call4_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,035 |
func_call5_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,035 |
func_call5_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,583 |
func_call5_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,583 |
func_call5_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,848 |
func_call5_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,848 |
func_call5_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,948 |
func_call5_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,948 |
func_call5_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
15,531 |
func_call5_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
15,531 |
func_call5_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
3,035 |
func_call5_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,035 |
func_call5_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,779 |
func_call5_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,779 |
func_call5_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,779 |
func_call5_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,779 |
func_call5_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,779 |
func_call5_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,779 |
func_call5_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,974 |
func_call6_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,974 |
func_call6_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,723 |
func_call6_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,723 |
func_call6_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,472 |
func_call6_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,472 |
func_call6_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,509 |
func_call6_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,509 |
func_call6_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
16,313 |
func_call6_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
16,313 |
func_call6_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,815 |
func_call6_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,815 |
func_call6_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,364 |
func_call6_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,364 |
func_call6_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,364 |
func_call6_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,364 |
func_call6_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,364 |
func_call6_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,364 |
func_call6_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,840 |
func_call_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,840 |
func_call_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,687 |
func_call_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,687 |
func_call_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,436 |
func_call_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,436 |
func_call_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,452 |
func_call_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,452 |
func_call_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
13,761 |
func_call_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
13,761 |
func_call_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
1,718 |
func_call_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,718 |
func_call_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,427 |
func_call_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,427 |
func_call_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,427 |
func_call_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,427 |
func_call_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,427 |
func_call_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,427 |
func_call_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,959 |
global_logic_constant_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,959 |
global_logic_constant_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,709 |
global_logic_constant_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,709 |
global_logic_constant_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,709 |
global_logic_constant_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,709 |
global_logic_constant_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,498 |
global_logic_constant_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,498 |
global_logic_constant_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
18,648 |
global_logic_constant_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
18,648 |
global_logic_constant_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
7,081 |
if_assign_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
9,043 |
if_assign_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
6,557 |
if_assign_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
8,093 |
if_assign_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
6,225 |
if_assign_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
8,090 |
if_assign_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,289 |
if_assign_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
8,031 |
if_assign_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,029 |
if_decision_branch_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,176 |
if_decision_branch_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,780 |
if_decision_branch_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,928 |
if_decision_branch_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,779 |
if_decision_branch_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,926 |
if_decision_branch_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,779 |
if_decision_branch_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,926 |
if_decision_branch_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
930 |
int32_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
930 |
int32_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,984 |
int32_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,984 |
int32_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,982 |
int32_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,982 |
int32_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,990 |
int32_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,990 |
int32_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
952 |
int32_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
952 |
int32_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,964 |
int32_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,964 |
int32_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,964 |
int32_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,964 |
int32_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,948 |
int32_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,948 |
int32_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
12,172 |
int_overflow_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
12,172 |
int_overflow_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
11,146 |
int_overflow_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
11,146 |
int_overflow_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
11,147 |
int_overflow_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
11,147 |
int_overflow_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
11,020 |
int_overflow_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
11,020 |
int_overflow_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
6,090 |
integers_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
6,090 |
integers_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
5,096 |
integers_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
5,096 |
integers_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
5,096 |
integers_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
5,096 |
integers_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
5,091 |
integers_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
5,091 |
integers_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
17,904 |
jlamp0_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
20,737 |
jlamp0_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
14,324 |
jlamp0_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
16,874 |
jlamp0_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
14,821 |
jlamp0_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
16,874 |
jlamp0_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
14,339 |
jlamp0_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
16,891 |
jlamp0_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
209,226 |
jlamp0_mono_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
209,226 |
jlamp0_mono_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
11,471 |
jlamp0_poly_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
14,432 |
jlamp0_poly_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
9,551 |
jlamp0_poly_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
12,265 |
jlamp0_poly_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
9,960 |
jlamp0_poly_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
12,139 |
jlamp0_poly_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
9,483 |
jlamp0_poly_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
12,221 |
jlamp0_poly_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
7,048 |
jlamp_array_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
7,048 |
jlamp_array_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
5,197 |
jlamp_array_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
5,197 |
jlamp_array_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
5,027 |
jlamp_array_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
5,027 |
jlamp_array_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
4,516 |
jlamp_array_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
4,516 |
jlamp_array_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
25,338 |
jlamp_array_poly_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
25,338 |
jlamp_array_poly_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
4,428 |
jlamp_array_poly_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
4,428 |
jlamp_array_poly_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
4,413 |
jlamp_array_poly_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
4,413 |
jlamp_array_poly_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
5,171 |
jlamp_array_poly_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
5,171 |
jlamp_array_poly_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,525 |
jlamp_projections_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,525 |
jlamp_projections_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
6,177 |
jlamp_projections_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
6,177 |
jlamp_projections_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
5,907 |
jlamp_projections_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
5,907 |
jlamp_projections_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
7,931 |
jlamp_projections_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
7,931 |
jlamp_projections_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
894 |
let_constant_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
894 |
let_constant_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,115 |
let_constant_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,115 |
let_constant_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,115 |
let_constant_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,115 |
let_constant_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,116 |
let_constant_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,116 |
let_constant_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,448 |
let_function_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,448 |
let_function_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,369 |
let_function_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,369 |
let_function_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,369 |
let_function_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,369 |
let_function_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,369 |
let_function_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,369 |
let_function_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
978 |
let_function_logic_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
978 |
let_function_logic_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,676 |
let_function_logic_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,676 |
let_function_logic_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,704 |
let_function_logic_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,704 |
let_function_logic_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,693 |
let_function_logic_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,693 |
let_function_logic_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
8,280 |
lists_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
8,280 |
lists_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,803 |
lists_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,803 |
lists_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,803 |
lists_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,803 |
lists_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,091 |
lists_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,091 |
lists_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,787 |
log-asserts_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,787 |
log-asserts_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,145 |
log-asserts_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,145 |
log-asserts_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,143 |
log-asserts_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,143 |
log-asserts_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,171 |
log-asserts_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,171 |
log-asserts_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,198 |
log-call-nc_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,198 |
log-call-nc_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,972 |
log-call-nc_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,972 |
log-call-nc_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,721 |
log-call-nc_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,721 |
log-call-nc_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,734 |
log-call-nc_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,734 |
log-call-nc_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,171 |
log-cond_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,171 |
log-cond_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,001 |
log-cond_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,001 |
log-cond_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,999 |
log-cond_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,999 |
log-cond_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,959 |
log-cond_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,959 |
log-cond_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
7,901 |
log-logic_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
7,901 |
log-logic_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
7,651 |
log-logic_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
7,651 |
log-logic_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
7,534 |
log-logic_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
7,534 |
log-logic_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,982 |
log-logic_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
6,982 |
log-logic_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,035 |
log-post_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,035 |
log-post_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,864 |
log-post_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,864 |
log-post_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,863 |
log-post_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,863 |
log-post_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,814 |
log-post_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,814 |
log-post_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,881 |
log-simple_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,881 |
log-simple_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,709 |
log-simple_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,709 |
log-simple_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,708 |
log-simple_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,708 |
log-simple_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,663 |
log-simple_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,663 |
log-simple_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,309 |
logic_constant_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,309 |
logic_constant_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,122 |
logic_constant_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,122 |
logic_constant_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,122 |
logic_constant_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,122 |
logic_constant_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,123 |
logic_constant_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,123 |
logic_constant_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
5,605 |
logic_function_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
5,605 |
logic_function_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
5,027 |
logic_function_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
5,027 |
logic_function_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
4,862 |
logic_function_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
4,862 |
logic_function_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
5,093 |
logic_function_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
5,093 |
logic_function_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
7,489 |
loop_ce_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
7,757 |
loop_ce_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
6,850 |
loop_ce_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
7,120 |
loop_ce_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
6,675 |
loop_ce_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
6,945 |
loop_ce_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,682 |
loop_ce_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
6,918 |
loop_ce_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
7,175 |
loop_ce_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
7,453 |
loop_ce_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
6,358 |
loop_ce_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
6,638 |
loop_ce_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
6,358 |
loop_ce_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
6,637 |
loop_ce_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,358 |
loop_ce_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
6,604 |
loop_ce_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
8,000 |
loop_inv_int_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
8,000 |
loop_inv_int_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
7,447 |
loop_inv_int_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
7,447 |
loop_inv_int_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
7,445 |
loop_inv_int_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
7,445 |
loop_inv_int_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
7,493 |
loop_inv_int_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
7,493 |
loop_inv_int_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
7,312 |
loop_inv_int_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
7,312 |
loop_inv_int_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
6,692 |
loop_inv_int_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
6,692 |
loop_inv_int_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
6,691 |
loop_inv_int_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
6,691 |
loop_inv_int_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
6,691 |
loop_inv_int_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
6,691 |
loop_inv_int_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,490 |
loop_inv_real_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,490 |
loop_inv_real_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,297 |
loop_inv_real_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,297 |
loop_inv_real_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,296 |
loop_inv_real_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,296 |
loop_inv_real_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,289 |
loop_inv_real_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,289 |
loop_inv_real_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,497 |
loop_inv_real_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,497 |
loop_inv_real_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,286 |
loop_inv_real_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,286 |
loop_inv_real_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,285 |
loop_inv_real_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,285 |
loop_inv_real_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,285 |
loop_inv_real_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,285 |
loop_inv_real_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,268 |
manual_map_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,268 |
manual_map_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,514 |
manual_map_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,514 |
manual_map_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,514 |
manual_map_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,514 |
manual_map_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,572 |
manual_map_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,572 |
manual_map_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,229 |
map_of_algebraic_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,229 |
map_of_algebraic_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,887 |
map_of_algebraic_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,887 |
map_of_algebraic_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,887 |
map_of_algebraic_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,887 |
map_of_algebraic_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,124 |
map_of_algebraic_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,124 |
map_of_algebraic_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
9,544 |
maps_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
9,544 |
maps_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
20,331 |
maps_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
20,331 |
maps_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
10,813 |
maps_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
10,813 |
maps_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
47,893 |
maps_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
47,893 |
maps_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
8,671 |
maps_poly_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
8,671 |
maps_poly_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
16,319 |
maps_poly_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
16,319 |
maps_poly_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
16,258 |
maps_poly_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
16,258 |
maps_poly_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
26,435 |
maps_poly_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
26,435 |
maps_poly_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,932 |
model_projection2_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,932 |
model_projection2_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,634 |
model_projection2_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,634 |
model_projection2_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,560 |
model_projection2_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,560 |
model_projection2_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,728 |
model_projection2_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,728 |
model_projection2_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,270 |
model_projection3_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,270 |
model_projection3_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
662 |
model_projection3_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
662 |
model_projection3_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
662 |
model_projection3_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
662 |
model_projection3_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
662 |
model_projection3_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
662 |
model_projection3_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,270 |
model_projection_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,270 |
model_projection_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,619 |
model_projection_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,619 |
model_projection_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,427 |
model_projection_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,427 |
model_projection_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
679 |
model_projection_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
679 |
model_projection_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
multifile1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
multifile1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,382 |
multifile1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,382 |
multifile1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,382 |
multifile1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,382 |
multifile1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,381 |
multifile1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,381 |
multifile1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
8,782 |
multifile1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
8,782 |
multifile1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
4,927 |
multifile2_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,927 |
multifile2_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
4,110 |
multifile2_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
4,110 |
multifile2_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
4,110 |
multifile2_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
4,110 |
multifile2_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
4,110 |
multifile2_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
4,110 |
multifile2_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
27,025 |
multifile2_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
27,025 |
multifile2_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
3,428 |
polymorphism_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,428 |
polymorphism_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,452 |
polymorphism_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,452 |
polymorphism_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,203 |
polymorphism_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,203 |
polymorphism_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,043 |
polymorphism_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,043 |
polymorphism_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,248 |
range_type_float_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,248 |
range_type_float_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,073 |
range_type_float_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,073 |
range_type_float_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,073 |
range_type_float_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,073 |
range_type_float_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,056 |
range_type_float_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,056 |
range_type_float_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,651 |
range_type_int_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,651 |
range_type_int_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,226 |
range_type_int_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,226 |
range_type_int_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,226 |
range_type_int_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,226 |
range_type_int_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,209 |
range_type_int_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,209 |
range_type_int_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
4,919 |
real_values_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,919 |
real_values_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
4,022 |
real_values_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
4,022 |
real_values_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
4,022 |
real_values_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
4,022 |
real_values_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
4,023 |
real_values_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
4,023 |
real_values_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
3,360 |
record_map_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,360 |
record_map_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
5,379 |
record_map_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
5,379 |
record_map_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
5,369 |
record_map_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
5,369 |
record_map_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
5,436 |
record_map_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
5,436 |
record_map_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,969 |
record_nested_one_field_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,969 |
record_nested_one_field_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,751 |
record_nested_one_field_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,751 |
record_nested_one_field_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,721 |
record_nested_one_field_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,721 |
record_nested_one_field_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,720 |
record_nested_one_field_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,720 |
record_nested_one_field_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
17,590 |
records_inv_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
17,590 |
records_inv_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
15,563 |
records_inv_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
15,563 |
records_inv_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
15,555 |
records_inv_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
15,555 |
records_inv_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
15,550 |
records_inv_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
15,550 |
records_inv_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
4,969 |
records_label_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,969 |
records_label_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
4,021 |
records_label_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
4,021 |
records_label_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
4,004 |
records_label_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
4,004 |
records_label_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
4,069 |
records_label_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
4,069 |
records_label_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
654 |
recursive_model_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
654 |
recursive_model_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
430 |
recursive_model_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
430 |
recursive_model_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,307 |
recursive_model_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,307 |
recursive_model_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,088 |
recursive_model_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,088 |
recursive_model_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
907 |
ref1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
907 |
ref1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
922 |
ref1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
922 |
ref1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,130 |
ref1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,130 |
ref1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,123 |
ref1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,123 |
ref1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,681 |
ref1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
2,681 |
ref1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
854 |
ref1_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
854 |
ref1_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,069 |
ref1_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,069 |
ref1_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,069 |
ref1_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,069 |
ref1_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,070 |
ref1_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,070 |
ref1_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,361 |
ref2_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,361 |
ref2_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,144 |
ref2_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,144 |
ref2_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,144 |
ref2_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,144 |
ref2_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,161 |
ref2_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,161 |
ref2_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
6,803 |
ref2_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
6,803 |
ref2_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
766 |
ref2_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
766 |
ref2_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
981 |
ref2_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
981 |
ref2_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
981 |
ref2_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
981 |
ref2_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
982 |
ref2_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
982 |
ref2_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
13,594 |
ref_ex_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
13,594 |
ref_ex_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
8,646 |
ref_ex_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
8,646 |
ref_ex_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
8,639 |
ref_ex_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
8,639 |
ref_ex_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
12,336 |
ref_ex_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
12,336 |
ref_ex_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
10,890 |
ref_ex_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
10,890 |
ref_ex_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
7,429 |
ref_ex_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
7,429 |
ref_ex_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
7,429 |
ref_ex_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
7,429 |
ref_ex_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
7,418 |
ref_ex_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
7,418 |
ref_ex_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
13,776 |
ref_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
13,776 |
ref_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
8,882 |
ref_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
8,882 |
ref_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
8,882 |
ref_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
8,882 |
ref_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
8,868 |
ref_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
8,868 |
ref_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
4,424 |
result_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,424 |
result_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,950 |
result_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,950 |
result_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,948 |
result_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,948 |
result_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
4,006 |
result_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
4,006 |
result_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,537 |
return_value_below_if_when_vc_sp_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,537 |
return_value_below_if_when_vc_sp_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,458 |
return_value_below_if_when_vc_sp_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,458 |
return_value_below_if_when_vc_sp_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,458 |
return_value_below_if_when_vc_sp_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,458 |
return_value_below_if_when_vc_sp_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,458 |
return_value_below_if_when_vc_sp_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,458 |
return_value_below_if_when_vc_sp_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
642 |
simple_array_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
642 |
simple_array_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,214 |
simple_array_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,214 |
simple_array_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,214 |
simple_array_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,214 |
simple_array_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,234 |
simple_array_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,234 |
simple_array_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
14,736 |
strings_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
14,736 |
strings_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
15,619 |
strings_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
15,619 |
strings_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
16,006 |
strings_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
16,006 |
strings_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
14,856 |
strings_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
14,856 |
strings_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,611 |
test_result_ce_value0_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,611 |
test_result_ce_value0_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
test_result_ce_value0_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
test_result_ce_value0_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
test_result_ce_value0_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
test_result_ce_value0_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
test_result_ce_value0_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,240 |
test_result_ce_value0_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
8,122 |
test_result_ce_value0_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
8,122 |
test_result_ce_value0_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
3,402 |
test_result_ce_value1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,402 |
test_result_ce_value1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,879 |
test_result_ce_value1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,879 |
test_result_ce_value1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,879 |
test_result_ce_value1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,879 |
test_result_ce_value1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,879 |
test_result_ce_value1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,879 |
test_result_ce_value1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
20,661 |
test_result_ce_value1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
20,661 |
test_result_ce_value1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
6,201 |
test_result_ce_value2_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
9,142 |
test_result_ce_value2_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
5,381 |
test_result_ce_value2_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
9,734 |
test_result_ce_value2_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
5,378 |
test_result_ce_value2_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
9,729 |
test_result_ce_value2_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
5,797 |
test_result_ce_value2_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
10,239 |
test_result_ce_value2_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
89,058 |
test_result_ce_value2_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
89,058 |
test_result_ce_value2_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
3,291 |
threshold_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,291 |
threshold_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
7,836 |
threshold_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
7,836 |
threshold_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
7,336 |
threshold_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
7,336 |
threshold_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
7,202 |
threshold_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
7,243 |
threshold_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,347 |
tuple1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,347 |
tuple1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,181 |
tuple1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,181 |
tuple1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,328 |
tuple1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,328 |
tuple1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,990 |
tuple1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,990 |
tuple1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
9,512 |
tuple1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
9,512 |
tuple1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
922 |
tuple_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
922 |
tuple_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
715 |
tuple_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
679 |
tuple_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
714 |
tuple_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
714 |
tuple_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
707 |
tuple_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
707 |
tuple_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
11,273 |
tuple_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
11,273 |
tuple_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
4,041 |
underspec_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
4,193 |
underspec_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,706 |
underspec_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,859 |
underspec_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,454 |
underspec_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,607 |
underspec_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,487 |
underspec_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,662 |
underspec_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
29,357 |
underspec_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
29,357 |
underspec_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
3,835 |
underspec_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,992 |
underspec_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
3,339 |
underspec_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
3,497 |
underspec_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
3,338 |
underspec_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
3,496 |
underspec_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
3,329 |
underspec_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
3,507 |
underspec_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,627 |
val_function_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,627 |
val_function_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,180 |
val_function_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,180 |
val_function_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,180 |
val_function_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,180 |
val_function_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,163 |
val_function_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,163 |
val_function_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
1,114 |
var_clones_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
1,114 |
var_clones_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,035 |
var_clones_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,035 |
var_clones_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,035 |
var_clones_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,035 |
var_clones_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,036 |
var_clones_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,036 |
var_clones_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
5,674 |
var_clones_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
5,674 |
var_clones_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
2,240 |
while1_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,240 |
while1_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,066 |
while1_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,066 |
while1_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,063 |
while1_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,063 |
while1_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,106 |
while1_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,106 |
while1_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
16,760 |
while1_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
16,760 |
while1_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
2,155 |
while1_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,155 |
while1_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
1,955 |
while1_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
1,955 |
while1_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
1,954 |
while1_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
1,954 |
while1_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
1,956 |
while1_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
1,956 |
while1_mono_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
2,825 |
while_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
3,114 |
while_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,649 |
while_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,942 |
while_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,647 |
while_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,938 |
while_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,676 |
while_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,966 |
while_Z3%2C4.8.10_WP.oracle
|
 |
- |
rw-r--r-- |
23,654 |
while_Z3%2C4.8.4_SP.oracle
|
 |
- |
rw-r--r-- |
23,654 |
while_Z3%2C4.8.4_WP.oracle
|
 |
- |
rw-r--r-- |
2,654 |
while_mono_Alt-Ergo%2C2.6.0_SP.oracle
|
 |
- |
rw-r--r-- |
2,954 |
while_mono_Alt-Ergo%2C2.6.0_WP.oracle
|
 |
- |
rw-r--r-- |
2,445 |
while_mono_CVC4%2C1.8_SP.oracle
|
 |
- |
rw-r--r-- |
2,747 |
while_mono_CVC4%2C1.8_WP.oracle
|
 |
- |
rw-r--r-- |
2,445 |
while_mono_CVC5%2C1.0.5_SP.oracle
|
 |
- |
rw-r--r-- |
2,747 |
while_mono_CVC5%2C1.0.5_WP.oracle
|
 |
- |
rw-r--r-- |
2,448 |
while_mono_Z3%2C4.8.10_SP.oracle
|
 |
- |
rw-r--r-- |
2,749 |
while_mono_Z3%2C4.8.10_WP.oracle
|