package info (click to toggle)
haskell-sbv 10.2-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 8,148 kB
  • sloc: haskell: 31,176; makefile: 4

Folder: GoldFiles

d .. (parent)
- - rw-r--r-- 794 U2Bridge.gold
- - rw-r--r-- 2,280 addSub.gold
- - rw-r--r-- 108,869 aes128Dec.gold
- - rw-r--r-- 48,740 aes128Enc.gold
- - rw-r--r-- 223,152 aes128Lib.gold
- - rw-r--r-- 77 allSat1.gold
- - rw-r--r-- 168 allSat2.gold
- - rw-r--r-- 95 allSat3.gold
- - rw-r--r-- 19 allSat4.gold
- - rw-r--r-- 322 allSat5.gold
- - rw-r--r-- 169 allSat6.gold
- - rw-r--r-- 695,271 allSat7.gold
- - rw-r--r-- 2,268 allSat8.gold
- - rw-r--r-- 72 arbFp_opt_1.gold
- - rw-r--r-- 2,388 array_caching_01.gold
- - rw-r--r-- 2,395 array_caching_02.gold
- - rw-r--r-- 152 assertWithPenalty1.gold
- - rw-r--r-- 182 assertWithPenalty2.gold
- - rw-r--r-- 811 auf-1.gold
- - rw-r--r-- 3,844 barrelRotate_Left_Int16_Word16.gold
- - rw-r--r-- 3,916 barrelRotate_Left_Int16_Word32.gold
- - rw-r--r-- 4,060 barrelRotate_Left_Int16_Word64.gold
- - rw-r--r-- 3,804 barrelRotate_Left_Int16_Word8.gold
- - rw-r--r-- 5,764 barrelRotate_Left_Int32_Word16.gold
- - rw-r--r-- 5,900 barrelRotate_Left_Int32_Word32.gold
- - rw-r--r-- 6,172 barrelRotate_Left_Int32_Word64.gold
- - rw-r--r-- 5,692 barrelRotate_Left_Int32_Word8.gold
- - rw-r--r-- 9,368 barrelRotate_Left_Int64_Word16.gold
- - rw-r--r-- 9,632 barrelRotate_Left_Int64_Word32.gold
- - rw-r--r-- 10,160 barrelRotate_Left_Int64_Word64.gold
- - rw-r--r-- 9,232 barrelRotate_Left_Int64_Word8.gold
- - rw-r--r-- 2,753 barrelRotate_Left_Int8_Word16.gold
- - rw-r--r-- 2,793 barrelRotate_Left_Int8_Word32.gold
- - rw-r--r-- 2,873 barrelRotate_Left_Int8_Word64.gold
- - rw-r--r-- 2,729 barrelRotate_Left_Int8_Word8.gold
- - rw-r--r-- 3,844 barrelRotate_Left_Word16_Word16.gold
- - rw-r--r-- 3,916 barrelRotate_Left_Word16_Word32.gold
- - rw-r--r-- 4,060 barrelRotate_Left_Word16_Word64.gold
- - rw-r--r-- 3,804 barrelRotate_Left_Word16_Word8.gold
- - rw-r--r-- 5,764 barrelRotate_Left_Word32_Word16.gold
- - rw-r--r-- 5,900 barrelRotate_Left_Word32_Word32.gold
- - rw-r--r-- 6,172 barrelRotate_Left_Word32_Word64.gold
- - rw-r--r-- 5,692 barrelRotate_Left_Word32_Word8.gold
- - rw-r--r-- 9,368 barrelRotate_Left_Word64_Word16.gold
- - rw-r--r-- 9,632 barrelRotate_Left_Word64_Word32.gold
- - rw-r--r-- 10,160 barrelRotate_Left_Word64_Word64.gold
- - rw-r--r-- 9,232 barrelRotate_Left_Word64_Word8.gold
- - rw-r--r-- 2,753 barrelRotate_Left_Word8_Word16.gold
- - rw-r--r-- 2,793 barrelRotate_Left_Word8_Word32.gold
- - rw-r--r-- 2,873 barrelRotate_Left_Word8_Word64.gold
- - rw-r--r-- 2,729 barrelRotate_Left_Word8_Word8.gold
- - rw-r--r-- 3,862 barrelRotate_Right_Int16_Word16.gold
- - rw-r--r-- 3,934 barrelRotate_Right_Int16_Word32.gold
- - rw-r--r-- 4,078 barrelRotate_Right_Int16_Word64.gold
- - rw-r--r-- 3,822 barrelRotate_Right_Int16_Word8.gold
- - rw-r--r-- 5,799 barrelRotate_Right_Int32_Word16.gold
- - rw-r--r-- 5,935 barrelRotate_Right_Int32_Word32.gold
- - rw-r--r-- 6,207 barrelRotate_Right_Int32_Word64.gold
- - rw-r--r-- 5,727 barrelRotate_Right_Int32_Word8.gold
- - rw-r--r-- 9,436 barrelRotate_Right_Int64_Word16.gold
- - rw-r--r-- 9,700 barrelRotate_Right_Int64_Word32.gold
- - rw-r--r-- 10,228 barrelRotate_Right_Int64_Word64.gold
- - rw-r--r-- 9,300 barrelRotate_Right_Int64_Word8.gold
- - rw-r--r-- 2,762 barrelRotate_Right_Int8_Word16.gold
- - rw-r--r-- 2,802 barrelRotate_Right_Int8_Word32.gold
- - rw-r--r-- 2,882 barrelRotate_Right_Int8_Word64.gold
- - rw-r--r-- 2,738 barrelRotate_Right_Int8_Word8.gold
- - rw-r--r-- 3,862 barrelRotate_Right_Word16_Word16.gold
- - rw-r--r-- 3,934 barrelRotate_Right_Word16_Word32.gold
- - rw-r--r-- 4,078 barrelRotate_Right_Word16_Word64.gold
- - rw-r--r-- 3,822 barrelRotate_Right_Word16_Word8.gold
- - rw-r--r-- 5,799 barrelRotate_Right_Word32_Word16.gold
- - rw-r--r-- 5,935 barrelRotate_Right_Word32_Word32.gold
- - rw-r--r-- 6,207 barrelRotate_Right_Word32_Word64.gold
- - rw-r--r-- 5,727 barrelRotate_Right_Word32_Word8.gold
- - rw-r--r-- 9,436 barrelRotate_Right_Word64_Word16.gold
- - rw-r--r-- 9,700 barrelRotate_Right_Word64_Word32.gold
- - rw-r--r-- 10,228 barrelRotate_Right_Word64_Word64.gold
- - rw-r--r-- 9,300 barrelRotate_Right_Word64_Word8.gold
- - rw-r--r-- 2,762 barrelRotate_Right_Word8_Word16.gold
- - rw-r--r-- 2,802 barrelRotate_Right_Word8_Word32.gold
- - rw-r--r-- 2,882 barrelRotate_Right_Word8_Word64.gold
- - rw-r--r-- 2,738 barrelRotate_Right_Word8_Word8.gold
- - rw-r--r-- 10 basic-1_1.gold
- - rw-r--r-- 10 basic-1_2.gold
- - rw-r--r-- 11 basic-1_3.gold
- - rw-r--r-- 11 basic-1_4.gold
- - rw-r--r-- 10 basic-1_5.gold
- - rw-r--r-- 263 basic-2_1.gold
- - rw-r--r-- 238 basic-2_2.gold
- - rw-r--r-- 238 basic-2_3.gold
- - rw-r--r-- 238 basic-2_4.gold
- - rw-r--r-- 10 basic-2_5.gold
- - rw-r--r-- 274 basic-3_1.gold
- - rw-r--r-- 274 basic-3_2.gold
- - rw-r--r-- 249 basic-3_3.gold
- - rw-r--r-- 249 basic-3_4.gold
- - rw-r--r-- 242 basic-3_5.gold
- - rw-r--r-- 245 basic-4_1.gold
- - rw-r--r-- 220 basic-4_2.gold
- - rw-r--r-- 220 basic-4_3.gold
- - rw-r--r-- 220 basic-4_4.gold
- - rw-r--r-- 213 basic-4_5.gold
- - rw-r--r-- 279 basic-5_1.gold
- - rw-r--r-- 254 basic-5_2.gold
- - rw-r--r-- 254 basic-5_3.gold
- - rw-r--r-- 254 basic-5_4.gold
- - rw-r--r-- 247 basic-5_5.gold
- - rw-r--r-- 81,308 ccitt.gold
- - rw-r--r-- 2,883 cgUninterpret.gold
- - rw-r--r-- 1,289 charConstr00.gold
- - rw-r--r-- 1,687 charConstr01.gold
- - rw-r--r-- 2,565 charConstr02.gold
- - rw-r--r-- 2,042 charConstr03.gold
- - rw-r--r-- 1,884 charConstr04.gold
- - rw-r--r-- 1,883 charConstr05.gold
- - rw-r--r-- 2,316 charConstr06.gold
- - rw-r--r-- 1,989 charConstr07.gold
- - rw-r--r-- 1,779 charConstr08.gold
- - rw-r--r-- 2,028 charConstr09.gold
- - rw-r--r-- 2,386 charConstr10.gold
- - rw-r--r-- 2,850 charConstr11.gold
- - rw-r--r-- 1,374 check1.gold
- - rw-r--r-- 1,055 check2.gold
- - rw-r--r-- 6,113 codeGen1.gold
- - rw-r--r-- 18,815 coins.gold
- - rw-r--r-- 129 combined1.gold
- - rw-r--r-- 164 combined2.gold
- - rw-r--r-- 920 concreteFoldl.gold
- - rw-r--r-- 920 concreteFoldr.gold
- - rw-r--r-- 920 concreteReverse.gold
- - rw-r--r-- 920 concreteSort.gold
- - rw-r--r-- 3,083 constArr2_SArray.gold
- - rw-r--r-- 3,116 constArr_SArray.gold
- - rw-r--r-- 65,730 counts.gold
- - rw-r--r-- 165,434 crcPolyExist.gold
- - rw-r--r-- 5,265 crcUSB5_1.gold
- - rw-r--r-- 6,893 crcUSB5_2.gold
- - rw-r--r-- 111 dogCatMouse.gold
- - rw-r--r-- 2,712 dsat01.gold
- - rw-r--r-- 343 euler185.gold
- - rw-r--r-- 3,223 exceptionLocal1.gold
- - rw-r--r-- 1,160 exceptionLocal2.gold
- - rw-r--r-- 81 exceptionRemote1.gold
- - rw-r--r-- 9,091 fib1.gold
- - rw-r--r-- 3,781 fib2.gold
- - rw-r--r-- 81,829 floats_cgen.gold
- - rw-r--r-- 2,049 foldlABC1.gold
- - rw-r--r-- 2,415 foldlABC2.gold
- - rw-r--r-- 2,746 foldlABC3.gold
- - rw-r--r-- 1,779 foldrAB1.gold
- - rw-r--r-- 2,141 foldrAB2.gold
- - rw-r--r-- 2,474 foldrAB3.gold
- - rw-r--r-- 9,572 freshVars.gold
- - rw-r--r-- 3,786 gcd.gold
- - rw-r--r-- 689 genBenchMark1.gold
- - rw-r--r-- 683 genBenchMark2.gold
- - rw-r--r-- 6 higher-1.gold
- - rw-r--r-- 6 higher-2.gold
- - rw-r--r-- 6 higher-3.gold
- - rw-r--r-- 6 higher-4.gold
- - rw-r--r-- 6 higher-5.gold
- - rw-r--r-- 6 higher-6.gold
- - rw-r--r-- 6 higher-7.gold
- - rw-r--r-- 6 higher-8.gold
- - rw-r--r-- 49 higher-9.gold
- - rw-r--r-- 2 lambda01.gold
- - rw-r--r-- 85 lambda02.gold
- - rw-r--r-- 131 lambda03.gold
- - rw-r--r-- 1,810 lambda04.gold
- - rw-r--r-- 2,098 lambda05.gold
- - rw-r--r-- 2,837 lambda06.gold
- - rw-r--r-- 4,189 lambda07.gold
- - rw-r--r-- 3,126 lambda08.gold
- - rw-r--r-- 2,218 lambda09.gold
- - rw-r--r-- 1,943 lambda10.gold
- - rw-r--r-- 2,220 lambda11.gold
- - rw-r--r-- 1,866 lambda12.gold
- - rw-r--r-- 3,238 lambda13.gold
- - rw-r--r-- 1,954 lambda14.gold
- - rw-r--r-- 1,778 lambda15.gold
- - rw-r--r-- 1,780 lambda16.gold
- - rw-r--r-- 2,047 lambda17.gold
- - rw-r--r-- 1,899 lambda18.gold
- - rw-r--r-- 2,172 lambda19.gold
- - rw-r--r-- 2,174 lambda20.gold
- - rw-r--r-- 2,441 lambda21.gold
- - rw-r--r-- 4,807 lambda22.gold
- - rw-r--r-- 4,474 lambda23.gold
- - rw-r--r-- 4,284 lambda24.gold
- - rw-r--r-- 4,177 lambda25.gold
- - rw-r--r-- 5,984 lambda26.gold
- - rw-r--r-- 2,581 lambda27.gold
- - rw-r--r-- 2,688 lambda28.gold
- - rw-r--r-- 2,590 lambda29.gold
- - rw-r--r-- 2,686 lambda30.gold
- - rw-r--r-- 3,235 lambda31.gold
- - rw-r--r-- 3,240 lambda32.gold
- - rw-r--r-- 5 lambda33.gold
- - rw-r--r-- 101 lambda34.gold
- - rw-r--r-- 75 lambda35.gold
- - rw-r--r-- 65 lambda36.gold
- - rw-r--r-- 72 lambda37.gold
- - rw-r--r-- 173 lambda38.gold
- - rw-r--r-- 70 lambda40.gold
- - rw-r--r-- 139 lambda41.gold
- - rw-r--r-- 107 lambda42.gold
- - rw-r--r-- 89 lambda43.gold
- - rw-r--r-- 172 lambda44.gold
- - rw-r--r-- 141 lambda45.gold
- - rw-r--r-- 1,514 lambda46.gold
- - rw-r--r-- 2,099 lambda47.gold
- - rw-r--r-- 1,273 lambda47_c.gold
- - rw-r--r-- 2,555 lambda48.gold
- - rw-r--r-- 1,268 lambda48_c.gold
- - rw-r--r-- 3,022 lambda49.gold
- - rw-r--r-- 1,157 lambda49_c.gold
- - rw-r--r-- 3,028 lambda50.gold
- - rw-r--r-- 1,249 lambda50_c.gold
- - rw-r--r-- 3,028 lambda51.gold
- - rw-r--r-- 1,249 lambda51_c.gold
- - rw-r--r-- 3,022 lambda52.gold
- - rw-r--r-- 1,157 lambda52_c.gold
- - rw-r--r-- 1,417 lambda53.gold
- - rw-r--r-- 1,864 lambda54.gold
- - rw-r--r-- 1,864 lambda55.gold
- - rw-r--r-- 1,886 lambda56.gold
- - rw-r--r-- 3,702 lambda57.gold
- - rw-r--r-- 159 lambda58.gold
- - rw-r--r-- 184 lambda59.gold
- - rw-r--r-- 1,184 lambda60.gold
- - rw-r--r-- 1,101 lambda61.gold
- - rw-r--r-- 1,292 lambda62.gold
- - rw-r--r-- 1,382 lambda63.gold
- - rw-r--r-- 1,568 lambda64.gold
- - rw-r--r-- 1,654 lambda65.gold
- - rw-r--r-- 1,791 lambda66.gold
- - rw-r--r-- 1,908 lambda67.gold
- - rw-r--r-- 1,556 lambda68.gold
- - rw-r--r-- 1,663 lambda69.gold
- - rw-r--r-- 2,235 lambda70.gold
- - rw-r--r-- 235,674 legato.gold
- - rw-r--r-- 263,194 legato_c.gold
- - rw-r--r-- 7,013 mapNoFailure.gold
- - rw-r--r-- 8,486 mapWithFailure.gold
- - rw-r--r-- 7,382 maxlWithFailure.gold
- - rw-r--r-- 7,728 maxrWithFailure.gold
- - rw-r--r-- 3,888 merge.gold
- - rw-r--r-- 999 noOpt1.gold
- - rw-r--r-- 1,139 noOpt2.gold
- - rw-r--r-- 1,460 nonlinear_cvc4.gold
- - rw-r--r-- 1,243 nonlinear_cvc5.gold
- - rw-r--r-- 1,441 nonlinear_z3.gold
- - rw-r--r-- 92 optBasics1.gold
- - rw-r--r-- 92 optBasics2.gold
- - rw-r--r-- 51 optBasicsRange_08_signed_max.gold
- - rw-r--r-- 53 optBasicsRange_08_signed_min.gold
- - rw-r--r-- 52 optBasicsRange_08_unsigned_max.gold
- - rw-r--r-- 48 optBasicsRange_08_unsigned_min.gold
- - rw-r--r-- 57 optBasicsRange_16_signed_max.gold
- - rw-r--r-- 59 optBasicsRange_16_signed_min.gold
- - rw-r--r-- 58 optBasicsRange_16_unsigned_max.gold
- - rw-r--r-- 50 optBasicsRange_16_unsigned_min.gold
- - rw-r--r-- 67 optBasicsRange_32_signed_max.gold
- - rw-r--r-- 69 optBasicsRange_32_signed_min.gold
- - rw-r--r-- 68 optBasicsRange_32_unsigned_max.gold
- - rw-r--r-- 50 optBasicsRange_32_unsigned_min.gold
- - rw-r--r-- 87 optBasicsRange_64_signed_max.gold
- - rw-r--r-- 87 optBasicsRange_64_signed_min.gold
- - rw-r--r-- 88 optBasicsRange_64_unsigned_max.gold
- - rw-r--r-- 50 optBasicsRange_64_unsigned_min.gold
- - rw-r--r-- 57 optExtField1.gold
- - rw-r--r-- 58 optExtField2.gold
- - rw-r--r-- 89 optExtField3.gold
- - rw-r--r-- 951 optFloat1a.gold
- - rw-r--r-- 817 optFloat1b.gold
- - rw-r--r-- 961 optFloat1c.gold
- - rw-r--r-- 835 optFloat1d.gold
- - rw-r--r-- 1,359 optFloat2a.gold
- - rw-r--r-- 1,158 optFloat2b.gold
- - rw-r--r-- 1,374 optFloat2c.gold
- - rw-r--r-- 1,188 optFloat2d.gold
- - rw-r--r-- 2,081 optFloat3.gold
- - rw-r--r-- 2,059 optFloat4.gold
- - rw-r--r-- 102 optQuant1.gold
- - rw-r--r-- 102 optQuant2.gold
- - rw-r--r-- 102 optQuant3.gold
- - rw-r--r-- 102 optQuant4.gold
- - rw-r--r-- 80 optQuant5.gold
- - rw-r--r-- 114 optReal1.gold
- - rw-r--r-- 124 optTuple1.gold
- - rw-r--r-- 5,480 pareto1.gold
- - rw-r--r-- 5,875 pareto2.gold
- - rw-r--r-- 243 pareto3.gold
- - rw-r--r-- 3,009 pbAtLeast.gold
- - rw-r--r-- 3,008 pbAtMost.gold
- - rw-r--r-- 3,004 pbEq.gold
- - rw-r--r-- 2,597 pbEq2.gold
- - rw-r--r-- 3,021 pbExactly.gold
- - rw-r--r-- 3,005 pbGe.gold
- - rw-r--r-- 3,005 pbLe.gold
- - rw-r--r-- 2,956 pbMutexed.gold
- - rw-r--r-- 2,969 pbStronglyMutexed.gold
- - rw-r--r-- 4,109 popCount1.gold
- - rw-r--r-- 4,245 popCount2.gold
- - rw-r--r-- 1,689 qEnum1.gold
- - rw-r--r-- 1,141 qUninterp1.gold
- - rw-r--r-- 1,751 quantifiedB_0.gold
- - rw-r--r-- 1,270 quantifiedB_1.gold
- - rw-r--r-- 1,281 quantifiedB_2.gold
- - rw-r--r-- 1,346 quantifiedB_3.gold
- - rw-r--r-- 1,261 quantifiedB_4.gold
- - rw-r--r-- 1,276 quantifiedB_5.gold
- - rw-r--r-- 993 quantifiedB_6.gold
- - rw-r--r-- 1,037 quantifiedB_7.gold
- - rw-r--r-- 1,037 quantifiedB_8.gold
- - rw-r--r-- 1,037 quantifiedB_9.gold
- - rw-r--r-- 1,298 quantifiedB_A.gold
- - rw-r--r-- 1,294 quantifiedB_B.gold
- - rw-r--r-- 1,139 quantified_prove_existsexists_contradiction_p.gold
- - rw-r--r-- 1,125 quantified_prove_existsexists_satisfiable_p.gold
- - rw-r--r-- 1,140 quantified_prove_existsexists_thm_p.gold
- - rw-r--r-- 1,150 quantified_prove_existsforall_contradiction_p.gold
- - rw-r--r-- 1,134 quantified_prove_existsforall_satisfiable_p.gold
- - rw-r--r-- 1,151 quantified_prove_existsforall_thm_p.gold
- - rw-r--r-- 1,150 quantified_prove_forallexists_contradiction_p.gold
- - rw-r--r-- 1,136 quantified_prove_forallexists_satisfiable_p.gold
- - rw-r--r-- 1,151 quantified_prove_forallexists_thm_p.gold
- - rw-r--r-- 1,139 quantified_prove_forallforall_contradiction_p.gold
- - rw-r--r-- 1,123 quantified_prove_forallforall_satisfiable_p.gold
- - rw-r--r-- 1,140 quantified_prove_forallforall_thm_p.gold
- - rw-r--r-- 1,135 quantified_sat_existsexists_contradiction_c.gold
- - rw-r--r-- 1,135 quantified_sat_existsexists_contradiction_p.gold
- - rw-r--r-- 1,117 quantified_sat_existsexists_satisfiable_c.gold
- - rw-r--r-- 1,117 quantified_sat_existsexists_satisfiable_p.gold
- - rw-r--r-- 1,132 quantified_sat_existsexists_thm_c.gold
- - rw-r--r-- 1,132 quantified_sat_existsexists_thm_p.gold
- - rw-r--r-- 1,146 quantified_sat_existsforall_contradiction_c.gold
- - rw-r--r-- 1,146 quantified_sat_existsforall_contradiction_p.gold
- - rw-r--r-- 1,130 quantified_sat_existsforall_satisfiable_c.gold
- - rw-r--r-- 1,130 quantified_sat_existsforall_satisfiable_p.gold
- - rw-r--r-- 1,143 quantified_sat_existsforall_thm_c.gold
- - rw-r--r-- 1,143 quantified_sat_existsforall_thm_p.gold
- - rw-r--r-- 1,146 quantified_sat_forallexists_contradiction_c.gold
- - rw-r--r-- 1,146 quantified_sat_forallexists_contradiction_p.gold
- - rw-r--r-- 1,128 quantified_sat_forallexists_satisfiable_c.gold
- - rw-r--r-- 1,128 quantified_sat_forallexists_satisfiable_p.gold
- - rw-r--r-- 1,143 quantified_sat_forallexists_thm_c.gold
- - rw-r--r-- 1,143 quantified_sat_forallexists_thm_p.gold
- - rw-r--r-- 1,135 quantified_sat_forallforall_contradiction_c.gold
- - rw-r--r-- 1,135 quantified_sat_forallforall_contradiction_p.gold
- - rw-r--r-- 1,119 quantified_sat_forallforall_satisfiable_c.gold
- - rw-r--r-- 1,119 quantified_sat_forallforall_satisfiable_p.gold
- - rw-r--r-- 1,132 quantified_sat_forallforall_thm_c.gold
- - rw-r--r-- 1,132 quantified_sat_forallforall_thm_p.gold
- - rw-r--r-- 7,149 query1.gold
- - rw-r--r-- 1,865 queryArrays1.gold
- - rw-r--r-- 37,471 queryArrays2.gold
- - rw-r--r-- 25,435 queryArrays3.gold
- - rw-r--r-- 37,923 queryArrays4.gold
- - rw-r--r-- 2,056 queryArrays5.gold
- - rw-r--r-- 3,034 queryArrays6.gold
- - rw-r--r-- 1,666 queryArrays7.gold
- - rw-r--r-- 1,661 queryArrays8.gold
- - rw-r--r-- 6,931 queryTables.gold
- - rw-r--r-- 1,316 query_Chars1.gold
- - rw-r--r-- 1,666 query_Interpolant1.gold
- - rw-r--r-- 1,909 query_Interpolant2.gold
- - rw-r--r-- 1,494 query_Interpolant3.gold
- - rw-r--r-- 1,900 query_Interpolant4.gold
- - rw-r--r-- 2,453 query_ListOfMaybe.gold
- - rw-r--r-- 2,532 query_ListOfSum.gold
- - rw-r--r-- 1,448 query_Lists1.gold
- - rw-r--r-- 1,696 query_Maybe.gold
- - rw-r--r-- 1,169 query_Strings1.gold
- - rw-r--r-- 2,193 query_SumMaybeBoth.gold
- - rw-r--r-- 1,873 query_Sums.gold
- - rw-r--r-- 1,650 query_Tuples1.gold
- - rw-r--r-- 1,878 query_Tuples2.gold
- - rw-r--r-- 2,002 query_abc.gold
- - rw-r--r-- 2,316 query_badOption.gold
- - rw-r--r-- 2,325 query_bitwuzla.gold
- - rw-r--r-- 2,327 query_boolector.gold
- - rw-r--r-- 2,405 query_cvc4.gold
- - rw-r--r-- 2,338 query_cvc5.gold
- - rw-r--r-- 2,184 query_mathsat.gold
- - rw-r--r-- 1,846 query_sumMergeEither1.gold
- - rw-r--r-- 1,866 query_sumMergeEither2.gold
- - rw-r--r-- 1,785 query_sumMergeMaybe1.gold
- - rw-r--r-- 1,785 query_sumMergeMaybe2.gold
- - rw-r--r-- 1,504 query_uiSat_test1.gold
- - rw-r--r-- 1,756 query_uiSat_test2.gold
- - rw-r--r-- 8,033 query_uisatex1.gold
- - rw-r--r-- 7,664 query_uisatex2.gold
- - rw-r--r-- 1,286 query_uisatex3.gold
- - rw-r--r-- 2,145 query_yices.gold
- - rw-r--r-- 2,286 query_z3.gold
- - rw-r--r-- 5,901 reverse.gold
- - rw-r--r-- 6,196 reverseAlt10.gold
- - rw-r--r-- 1,293 safe1.gold
- - rw-r--r-- 1,252 safe2.gold
- - rw-r--r-- 2,225 selChecked.gold
- - rw-r--r-- 2,269 selUnchecked.gold
- - rw-r--r-- 920 seqConcat.gold
- - rw-r--r-- 944 seqConcatBad.gold
- - rw-r--r-- 920 seqExamples1.gold
- - rw-r--r-- 1,401 seqExamples2.gold
- - rw-r--r-- 1,848 seqExamples3.gold
- - rw-r--r-- 1,669 seqExamples4.gold
- - rw-r--r-- 2,050 seqExamples5.gold
- - rw-r--r-- 1,522 seqExamples6.gold
- - rw-r--r-- 1,631 seqExamples7.gold
- - rw-r--r-- 1,797 seqExamples8.gold
- - rw-r--r-- 920 seqIndexOf.gold
- - rw-r--r-- 944 seqIndexOfBad.gold
- - rw-r--r-- 2,401 set_compl1.gold
- - rw-r--r-- 2,386 set_delete1.gold
- - rw-r--r-- 2,338 set_diff1.gold
- - rw-r--r-- 2,462 set_disj1.gold
- - rw-r--r-- 1,895 set_empty1.gold
- - rw-r--r-- 1,894 set_full1.gold
- - rw-r--r-- 2,382 set_insert1.gold
- - rw-r--r-- 2,354 set_intersect1.gold
- - rw-r--r-- 2,016 set_member1.gold
- - rw-r--r-- 2,099 set_notMember1.gold
- - rw-r--r-- 2,663 set_psubset1.gold
- - rw-r--r-- 2,134 set_subset1.gold
- - rw-r--r-- 1,825 set_tupleSet.gold
- - rw-r--r-- 4,695 set_uninterp1.gold
- - rw-r--r-- 1,613 set_uninterp2.gold
- - rw-r--r-- 2,322 set_union1.gold
- - rw-r--r-- 106,773 sha256HashBlock.gold
- - rw-r--r-- 8,035 sort.gold
- - rw-r--r-- 76 squashReals1.gold
- - rw-r--r-- 38 squashReals2.gold
- - rw-r--r-- 95 squashReals3.gold
- - rw-r--r-- 38 squashReals4.gold
- - rw-r--r-- 920 strConcat.gold
- - rw-r--r-- 944 strConcatBad.gold
- - rw-r--r-- 920 strExamples1.gold
- - rw-r--r-- 1,223 strExamples10.gold
- - rw-r--r-- 1,265 strExamples11.gold
- - rw-r--r-- 1,266 strExamples12.gold
- - rw-r--r-- 1,265 strExamples13.gold
- - rw-r--r-- 1,209 strExamples2.gold
- - rw-r--r-- 1,535 strExamples3.gold
- - rw-r--r-- 1,417 strExamples4.gold
- - rw-r--r-- 1,783 strExamples5.gold
- - rw-r--r-- 1,354 strExamples6.gold
- - rw-r--r-- 1,463 strExamples7.gold
- - rw-r--r-- 1,635 strExamples8.gold
- - rw-r--r-- 1,221 strExamples9.gold
- - rw-r--r-- 920 strIndexOf.gold
- - rw-r--r-- 944 strIndexOfBad.gold
- - rw-r--r-- 2,534 sumBimapPlus.gold
- - rw-r--r-- 1,967 sumEitherSat.gold
- - rw-r--r-- 2,200 sumLiftEither.gold
- - rw-r--r-- 1,722 sumLiftMaybe.gold
- - rw-r--r-- 2,656 sumMaybe.gold
- - rw-r--r-- 2,193 sumMaybeBoth.gold
- - rw-r--r-- 2,014 sumMergeEither1.gold
- - rw-r--r-- 2,034 sumMergeEither2.gold
- - rw-r--r-- 1,941 sumMergeMaybe1.gold
- - rw-r--r-- 1,941 sumMergeMaybe2.gold
- - rw-r--r-- 43 temperature.gold
- - rw-r--r-- 2,028 tgen_c.gold
- - rw-r--r-- 2,390 tgen_forte.gold
- - rw-r--r-- 927 tgen_haskell.gold
- - rw-r--r-- 26 timeout1.gold
- - rw-r--r-- 4,790 tuple_enum.gold
- - rw-r--r-- 4,161 tuple_list.gold
- - rw-r--r-- 18 tuple_makePair.gold
- - rw-r--r-- 2,441 tuple_nested.gold
- - rw-r--r-- 2,501 tuple_swap.gold
- - rw-r--r-- 1,969 tuple_twoTwo.gold
- - rw-r--r-- 2,039 tuple_unequal.gold
- - rw-r--r-- 18 tuple_unit.gold
- - rw-r--r-- 3,426 uiSat_test1.gold
- - rw-r--r-- 12,720 uiSat_test2.gold
- - rw-r--r-- 76,911 uiSat_test3.gold
- - rw-r--r-- 1,791 unint-axioms-empty.gold
- - rw-r--r-- 2,621 unint-axioms-query.gold
- - rw-r--r-- 1,851 unint-axioms.gold
- - rw-r--r-- 1,234 uninterpreted-3.gold
- - rw-r--r-- 2,386 uninterpreted-3a.gold
- - rw-r--r-- 1,360 uninterpreted-4.gold
- - rw-r--r-- 1,876 uninterpreted-4a.gold
- - rw-r--r-- 1,504 validate_0.gold
- - rw-r--r-- 1,855 validate_1.gold
- - rw-r--r-- 1,811 validate_2.gold
- - rw-r--r-- 1,058 validate_3.gold
- - rw-r--r-- 1,029 validate_4.gold
- - rw-r--r-- 1,765 validate_5.gold
- - rw-r--r-- 1,762 validate_6.gold
- - rw-r--r-- 1,972 validate_7.gold