harness:full_quick:pyvorin-project-venv:small

finished · pyvorin-project-venv

← All campaigns

Campaign Summary

ID: 89c4f30e84c14f6e92a400ac

Started: 2026-07-18 23:50:43.361532
Finished: 2026-07-18 23:51:29.086025
Duration: 45.7s

11
Workloads
66
Cases
48
Passed
18
Failed
6
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.0658
cold mean ms
0.0076
warm mean ms
0.0069
warm median ms
0.0010
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.0951
cold mean ms
0.0177
warm mean ms
0.0161
warm median ms
0.0030
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

1.7925
cold mean ms
0.6238
warm mean ms
0.5226
warm median ms
0.2267
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0551
cold mean ms
0.0455
warm mean ms
0.0455
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.0841
cold mean ms
0.0218
warm mean ms
0.0222
warm median ms
0.0050
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

1.1646
cold mean ms
0.0869
warm mean ms
0.0864
warm median ms
0.0050
warm stdev ms
100%
success rate
6
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

2.0472
cold mean ms
2.7896
warm mean ms
2.7417
warm median ms
0.1198
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0728
cold mean ms
0.0563
warm mean ms
0.0551
warm median ms
0.0033
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

Case Runs

Workload Phase Status Correctness Mean ms Duration
core.float_reduction cold success match 0.0951 0.00s
core.float_reduction warm success match 0.0155 0.00s
core.float_reduction warm success match 0.0228 0.00s
core.float_reduction warm success match 0.0160 0.00s
core.float_reduction warm success match 0.0161 0.00s
core.float_reduction warm success match 0.0183 0.00s
core.integer_sum cold success match 0.0658 0.00s
core.integer_sum warm success match 0.0068 0.00s
core.integer_sum warm success match 0.0069 0.00s
core.integer_sum warm success match 0.0069 0.00s
core.integer_sum warm success match 0.0092 0.00s
core.integer_sum warm success match 0.0079 0.00s
core.list_filter cold success match 1.7925 0.00s
core.list_filter warm success match 0.5135 0.00s
core.list_filter warm success match 0.5226 0.00s
core.list_filter warm success match 0.5222 0.00s
core.list_filter warm success match 0.5316 0.00s
core.list_filter warm success match 1.0293 0.00s
data_processing.csv_parse cold success mismatch 1.1646 0.00s
data_processing.csv_parse warm success mismatch 0.0945 0.00s
data_processing.csv_parse warm success mismatch 0.0883 0.00s
data_processing.csv_parse warm success mismatch 0.0864 0.00s
data_processing.csv_parse warm success mismatch 0.0839 0.00s
data_processing.csv_parse warm success mismatch 0.0814 0.00s
iot.rolling_average cold failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
numerical.dot_product cold success match 0.0551 0.00s
numerical.dot_product warm success match 0.0420 0.00s
numerical.dot_product warm success match 0.0455 0.00s
numerical.dot_product warm success match 0.0479 0.00s
numerical.dot_product warm success match 0.0498 0.00s
numerical.dot_product warm success match 0.0421 0.00s
numerical.matrix_multiply cold failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.monte_carlo_pi cold success match 0.0841 0.00s
numerical.monte_carlo_pi warm success match 0.0175 0.00s
numerical.monte_carlo_pi warm success match 0.0282 0.00s
numerical.monte_carlo_pi warm success match 0.0222 0.00s
numerical.monte_carlo_pi warm success match 0.0163 0.00s
numerical.monte_carlo_pi warm success match 0.0247 0.00s
numerical.prime_sieve cold failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
stdlib.dict_lookup cold success match 0.0728 0.00s
stdlib.dict_lookup warm success match 0.0539 0.00s
stdlib.dict_lookup warm success match 0.0622 0.00s
stdlib.dict_lookup warm success match 0.0553 0.00s
stdlib.dict_lookup warm success match 0.0548 0.00s
stdlib.dict_lookup warm success match 0.0551 0.00s
stdlib.json_parse cold success match 2.0472 0.00s
stdlib.json_parse warm success match 2.9944 0.00s
stdlib.json_parse warm success match 2.6862 0.00s
stdlib.json_parse warm success match 2.7861 0.00s
stdlib.json_parse warm success match 2.7394 0.00s
stdlib.json_parse warm success match 2.7417 0.00s

Failures

Class Severity Signature Status
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open

Proof Packs

📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/3f636a19091e42b7b708e8a8
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/ad1dcfda056c45a5a27d25c8
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/bb1c555aa388407d97a32d94
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/773e363af81940d1846a777c
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/995374cff3254be7a4a5b8b1
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/9f4761764da84e308df9b9b5
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/d518664a394c490dbe02ba43
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/ddabe026eee64ab5837679f1
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/cdbee74fde8b47178d978a9b
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/85c426b92ac34b5384d14edf
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/28177c3a3a904bff95fcde34
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/ffe548eef7ca4f7a91f1cd5f
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/44ddf71e245b4f6fb9c53dd2
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/08932e47950c4b00acaeb4fd
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/7d96c7855bfe4b319ff98ec5
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/bb5d9eab91cd4ac49252ceaa
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/df48b32f312d4e96a8b75f9f
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/2772b80b5a2442cbb099cd6e
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/dcf167d5eb6141a09bdab492
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/9171bf21d95e401abd21c39b
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/bbadf5f089b64237a0daab08
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/5263139c2add496184cadb08
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/2e564a05632e4215b29e0713
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/ce850a79c33242eb8134d0d0
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/13b60efdc48e4d0b8f12e400
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/226f2c94dd044b7f8adf0819
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/804e2857bd454702bfcc6c76
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/15fe21e6a1b54d4a8606bea6
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/a7f2197312f3451c9171bca7
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/08b531213b2b4326a991438c
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/9e8ee28e15ac48618b5955aa
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/c22b2bd946934db8b66cefcc
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/5fa3271fb1094ea283280411
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/f2b9c02773ad4f73addf7a6e
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/dee4af03d34a482ab2e85e4a
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/9700f50d087f41e589a5b7fc
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/5672c14b7f2848b9bed46c24
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/1981158d82a947c7b8c02c33
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/cb218470fdb541a587761402
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/ce70d6a359f143aeafb7601a
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/46b9262b923849f99f7b2c14
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/89c4f30e84c14f6e92a400ac/cc93a77c02334ee88ace66db

← Back to campaigns