new data

uclid-org · Oct 16, 2020 · 0ec8f72 · 0ec8f72
1 parent 8f227f4
commit 0ec8f72
Show file tree

Hide file tree

Showing 135 changed files with 180,157 additions and 20 deletions.
diff --git a/data/BV/MLP_probes_binary_20_nearest_1.csv b/data/BV/MLP_probes_binary_20_nearest_1.csv
diff --git a/data/BV/MLP_probes_binary_5_nearest_1.csv b/data/BV/MLP_probes_binary_5_nearest_1.csv
diff --git a/data/BV/MLP_probes_binary_expo_1.csv b/data/BV/MLP_probes_binary_expo_1.csv
diff --git a/data/BV/MLP_probes_binary_perfect_1.csv b/data/BV/MLP_probes_binary_perfect_1.csv
diff --git a/data/BV/MLP_probes_binary_sgd_1.csv b/data/BV/MLP_probes_binary_sgd_1.csv
diff --git a/data/BV/exp3a_probes_binary_20_nearest_1.csv b/data/BV/exp3a_probes_binary_20_nearest_1.csv
diff --git a/data/BV/exp3a_probes_binary_5_nearest_1.csv b/data/BV/exp3a_probes_binary_5_nearest_1.csv
diff --git a/data/BV/exp3a_probes_binary_expo_1.csv b/data/BV/exp3a_probes_binary_expo_1.csv
diff --git a/data/BV/exp3a_probes_binary_perfect_1.csv b/data/BV/exp3a_probes_binary_perfect_1.csv
diff --git a/data/BV/exp3a_probes_binary_sgd_1.csv b/data/BV/exp3a_probes_binary_sgd_1.csv
diff --git a/data/BV/knearest_probes_binary_20_nearest_1.csv b/data/BV/knearest_probes_binary_20_nearest_1.csv
diff --git a/data/BV/knearest_probes_binary_5_nearest_1.csv b/data/BV/knearest_probes_binary_5_nearest_1.csv
diff --git a/data/BV/knearest_probes_binary_expo_1.csv b/data/BV/knearest_probes_binary_expo_1.csv
diff --git a/data/BV/knearest_probes_binary_perfect_1.csv b/data/BV/knearest_probes_binary_perfect_1.csv
diff --git a/data/BV/knearest_probes_binary_sgd_1.csv b/data/BV/knearest_probes_binary_sgd_1.csv
diff --git a/data/BV/knearest_probes_exp_20_nearest_1.csv b/data/BV/knearest_probes_exp_20_nearest_1.csv
diff --git a/data/BV/linear_probes_binary_20_nearest_1.csv b/data/BV/linear_probes_binary_20_nearest_1.csv
diff --git a/data/BV/linear_probes_binary_5_nearest_1.csv b/data/BV/linear_probes_binary_5_nearest_1.csv
diff --git a/data/BV/linear_probes_binary_expo_1.csv b/data/BV/linear_probes_binary_expo_1.csv
diff --git a/data/BV/linear_probes_binary_perfect_1.csv b/data/BV/linear_probes_binary_perfect_1.csv
diff --git a/data/BV/linear_probes_binary_sgd_1.csv b/data/BV/linear_probes_binary_sgd_1.csv
diff --git a/data/BV/thompson_probes_binary_20_nearest_1.csv b/data/BV/thompson_probes_binary_20_nearest_1.csv
diff --git a/data/BV/thompson_probes_binary_5_nearest_1.csv b/data/BV/thompson_probes_binary_5_nearest_1.csv
diff --git a/data/BV/thompson_probes_binary_expo_1.csv b/data/BV/thompson_probes_binary_expo_1.csv
diff --git a/data/BV/thompson_probes_binary_perfect_1.csv b/data/BV/thompson_probes_binary_perfect_1.csv
diff --git a/data/BV/thompson_probes_binary_sgd_1.csv b/data/BV/thompson_probes_binary_sgd_1.csv
diff --git a/data/QF_ABV/MLP_probes_binary_20_nearest_1.csv b/data/QF_ABV/MLP_probes_binary_20_nearest_1.csv
diff --git a/data/QF_ABV/MLP_probes_binary_5_nearest_1.csv b/data/QF_ABV/MLP_probes_binary_5_nearest_1.csv
diff --git a/data/QF_ABV/MLP_probes_binary_expo_1.csv b/data/QF_ABV/MLP_probes_binary_expo_1.csv
diff --git a/data/QF_ABV/MLP_probes_binary_perfect_1.csv b/data/QF_ABV/MLP_probes_binary_perfect_1.csv
diff --git a/data/QF_ABV/MLP_probes_binary_sgd_1.csv b/data/QF_ABV/MLP_probes_binary_sgd_1.csv
diff --git a/data/QF_ABV/exp3a_probes_binary_20_nearest_1.csv b/data/QF_ABV/exp3a_probes_binary_20_nearest_1.csv
diff --git a/data/QF_ABV/exp3a_probes_binary_5_nearest_1.csv b/data/QF_ABV/exp3a_probes_binary_5_nearest_1.csv
diff --git a/data/QF_ABV/exp3a_probes_binary_expo_1.csv b/data/QF_ABV/exp3a_probes_binary_expo_1.csv
diff --git a/data/QF_ABV/exp3a_probes_binary_perfect_1.csv b/data/QF_ABV/exp3a_probes_binary_perfect_1.csv
diff --git a/data/QF_ABV/exp3a_probes_binary_sgd_1.csv b/data/QF_ABV/exp3a_probes_binary_sgd_1.csv
diff --git a/data/QF_ABV/knearest_probes_binary_20_nearest_1.csv b/data/QF_ABV/knearest_probes_binary_20_nearest_1.csv
diff --git a/data/QF_ABV/knearest_probes_binary_5_nearest_1.csv b/data/QF_ABV/knearest_probes_binary_5_nearest_1.csv
diff --git a/data/QF_ABV/knearest_probes_binary_expo_1.csv b/data/QF_ABV/knearest_probes_binary_expo_1.csv
diff --git a/data/QF_ABV/knearest_probes_binary_perfect_1.csv b/data/QF_ABV/knearest_probes_binary_perfect_1.csv
diff --git a/data/QF_ABV/knearest_probes_binary_sgd_1.csv b/data/QF_ABV/knearest_probes_binary_sgd_1.csv
diff --git a/data/QF_ABV/linear_probes_binary_20_nearest_1.csv b/data/QF_ABV/linear_probes_binary_20_nearest_1.csv
diff --git a/data/QF_ABV/linear_probes_binary_5_nearest_1.csv b/data/QF_ABV/linear_probes_binary_5_nearest_1.csv
diff --git a/data/QF_ABV/linear_probes_binary_expo_1.csv b/data/QF_ABV/linear_probes_binary_expo_1.csv
diff --git a/data/QF_ABV/linear_probes_binary_perfect_1.csv b/data/QF_ABV/linear_probes_binary_perfect_1.csv
diff --git a/data/QF_ABV/linear_probes_binary_sgd_1.csv b/data/QF_ABV/linear_probes_binary_sgd_1.csv
diff --git a/data/QF_ABV/thompson_probes_binary_20_nearest_1.csv b/data/QF_ABV/thompson_probes_binary_20_nearest_1.csv
diff --git a/data/QF_ABV/thompson_probes_binary_5_nearest_1.csv b/data/QF_ABV/thompson_probes_binary_5_nearest_1.csv
diff --git a/data/QF_ABV/thompson_probes_binary_expo_1.csv b/data/QF_ABV/thompson_probes_binary_expo_1.csv
diff --git a/data/QF_ABV/thompson_probes_binary_perfect_1.csv b/data/QF_ABV/thompson_probes_binary_perfect_1.csv
diff --git a/data/QF_ABV/thompson_probes_binary_sgd_1.csv b/data/QF_ABV/thompson_probes_binary_sgd_1.csv
diff --git a/data/Sage2/MLP_probes_binary_20_nearest_1.csv b/data/Sage2/MLP_probes_binary_20_nearest_1.csv
diff --git a/data/Sage2/MLP_probes_binary_5_nearest_1.csv b/data/Sage2/MLP_probes_binary_5_nearest_1.csv
diff --git a/data/Sage2/MLP_probes_binary_expo_1.csv b/data/Sage2/MLP_probes_binary_expo_1.csv
diff --git a/data/Sage2/MLP_probes_binary_perfect_1.csv b/data/Sage2/MLP_probes_binary_perfect_1.csv
diff --git a/data/Sage2/MLP_probes_binary_sgd_1.csv b/data/Sage2/MLP_probes_binary_sgd_1.csv
diff --git a/data/Sage2/exp3a_probes_binary_20_nearest_1.csv b/data/Sage2/exp3a_probes_binary_20_nearest_1.csv
diff --git a/data/Sage2/exp3a_probes_binary_5_nearest_1.csv b/data/Sage2/exp3a_probes_binary_5_nearest_1.csv
diff --git a/data/Sage2/exp3a_probes_binary_expo_1.csv b/data/Sage2/exp3a_probes_binary_expo_1.csv
diff --git a/data/Sage2/exp3a_probes_binary_perfect_1.csv b/data/Sage2/exp3a_probes_binary_perfect_1.csv
diff --git a/data/Sage2/exp3a_probes_binary_sgd_1.csv b/data/Sage2/exp3a_probes_binary_sgd_1.csv
diff --git a/data/Sage2/knearest_probes_binary_20_nearest_1.csv b/data/Sage2/knearest_probes_binary_20_nearest_1.csv
diff --git a/data/Sage2/knearest_probes_binary_5_nearest_1.csv b/data/Sage2/knearest_probes_binary_5_nearest_1.csv
diff --git a/data/Sage2/knearest_probes_binary_expo_1.csv b/data/Sage2/knearest_probes_binary_expo_1.csv
diff --git a/data/Sage2/knearest_probes_binary_perfect_1.csv b/data/Sage2/knearest_probes_binary_perfect_1.csv
diff --git a/data/Sage2/knearest_probes_binary_sgd_1.csv b/data/Sage2/knearest_probes_binary_sgd_1.csv
diff --git a/data/Sage2/linear_probes_binary_20_nearest_1.csv b/data/Sage2/linear_probes_binary_20_nearest_1.csv
diff --git a/data/Sage2/linear_probes_binary_5_nearest_1.csv b/data/Sage2/linear_probes_binary_5_nearest_1.csv
diff --git a/data/Sage2/linear_probes_binary_expo_1.csv b/data/Sage2/linear_probes_binary_expo_1.csv
diff --git a/data/Sage2/linear_probes_binary_perfect_1.csv b/data/Sage2/linear_probes_binary_perfect_1.csv
diff --git a/data/Sage2/linear_probes_binary_sgd_1.csv b/data/Sage2/linear_probes_binary_sgd_1.csv
diff --git a/data/Sage2/thompson_probes_binary_20_nearest_1.csv b/data/Sage2/thompson_probes_binary_20_nearest_1.csv
diff --git a/data/Sage2/thompson_probes_binary_5_nearest_1.csv b/data/Sage2/thompson_probes_binary_5_nearest_1.csv
diff --git a/data/Sage2/thompson_probes_binary_expo_1.csv b/data/Sage2/thompson_probes_binary_expo_1.csv
diff --git a/data/Sage2/thompson_probes_binary_perfect_1.csv b/data/Sage2/thompson_probes_binary_perfect_1.csv
diff --git a/data/Sage2/thompson_probes_binary_sgd_1.csv b/data/Sage2/thompson_probes_binary_sgd_1.csv
diff --git a/data/bv.csv b/data/bv.csv
@@ -0,0 +1,28 @@
+solver, total time, total solved
+Bitwuzla.csv,2132.088451385498,470
+CVC4.csv,1951.799156665802,476
+MLP_probes_binary_5_nearest_1.csv,1145.1926038265228,475
+MLP_probes_binary_expo_1.csv,1553.070767879486,481
+MLP_probes_binary_perfect_1.csv,903.6302540302277,492
+MLP_probes_binary_sgd_1.csv,214.58544874191284,405
+MathSAT.csv,214.84439992904663,405
+YICES.csv,3704.3572397232056,441
+Z3.csv,1508.5941886901855,476
+exp3a_probes_binary_20_nearest_1.csv,1231.543926000595,480
+exp3a_probes_binary_5_nearest_1.csv,1231.543926000595,480
+exp3a_probes_binary_expo_1.csv,1097.696887254715,485
+exp3a_probes_binary_perfect_1.csv,1984.9816408157349,492
+exp3a_probes_binary_sgd_1.csv,2241.1339790821075,450
+knearest_probes_binary_5_nearest_1.csv,1081.659438610077,485
+knearest_probes_binary_expo_1.csv,799.1605188846588,490
+knearest_probes_binary_perfect_1.csv,1859.5077526569366,492
+knearest_probes_binary_sgd_1.csv,3707.17791724205,439
+linear_probes_binary_20_nearest_1.csv,1290.8673322200775,480
+linear_probes_binary_5_nearest_1.csv,1290.8673322200775,480
+linear_probes_binary_expo_1.csv,1245.7139356136322,485
+linear_probes_binary_perfect_1.csv,1791.5529775619507,492
+linear_probes_binary_sgd_1.csv,1784.0159890651703,393
+thompson_probes_binary_5_nearest_1.csv,1409.323540687561,477
+thompson_probes_binary_expo_1.csv,1239.9329075813293,489
+thompson_probes_binary_perfect_1.csv,1851.3214421272278,492
+thompson_probes_binary_sgd_1.csv,2112.8365499973297,461
diff --git a/data/combined.csv b/data/combined.csv
@@ -6,8 +6,11 @@ MLP_bow_binary_expo_1.csv,21193.405126571655,1746
 MLP_bow_binary_expo_2.csv,17507.96491599083,1750
 MLP_bow_bump_expo_1.csv,21193.405126571655,1746
 MLP_bow_bump_expo_2.csv,17506.551240205765,1750
+MLP_probes_binary_5_nearest_1.csv,18434.320614099503,1704
 MLP_probes_binary_expo_1.csv,21549.243874788284,1727
 MLP_probes_binary_expo_2.csv,19182.199524641037,1710
+MLP_probes_binary_perfect_1.csv,18372.750327587128,1916
+MLP_probes_binary_sgd_1.csv,19305.24978709221,1125
 MLP_probes_bump_expo_1.csv,21549.243874788284,1727
 MLP_probes_bump_expo_2.csv,19182.199524641037,1710
 MathSAT.csv,41766.19432759285,1195
@@ -17,31 +20,45 @@ exp3a_bow_binary_expo_1.csv,25345.651545524597,1703
 exp3a_bow_binary_expo_2.csv,27453.63470363617,1671
 exp3a_bow_bump_expo_1.csv,27345.739029169083,1676
 exp3a_bow_bump_expo_2.csv,26174.77661538124,1705
+exp3a_probes_binary_20_nearest_1.csv,21949.744332313538,1698
+exp3a_probes_binary_5_nearest_1.csv,21949.744332313538,1698
 exp3a_probes_binary_expo_1.csv,25345.651545524597,1703
 exp3a_probes_binary_expo_2.csv,27453.63470363617,1671
+exp3a_probes_binary_perfect_1.csv,20808.171473026276,1917
+exp3a_probes_binary_sgd_1.csv,25504.127823114395,1515
 exp3a_probes_bump_expo_1.csv,27345.739029169083,1676
 exp3a_probes_bump_expo_2.csv,26174.77661538124,1705
 knearest_bow_binary_expo_1.csv,14322.840412139893,1813
 knearest_bow_binary_expo_2.csv,14669.279951095581,1811
 knearest_bow_bump_expo_1.csv,14322.840412139893,1813
 knearest_bow_bump_expo_2.csv,14669.279951095581,1811
+knearest_probes_binary_5_nearest_1.csv,17498.111234903336,1781
 knearest_probes_binary_expo_1.csv,12711.868203878403,1834
 knearest_probes_binary_expo_2.csv,13079.922970294952,1824
+knearest_probes_binary_perfect_1.csv,15912.471959590912,1917
+knearest_probes_binary_sgd_1.csv,15990.377245426178,1317
 knearest_probes_bump_expo_1.csv,12711.868203878403,1834
 knearest_probes_bump_expo_2.csv,13079.922970294952,1824
 linear_bow_binary_expo_1.csv,27073.872908115387,1596
 linear_bow_binary_expo_2.csv,27404.57997059822,1586
 linear_bow_bump_expo_1.csv,27073.872908115387,1596
 linear_bow_bump_expo_2.csv,27404.57997059822,1586
+linear_probes_binary_20_nearest_1.csv,23782.18407893181,1582
+linear_probes_binary_5_nearest_1.csv,23782.18407893181,1582
 linear_probes_binary_expo_1.csv,27073.872908115387,1596
 linear_probes_binary_expo_2.csv,27404.57997059822,1586
+linear_probes_binary_perfect_1.csv,22526.208121061325,1917
+linear_probes_binary_sgd_1.csv,26716.458802700043,1295
 linear_probes_bump_expo_1.csv,27073.872908115387,1596
 linear_probes_bump_expo_2.csv,27404.57997059822,1586
 thompson_bow_binary_expo_1.csv,22361.841480970383,1709
 thompson_bow_binary_expo_2.csv,18590.749752044678,1758
 thompson_bow_bump_expo_1.csv,22361.841480970383,1709
 thompson_bow_bump_expo_2.csv,18590.749752044678,1758
+thompson_probes_binary_5_nearest_1.csv,20637.63040494919,1726
 thompson_probes_binary_expo_1.csv,22361.841480970383,1709
 thompson_probes_binary_expo_2.csv,18590.749752044678,1758
+thompson_probes_binary_perfect_1.csv,19108.56628537178,1914
+thompson_probes_binary_sgd_1.csv,24535.062068462372,1649
 thompson_probes_bump_expo_1.csv,22361.841480970383,1709
 thompson_probes_bump_expo_2.csv,18590.749752044678,1758