[SyncWith:zkllvm#479]Improve satisfiability check #645

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs	24s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs	16s
run_tests (blueprint_algebra_fields_plonk_field_operations_test)	2m 54s
run_tests (blueprint_algebra_fields_plonk_field_operations_test)	3m 51s
run_tests (blueprint_algebra_fields_plonk_exponentiation_test)	3m 39s
run_tests (blueprint_algebra_fields_plonk_exponentiation_test)	2m 40s
run_tests (blueprint_algebra_curves_plonk_unified_addition_test)	2m 33s
run_tests (blueprint_algebra_curves_plonk_unified_addition_test)	2m 34s
run_tests (blueprint_algebra_curves_plonk_variable_base_scalar_mul_test)	3m 32s
run_tests (blueprint_algebra_curves_plonk_variable_base_scalar_mul_test)	3m 55s
run_tests (blueprint_verifiers_kimchi_sponge_oracles_test)	2m 53s
run_tests (blueprint_verifiers_kimchi_sponge_oracles_test)	3m 55s
run_tests (blueprint_hashes_plonk_poseidon_test)	2m 31s
run_tests (blueprint_hashes_plonk_poseidon_test)	2m 31s
run_tests (blueprint_algebra_curves_plonk_endo_scalar_test)	2m 28s
run_tests (blueprint_algebra_curves_plonk_endo_scalar_test)	2m 33s
run_tests (blueprint_algebra_fields_plonk_range_check_test)	2m 50s
run_tests (blueprint_algebra_fields_plonk_range_check_test)	2m 45s
run_tests (blueprint_algebra_fields_plonk_logic_and_flag_test)	2m 54s
run_tests (blueprint_algebra_fields_plonk_logic_and_flag_test)	2m 35s
run_tests (blueprint_algebra_fields_plonk_logic_or_flag_test)	2m 38s
run_tests (blueprint_algebra_fields_plonk_logic_or_flag_test)	3m 0s
run_tests (blueprint_algebra_fields_plonk_interpolation_test)	2m 43s
run_tests (blueprint_algebra_fields_plonk_interpolation_test)	3m 2s
run_tests (blueprint_algebra_fields_plonk_non_native_addition_test)	2m 49s
run_tests (blueprint_algebra_fields_plonk_non_native_addition_test)	2m 54s
run_tests (blueprint_algebra_fields_plonk_non_native_subtraction_test)	2m 31s
run_tests (blueprint_algebra_fields_plonk_non_native_subtraction_test)	3m 1s
run_tests (blueprint_algebra_fields_plonk_non_native_multiplication_test)	2m 55s
run_tests (blueprint_algebra_fields_plonk_non_native_multiplication_test)	2m 32s
run_tests (blueprint_algebra_fields_plonk_non_native_range_test)	2m 52s
run_tests (blueprint_algebra_fields_plonk_non_native_range_test)	2m 49s
run_tests (blueprint_algebra_fields_plonk_non_native_reduction_test)	2m 54s
run_tests (blueprint_algebra_fields_plonk_non_native_reduction_test)	2m 49s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_decomposition_test)	2m 37s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_decomposition_test)	2m 56s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_composition_test)	2m 40s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_composition_test)	2m 44s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_shift_constant_test)	2m 35s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_shift_constant_test)	3m 0s
run_tests (blueprint_algebra_fields_plonk_non_native_logic_ops_test)	2m 54s
run_tests (blueprint_algebra_fields_plonk_non_native_logic_ops_test)	2m 13s
run_tests (blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test)	2m 48s
run_tests (blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test)	2m 26s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_checked_test)	2m 56s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_checked_test)	3m 55s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test)	2m 52s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test)	2m 56s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_flag_test)	2m 42s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_flag_test)	2m 59s
run_tests (blueprint_algebra_fields_plonk_non_native_equality_flag_test)	3m 41s
run_tests (blueprint_algebra_fields_plonk_non_native_equality_flag_test)	3m 2s
run_tests (blueprint_algebra_fields_plonk_non_native_division_remainder_test)	2m 37s
run_tests (blueprint_algebra_fields_plonk_non_native_division_remainder_test)	2m 41s
run_tests (blueprint_non_native_plonk_scalar_non_native_range_test)	2m 22s
run_tests (blueprint_non_native_plonk_scalar_non_native_range_test)	2m 44s
run_tests (blueprint_non_native_plonk_bool_scalar_multiplication_test)	2m 31s
run_tests (blueprint_non_native_plonk_bool_scalar_multiplication_test)	2m 28s
run_tests (blueprint_non_native_plonk_add_mul_zkllvm_compatible_test)	4m 1s
run_tests (blueprint_non_native_plonk_add_mul_zkllvm_compatible_test)	4m 30s
run_tests (blueprint_hashes_plonk_decomposition_test)	2m 22s
run_tests (blueprint_hashes_plonk_decomposition_test)	6h 5m 0s
run_tests (blueprint_verifiers_placeholder_fri_cosets_test)	2m 49s
run_tests (blueprint_verifiers_placeholder_fri_cosets_test)	2m 23s
run_tests (blueprint_hashes_plonk_sha256_process_test)	2m 44s
run_tests (blueprint_hashes_plonk_sha256_process_test)	3m 3s
run_tests (blueprint_hashes_plonk_sha512_process_test)	2m 49s
run_tests (blueprint_hashes_plonk_sha512_process_test)	2m 30s
run_tests (blueprint_hashes_plonk_sha256_test)	5m 13s
run_tests (blueprint_hashes_plonk_sha256_test)	5m 3s
run_tests (blueprint_hashes_plonk_sha512_test)	2m 38s
run_tests (blueprint_hashes_plonk_sha512_test)	2m 42s
run_tests (blueprint_algebra_fields_plonk_sqrt_test)	2m 33s
run_tests (blueprint_algebra_fields_plonk_sqrt_test)	2m 35s
run_tests (blueprint_verifiers_placeholder_fri_lin_inter_test)	2m 33s
run_tests (blueprint_verifiers_placeholder_fri_lin_inter_test)	3m 4s
run_tests (blueprint_verifiers_placeholder_fri_array_swap_test)	3m 36s
run_tests (blueprint_verifiers_placeholder_fri_array_swap_test)	2m 38s
run_tests (blueprint_manifest_test)	1m 36s
run_tests (blueprint_manifest_test)	2m 0s
run_tests (blueprint_detail_huang_lu_test)	1m 57s
run_tests (blueprint_detail_huang_lu_test)	1m 55s
run_tests (blueprint_private_input_test)	2m 18s
run_tests (blueprint_private_input_test)	2m 20s
run_tests (blueprint_verifiers_placeholder_permutation_argument_verifier_test)	2m 19s
run_tests (blueprint_verifiers_placeholder_permutation_argument_verifier_test)	2m 47s
run_tests (blueprint_verifiers_placeholder_gate_argument_verifier_test)	2m 24s
run_tests (blueprint_verifiers_placeholder_gate_argument_verifier_test)	2m 51s
run_tests (blueprint_verifiers_placeholder_lookup_argument_verifier_test)	2m 45s
run_tests (blueprint_verifiers_placeholder_lookup_argument_verifier_test)	3m 42s
run_tests (blueprint_verifiers_placeholder_f1_loop_test)	2m 41s
run_tests (blueprint_verifiers_placeholder_f1_loop_test)	2m 45s
run_tests (blueprint_verifiers_placeholder_f3_loop_test)	2m 30s
run_tests (blueprint_verifiers_placeholder_f3_loop_test)	3m 6s
run_tests (blueprint_verifiers_placeholder_gate_component_test)	2m 29s
run_tests (blueprint_verifiers_placeholder_gate_component_test)	2m 41s
run_tests (blueprint_proxy_test)	2m 41s
run_tests (blueprint_proxy_test)	2m 42s
	10h 36m 16s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[SyncWith:zkllvm#479]Improve satisfiability check #645

Usage

[SyncWith:zkllvm#479]Improve satisfiability check #645

Jobs

Run details

Run time