add_executable(prove_parallel_slot src/prove_parallel_slot.cc)
target_link_libraries(prove_parallel_slot pslot)
-add_executable(compare_isp src/compare_isp.cc)
-target_link_libraries(compare_isp pslot)
+add_executable(compare_to_vorobieva src/compare_to_vorobieva.cc)
+target_link_libraries(compare_to_vorobieva pslot)
+
+add_executable(compare_to_zips src/compare_to_zips.cc)
+target_link_libraries(compare_to_zips pslot)
+
+add_executable(compare_to_li src/compare_to_li.cc)
+target_link_libraries(compare_to_li pslot)
if (SKIP_UT)
return()