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)
if (SKIP_UT)
return()