hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-REACTIVE-GML-adaptive.csv" 'cool-gen_exec -series rabin-reactive -depth {size} -amount 0 -functor GML | timeout 1m cool-coalg sat GML --propagationRate adaptive '

hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-REACTIVE-K-adaptive.csv" 'cool-gen_exec -series rabin-reactive -depth {size} -functor K | timeout 1m cool-coalg sat K --propagationRate adaptive '

hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-COBUECHI-GML-adaptive.csv" 'cool-gen_exec -series rabin-cobuechi -depth {size} -amount 0 -functor GML | timeout 1m cool-coalg sat GML --propagationRate adaptive '

hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-COBUECHI-K-adaptive.csv" 'cool-gen_exec -series rabin-cobuechi -depth {size} -functor K | timeout 1m cool-coalg sat K --propagationRate adaptive '

hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-GAME-COBUECHI-GML-adaptive.csv" 'cool-gen_exec -series rabin-game-cobuechi -depth {size} -amount 0 -functor GML | timeout 1m cool-coalg sat GML --propagationRate adaptive '

hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-GAME-COBUECHI-K-adaptive.csv" 'cool-gen_exec -series rabin-game-cobuechi -depth {size} -functor K | timeout 1m cool-coalg sat K --propagationRate adaptive '

#hyperfine -w 1 -m 3 -P size 1 4 --export-csv "RABIN-once.csv" 'cool-gen_exec -functor GML -series rabin-reactive -depth {size} | timeout 1m cool-coalg sat GML --propagationRate once'
