package info (click to toggle)
why3 1.8.2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 45,028 kB
  • sloc: xml: 185,443; ml: 111,224; ansic: 3,998; sh: 2,578; makefile: 2,568; java: 865; python: 720; javascript: 290; lisp: 205; pascal: 173

Folder: oracles

d .. (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