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

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	16s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs	17s
run_tests (blueprint_algebra_fields_plonk_field_operations_test)	3m 4s
run_tests (blueprint_algebra_fields_plonk_field_operations_test)	3m 48s
run_tests (blueprint_algebra_fields_plonk_exponentiation_test)	2m 40s
run_tests (blueprint_algebra_fields_plonk_exponentiation_test)	2m 43s
run_tests (blueprint_algebra_curves_plonk_unified_addition_test)	2m 53s
run_tests (blueprint_algebra_curves_plonk_unified_addition_test)	3m 1s
run_tests (blueprint_algebra_curves_plonk_variable_base_scalar_mul_test)	3m 58s
run_tests (blueprint_algebra_curves_plonk_variable_base_scalar_mul_test)	3m 9s
run_tests (blueprint_verifiers_kimchi_sponge_oracles_test)	3m 54s
run_tests (blueprint_verifiers_kimchi_sponge_oracles_test)	2m 56s
run_tests (blueprint_hashes_plonk_poseidon_test)	2m 32s
run_tests (blueprint_hashes_plonk_poseidon_test)	2m 33s
run_tests (blueprint_algebra_curves_plonk_endo_scalar_test)	2m 59s
run_tests (blueprint_algebra_curves_plonk_endo_scalar_test)	2m 34s
run_tests (blueprint_algebra_fields_plonk_range_check_test)	3m 14s
run_tests (blueprint_algebra_fields_plonk_range_check_test)	2m 56s
run_tests (blueprint_algebra_fields_plonk_logic_and_flag_test)	2m 40s
run_tests (blueprint_algebra_fields_plonk_logic_and_flag_test)	3m 2s
run_tests (blueprint_algebra_fields_plonk_logic_or_flag_test)	3m 0s
run_tests (blueprint_algebra_fields_plonk_logic_or_flag_test)	3m 4s
run_tests (blueprint_algebra_fields_plonk_interpolation_test)	3m 10s
run_tests (blueprint_algebra_fields_plonk_interpolation_test)	3m 10s
run_tests (blueprint_algebra_fields_plonk_non_native_addition_test)	2m 35s
run_tests (blueprint_algebra_fields_plonk_non_native_addition_test)	2m 53s
run_tests (blueprint_algebra_fields_plonk_non_native_subtraction_test)	2m 25s
run_tests (blueprint_algebra_fields_plonk_non_native_subtraction_test)	2m 52s
run_tests (blueprint_algebra_fields_plonk_non_native_multiplication_test)	2m 31s
run_tests (blueprint_algebra_fields_plonk_non_native_multiplication_test)	2m 57s
run_tests (blueprint_algebra_fields_plonk_non_native_range_test)	2m 27s
run_tests (blueprint_algebra_fields_plonk_non_native_range_test)	2m 24s
run_tests (blueprint_algebra_fields_plonk_non_native_reduction_test)	2m 28s
run_tests (blueprint_algebra_fields_plonk_non_native_reduction_test)	2m 30s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_decomposition_test)	2m 56s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_decomposition_test)	2m 42s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_composition_test)	2m 51s
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 36s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_shift_constant_test)	2m 34s
run_tests (blueprint_algebra_fields_plonk_non_native_logic_ops_test)	2m 28s
run_tests (blueprint_algebra_fields_plonk_non_native_logic_ops_test)	2m 33s
run_tests (blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test)	2m 47s
run_tests (blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test)	2m 25s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_checked_test)	2m 59s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_checked_test)	3m 58s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test)	3m 58s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test)	3m 0s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_flag_test)	2m 48s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_flag_test)	2m 51s
run_tests (blueprint_algebra_fields_plonk_non_native_equality_flag_test)	4m 11s
run_tests (blueprint_algebra_fields_plonk_non_native_equality_flag_test)	2m 39s
run_tests (blueprint_algebra_fields_plonk_non_native_division_remainder_test)	3m 1s
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 23s
run_tests (blueprint_non_native_plonk_scalar_non_native_range_test)	2m 44s
run_tests (blueprint_non_native_plonk_bool_scalar_multiplication_test)	2m 30s
run_tests (blueprint_non_native_plonk_bool_scalar_multiplication_test)	2m 24s
run_tests (blueprint_non_native_plonk_add_mul_zkllvm_compatible_test)	4m 29s
run_tests (blueprint_non_native_plonk_add_mul_zkllvm_compatible_test)	4m 27s
run_tests (blueprint_hashes_plonk_decomposition_test)	3m 20s
run_tests (blueprint_hashes_plonk_decomposition_test)	2m 22s
run_tests (blueprint_verifiers_placeholder_fri_cosets_test)	2m 23s
run_tests (blueprint_verifiers_placeholder_fri_cosets_test)	2m 46s
run_tests (blueprint_hashes_plonk_sha256_process_test)	4m 20s
run_tests (blueprint_hashes_plonk_sha256_process_test)	2m 40s
run_tests (blueprint_hashes_plonk_sha512_process_test)	2m 30s
run_tests (blueprint_hashes_plonk_sha512_process_test)	2m 31s
run_tests (blueprint_hashes_plonk_sha256_test)	4m 47s
run_tests (blueprint_hashes_plonk_sha256_test)	4m 38s
run_tests (blueprint_hashes_plonk_sha512_test)	3m 53s
run_tests (blueprint_hashes_plonk_sha512_test)	2m 40s
run_tests (blueprint_algebra_fields_plonk_sqrt_test)	2m 34s
run_tests (blueprint_algebra_fields_plonk_sqrt_test)	2m 59s
run_tests (blueprint_verifiers_placeholder_fri_lin_inter_test)	4m 27s
run_tests (blueprint_verifiers_placeholder_fri_lin_inter_test)	2m 36s
run_tests (blueprint_verifiers_placeholder_fri_array_swap_test)	2m 35s
run_tests (blueprint_verifiers_placeholder_fri_array_swap_test)	2m 33s
run_tests (blueprint_manifest_test)	1m 29s
run_tests (blueprint_manifest_test)	1m 29s
run_tests (blueprint_detail_huang_lu_test)	1m 34s
run_tests (blueprint_detail_huang_lu_test)	1m 30s
run_tests (blueprint_private_input_test)	3m 19s
run_tests (blueprint_private_input_test)	2m 17s
run_tests (blueprint_verifiers_placeholder_permutation_argument_verifier_test)	2m 21s
run_tests (blueprint_verifiers_placeholder_permutation_argument_verifier_test)	2m 21s
run_tests (blueprint_verifiers_placeholder_gate_argument_verifier_test)	2m 30s
run_tests (blueprint_verifiers_placeholder_gate_argument_verifier_test)	2m 29s
run_tests (blueprint_verifiers_placeholder_lookup_argument_verifier_test)	3m 54s
run_tests (blueprint_verifiers_placeholder_lookup_argument_verifier_test)	2m 46s
run_tests (blueprint_verifiers_placeholder_f1_loop_test)	2m 46s
run_tests (blueprint_verifiers_placeholder_f1_loop_test)	2m 42s
run_tests (blueprint_verifiers_placeholder_f3_loop_test)	2m 34s
run_tests (blueprint_verifiers_placeholder_f3_loop_test)	2m 32s
run_tests (blueprint_verifiers_placeholder_gate_component_test)	2m 31s
run_tests (blueprint_verifiers_placeholder_gate_component_test)	2m 34s
run_tests (blueprint_proxy_test)	4m 10s
run_tests (blueprint_proxy_test)	2m 19s
	4h 37m 55s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

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

Usage

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

Jobs

Run details

Run time