harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 50d58fbf562048e1975e1381

Started: 2026-07-19 00:27:06.192550
Finished: 2026-07-19 00:27:30.552686
Duration: 24.4s

31
Workloads
186
Cases
186
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2685
cold mean ms
0.2000
warm mean ms
0.1996
warm median ms
0.0126
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3073
cold mean ms
0.3142
warm mean ms
0.3163
warm median ms
0.0136
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0355
cold mean ms
0.0270
warm mean ms
0.0242
warm median ms
0.0069
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0891
cold mean ms
0.0603
warm mean ms
0.0557
warm median ms
0.0182
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.2941
cold mean ms
5.2018
warm mean ms
4.9989
warm median ms
0.6255
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.8731
cold mean ms
0.9661
warm mean ms
0.8961
warm median ms
0.1705
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.3108
cold mean ms
0.2702
warm mean ms
0.2635
warm median ms
0.0165
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.2623
cold mean ms
0.2434
warm mean ms
0.2218
warm median ms
0.0537
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.2146
cold mean ms
0.1796
warm mean ms
0.1727
warm median ms
0.0185
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.6313
cold mean ms
0.4424
warm mean ms
0.3937
warm median ms
0.1159
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.1007
cold mean ms
0.0726
warm mean ms
0.0565
warm median ms
0.0223
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.8748
cold mean ms
0.8962
warm mean ms
0.8891
warm median ms
0.0558
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0940
cold mean ms
0.0622
warm mean ms
0.0611
warm median ms
0.0024
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.6385
cold mean ms
9.1257
warm mean ms
8.9900
warm median ms
0.3926
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

98.6135
cold mean ms
102.9699
warm mean ms
102.4021
warm median ms
3.1317
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2655
cold mean ms
0.1267
warm mean ms
0.1190
warm median ms
0.0119
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.3727
cold mean ms
1.3090
warm mean ms
1.3159
warm median ms
0.0645
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

7.4195
cold mean ms
8.8351
warm mean ms
7.8145
warm median ms
1.8892
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

2.0253
cold mean ms
1.8719
warm mean ms
1.8718
warm median ms
0.0222
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0356
cold mean ms
1.4312
warm mean ms
0.9080
warm median ms
1.0600
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

55.1256
cold mean ms
41.4951
warm mean ms
41.5595
warm median ms
0.5034
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.3774
cold mean ms
0.1254
warm mean ms
0.1159
warm median ms
0.0275
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

5.4221
cold mean ms
4.8942
warm mean ms
4.8735
warm median ms
0.1198
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.0165
cold mean ms
1.1401
warm mean ms
1.0043
warm median ms
0.3007
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

1.6221
cold mean ms
1.3343
warm mean ms
1.0176
warm median ms
0.4607
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.2908
cold mean ms
0.2112
warm mean ms
0.1901
warm median ms
0.0422
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.9622
cold mean ms
0.6236
warm mean ms
0.6219
warm median ms
0.0143
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

3.3869
cold mean ms
2.5766
warm mean ms
2.3363
warm median ms
0.5981
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

26.9109
cold mean ms
19.2808
warm mean ms
19.4360
warm median ms
0.5875
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

5.8483
cold mean ms
5.8824
warm mean ms
5.8754
warm median ms
0.2007
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

26.6485
cold mean ms
30.4602
warm mean ms
27.6152
warm median ms
7.7071
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_vector

Case Runs

Workload Phase Status Correctness Mean ms Duration
compression.rle_roundtrip cold success match 98.6135 0.00s
compression.rle_roundtrip warm success match 102.4021 0.00s
compression.rle_roundtrip warm success match 100.2079 0.00s
compression.rle_roundtrip warm success match 104.6823 0.00s
compression.rle_roundtrip warm success match 107.4554 0.00s
compression.rle_roundtrip warm success match 100.1016 0.00s
core.float_reduction cold success match 0.3073 0.00s
core.float_reduction warm success match 0.3199 0.00s
core.float_reduction warm success match 0.3037 0.00s
core.float_reduction warm success match 0.3163 0.00s
core.float_reduction warm success match 0.2985 0.00s
core.float_reduction warm success match 0.3328 0.00s
core.integer_sum cold success match 0.2685 0.00s
core.integer_sum warm success match 0.2199 0.00s
core.integer_sum warm success match 0.1996 0.00s
core.integer_sum warm success match 0.1913 0.00s
core.integer_sum warm success match 0.2015 0.00s
core.integer_sum warm success match 0.1874 0.00s
core.list_filter cold success match 0.0355 0.00s
core.list_filter warm success match 0.0230 0.00s
core.list_filter warm success match 0.0242 0.00s
core.list_filter warm success match 0.0254 0.00s
core.list_filter warm success match 0.0232 0.00s
core.list_filter warm success match 0.0393 0.00s
crypto.fnv1a_hash cold success match 9.6385 0.00s
crypto.fnv1a_hash warm success match 9.6505 0.00s
crypto.fnv1a_hash warm success match 8.8682 0.00s
crypto.fnv1a_hash warm success match 8.7078 0.00s
crypto.fnv1a_hash warm success match 8.9900 0.00s
crypto.fnv1a_hash warm success match 9.4120 0.00s
data_processing.csv_parse cold success match 0.2623 0.00s
data_processing.csv_parse warm success match 0.2155 0.00s
data_processing.csv_parse warm success match 0.3391 0.00s
data_processing.csv_parse warm success match 0.2255 0.00s
data_processing.csv_parse warm success match 0.2218 0.00s
data_processing.csv_parse warm success match 0.2150 0.00s
etl.group_by_aggregate cold success match 1.3727 0.00s
etl.group_by_aggregate warm success match 1.3543 0.00s
etl.group_by_aggregate warm success match 1.2085 0.00s
etl.group_by_aggregate warm success match 1.3159 0.00s
etl.group_by_aggregate warm success match 1.3736 0.00s
etl.group_by_aggregate warm success match 1.2925 0.00s
etl.merge_join cold success match 7.4195 0.00s
etl.merge_join warm success match 10.7774 0.00s
etl.merge_join warm success match 10.9873 0.00s
etl.merge_join warm success match 7.8145 0.00s
etl.merge_join warm success match 7.5283 0.00s
etl.merge_join warm success match 7.0680 0.00s
financial.moving_average cold success match 5.4221 0.00s
financial.moving_average warm success match 5.0695 0.00s
financial.moving_average warm success match 4.8735 0.00s
financial.moving_average warm success match 4.7616 0.00s
financial.moving_average warm success match 4.9479 0.00s
financial.moving_average warm success match 4.8183 0.00s
graph.bfs cold success match 0.2908 0.00s
graph.bfs warm success match 0.2796 0.00s
graph.bfs warm success match 0.1812 0.00s
graph.bfs warm success match 0.2243 0.00s
graph.bfs warm success match 0.1901 0.00s
graph.bfs warm success match 0.1809 0.00s
image.grayscale_filter cold success match 0.2655 0.00s
image.grayscale_filter warm success match 0.1394 0.00s
image.grayscale_filter warm success match 0.1190 0.00s
image.grayscale_filter warm success match 0.1169 0.00s
image.grayscale_filter warm success match 0.1400 0.00s
image.grayscale_filter warm success match 0.1183 0.00s
iot.rolling_average cold success match 0.2146 0.00s
iot.rolling_average warm success match 0.1727 0.00s
iot.rolling_average warm success match 0.2120 0.00s
iot.rolling_average warm success match 0.1669 0.00s
iot.rolling_average warm success match 0.1690 0.00s
iot.rolling_average warm success match 0.1776 0.00s
ml.knn_inference cold success match 0.3774 0.00s
ml.knn_inference warm success match 0.1730 0.00s
ml.knn_inference warm success match 0.1033 0.00s
ml.knn_inference warm success match 0.1127 0.00s
ml.knn_inference warm success match 0.1159 0.00s
ml.knn_inference warm success match 0.1219 0.00s
numerical.dot_product cold success match 0.0891 0.00s
numerical.dot_product warm success match 0.0899 0.00s
numerical.dot_product warm success match 0.0470 0.00s
numerical.dot_product warm success match 0.0638 0.00s
numerical.dot_product warm success match 0.0557 0.00s
numerical.dot_product warm success match 0.0451 0.00s
numerical.matrix_multiply cold success match 5.2941 0.00s
numerical.matrix_multiply warm success match 6.2970 0.00s
numerical.matrix_multiply warm success match 5.0962 0.00s
numerical.matrix_multiply warm success match 4.7666 0.00s
numerical.matrix_multiply warm success match 4.8502 0.00s
numerical.matrix_multiply warm success match 4.9989 0.00s
numerical.matrix_vector cold success match 26.6485 0.00s
numerical.matrix_vector warm success match 26.5162 0.00s
numerical.matrix_vector warm success match 27.6152 0.00s
numerical.matrix_vector warm success match 44.0736 0.00s
numerical.matrix_vector warm success match 28.6817 0.00s
numerical.matrix_vector warm success match 25.4142 0.00s
numerical.monte_carlo_pi cold success match 0.8731 0.00s
numerical.monte_carlo_pi warm success match 0.8814 0.00s
numerical.monte_carlo_pi warm success match 1.2697 0.00s
numerical.monte_carlo_pi warm success match 0.8694 0.00s
numerical.monte_carlo_pi warm success match 0.8961 0.00s
numerical.monte_carlo_pi warm success match 0.9141 0.00s
numerical.prime_sieve cold success match 0.3108 0.00s
numerical.prime_sieve warm success match 0.2620 0.00s
numerical.prime_sieve warm success match 0.2818 0.00s
numerical.prime_sieve warm success match 0.2512 0.00s
numerical.prime_sieve warm success match 0.2635 0.00s
numerical.prime_sieve warm success match 0.2922 0.00s
object.shape_area cold success match 3.3869 0.00s
object.shape_area warm success match 2.3449 0.00s
object.shape_area warm success match 2.3363 0.00s
object.shape_area warm success match 2.2451 0.00s
object.shape_area warm success match 3.6442 0.00s
object.shape_area warm success match 2.3125 0.00s
parsing.csv_tokenize cold success match 1.0165 0.00s
parsing.csv_tokenize warm success match 1.0690 0.00s
parsing.csv_tokenize warm success match 1.6735 0.00s
parsing.csv_tokenize warm success match 0.9606 0.00s
parsing.csv_tokenize warm success match 0.9932 0.00s
parsing.csv_tokenize warm success match 1.0043 0.00s
parsing.ini_parse cold success match 1.6221 0.00s
parsing.ini_parse warm success match 0.9970 0.00s
parsing.ini_parse warm success match 0.9792 0.00s
parsing.ini_parse warm success match 1.0176 0.00s
parsing.ini_parse warm success match 1.8390 0.00s
parsing.ini_parse warm success match 1.8386 0.00s
serialization.json_serialize cold success match 26.9109 0.00s
serialization.json_serialize warm success match 18.5779 0.00s
serialization.json_serialize warm success match 19.7532 0.00s
serialization.json_serialize warm success match 18.7543 0.00s
serialization.json_serialize warm success match 19.4360 0.00s
serialization.json_serialize warm success match 19.8825 0.00s
simulation.particle_movement cold success match 55.1256 0.00s
simulation.particle_movement warm success match 40.7117 0.00s
simulation.particle_movement warm success match 42.1183 0.00s
simulation.particle_movement warm success match 41.5801 0.00s
simulation.particle_movement warm success match 41.5059 0.00s
simulation.particle_movement warm success match 41.5595 0.00s
sorting.merge_sort cold success match 0.9622 0.00s
sorting.merge_sort warm success match 0.6146 0.00s
sorting.merge_sort warm success match 0.6219 0.00s
sorting.merge_sort warm success match 0.6396 0.00s
sorting.merge_sort warm success match 0.6362 0.00s
sorting.merge_sort warm success match 0.6057 0.00s
stdlib.dict_lookup cold success match 0.1007 0.00s
stdlib.dict_lookup warm success match 0.0958 0.00s
stdlib.dict_lookup warm success match 0.0562 0.00s
stdlib.dict_lookup warm success match 0.0981 0.00s
stdlib.dict_lookup warm success match 0.0562 0.00s
stdlib.dict_lookup warm success match 0.0565 0.00s
stdlib.json_parse cold success match 0.6313 0.00s
stdlib.json_parse warm success match 0.3853 0.00s
stdlib.json_parse warm success match 0.3834 0.00s
stdlib.json_parse warm success match 0.6494 0.00s
stdlib.json_parse warm success match 0.3937 0.00s
stdlib.json_parse warm success match 0.4001 0.00s
string.log_parser cold success match 2.0253 0.00s
string.log_parser warm success match 1.8631 0.00s
string.log_parser warm success match 1.8718 0.00s
string.log_parser warm success match 1.8994 0.00s
string.log_parser warm success match 1.8406 0.00s
string.log_parser warm success match 1.8844 0.00s
text.word_count cold success match 5.8483 0.00s
text.word_count warm success match 5.9378 0.00s
text.word_count warm success match 5.5828 0.00s
text.word_count warm success match 5.8722 0.00s
text.word_count warm success match 6.1436 0.00s
text.word_count warm success match 5.8754 0.00s
tree.bst_operations cold success match 1.0356 0.00s
tree.bst_operations warm success match 1.1302 0.00s
tree.bst_operations warm success match 0.9035 0.00s
tree.bst_operations warm success match 0.8950 0.00s
tree.bst_operations warm success match 3.3192 0.00s
tree.bst_operations warm success match 0.9080 0.00s
web.http_parser cold success match 0.8748 0.00s
web.http_parser warm success match 0.8584 0.00s
web.http_parser warm success match 0.9793 0.00s
web.http_parser warm success match 0.8364 0.00s
web.http_parser warm success match 0.9177 0.00s
web.http_parser warm success match 0.8891 0.00s
web.url_router cold success match 0.0940 0.00s
web.url_router warm success match 0.0611 0.00s
web.url_router warm success match 0.0608 0.00s
web.url_router warm success match 0.0605 0.00s
web.url_router warm success match 0.0623 0.00s
web.url_router warm success match 0.0664 0.00s

Proof Packs

📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/07236e5ef4af43db95237722
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/8dedaeea5050407a90a8ef76
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/6d3d83a337a846b397dc2e0d
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c6f6f8c0674749a5aad66918
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/33538180336a44be937b3490
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1c7504ac6d93480788a9ea89
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a7c26a6af88142ff9e9e70d9
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/18d4d1ff0f3e49609e5cb4c5
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/85465e49aaa34e538f7ac13f
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/810fb40abf414eb8907409ce
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0e73f5fa41584cc294c34f5e
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f7252f1a0c95433abf679e63
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/bed7e995ecde40039f5d6a89
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b3461de498584afd80871a3c
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/9ec18e312f13479b8e1d0a0b
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e6c475b8318b4ac5b19717e9
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d8f218c3f15b465ba8a3470d
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5878e2e3dad94b38b60294c3
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a47aae11d38740dcb62cb8c8
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/05fe71d69fb242388a7b807f
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/694f5a31e31247a991941bcd
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/90e631bf3a7140b2b87387f3
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c0266b9c55ea4750a71be889
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/cc8f7d14a87543b8a67ade77
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0a8b0beea2594081af10b8b6
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/4a8fc30e1c194380978b20ba
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/9d53eb4a6ea7460c83850bac
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/36c2e902b90249b9ab87c72e
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d5eede5b92014160bc4c31c7
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b3f23251970e4b6daea93ebd
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/63cf11e6e3b94654af095100
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d53f868dd96f49e7ab5f72cd
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1195d0992d0d469dba6164dc
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/23c24c2c44a54fd395e93c97
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/fa3d02c6d6034cc493e5726c
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/6b76c4137dd34e3a987ba84a
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/3e2e0cda585b431597467a58
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5194d8d93b334b6cbcea730f
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d9409ec47a9d4ee482cd0fd6
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/ec10a11724b74d49b0e9ed42
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/63e485bb47be4ebca43e2513
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/bcdbd68da4fd4ac19fd72af1
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/cfb9264061704ef3b6de110a
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/22a6e2b2d2034da8aed3da09
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/bbb1700322064c8d8e5732cd
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b5ee54699f6f44b9905377e1
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1cf67eba289d4b25a4c1f2eb
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/51d3a69b9ff34208bfa03ed7
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/fc5ee43894194c158b4efe35
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1514952fd1c540ce82af2377
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/63354acb22b84945b4670faf
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/6d85dccc38614500810e2f11
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/461936043a464c3381ddc13f
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/ee9e4516d47e498e993e9592
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1046d85d6277485783bc8c04
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/028048df02c64cee89d01e2c
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f94092b9b4f14c969f6a1519
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/df4eaa436fbc4135a4758841
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/6a93c4569b114ed0914893ec
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/7dd3aeaa17c348a384a997a1
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/154db644c0d0441dbce68540
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0ea69b6579b34ef48be10bed
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/70c5c6ed3f3e4b4ab78162ce
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a20d7607d16a47c297a2dad9
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/fcb92b3568d343a69edec351
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/59ee63fc00ab474db79bb449
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/fb7fe8325e7e49bf85428b52
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e0a26e23e7a54037965dc114
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/57ee36dadc134e6781f0b384
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/ddea672830ad48648779f874
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5e68d9691d9e4789a2eac3f4
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/311e394b05c4475da3b304c9
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/7ecb7c56862c4821830ce49c
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e47f53fb08b14bc6a616b311
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b5b1fa7286d44fbd8115ab98
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a9d35da5e31f41169647890d
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/8f3e871b664d41f496aa3b66
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0a76f752443b4432af8b9a66
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a00c2a1525994deaa57b1dc8
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/97854acf62924200b7a916c9
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/2736e9aa5a1e4acb98557610
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e102598e3ced4c5dbc50a5b7
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f432243549ac4e8aa4151b8e
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/23f46bed0de840b2b8470ed8
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d2f43c57b7a64752ad1a9f02
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/3e53962a15cb485e9df84c74
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1fd331cccd5244bba8b3e249
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/8ad7183b16ce4d689c38b394
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/48b037eb1842414a90a6edab
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/3dd6a3a9a5f94288a8b0fafe
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e2e1af3fb53548c9800a9701
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c90b9ade5a114fecb74a3f30
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5d4a8a3dbf4c423fb650d791
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d70f7a80b705408db630f5ca
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/509f213834de47d99eb0def4
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a0524365238a48258e292ba3
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/14b59f09c44a48029b309dff
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/fdcb2bebd4314b98b9d52bf3
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/975db6d5ca1c47148a5de305
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/9f460fbaf0ce404c8b41b690
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0aadd7b3f9c843469b677069
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/542b7c10efe04da1bc5e699f
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/cd19f67c104245cc9c968a3d
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/820658d75f5b4fddb3800738
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/ea4f33abab28445e82ae44f8
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f134d0561ec24985a307d408
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1faa013ff02f49da99399da2
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/13fa2a52572540239060d02a
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f653b1a5b8db44339c3bc99b
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/7a145fb686e34c0fa78a6b38
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/44cffb7f7a8a4afeb80df9e7
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5398cf89a47e4a5cbb70b279
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/3b6dd3f7ed43495d936c7044
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e400bc641e1a4981bff4666b
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c14e8c89e7364fa895629fc2
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b4f7fafd2218434d9f9f723a
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/4c10ddc53b8e457db2fc11fb
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/7037f8448e71434baa24d72f
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1b2b45d663534a719af9599b
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/bb0aab1a1b5849ebb226d24c
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/7fa46aefd54a410bbcce77a6
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d42a577fded04447bcb790cc
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/042314081607484495ce2e2a
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f2b0cbcbf6a64c7faa709fb7
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/44e8ec59f10e4c99abf47944
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/21217ac98b184e2390763ae7
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/931b39b437384db9b83d126b
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5eaa86db033244d09ceec831
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f0ead91f1d244c3e9379b517
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/acabbd08cb4248c792f00987
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f0f9be98854f4fce9a973f73
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/425c853063dc44d3990ed6c6
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/08a383073d314a3782c038b7
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e6e542fbb4d0487fbfe362a7
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d493df83190f48ef865513b9
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/3d7f173ab329484796731e6a
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/5352f62dc66e47b3aa38f040
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1a561d7768f04c61bf42d1ff
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/d226172a21ef468f9f1fc7ab
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/605cfd0d61b94126a54beeb7
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/bea3da1a3d904d43a52ad2c4
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0788f078b94e4afb86e3a31d
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/ee3770c9b65744ba93bfbc80
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f036522c4ac1464b9e75162b
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a1453f3f17274a82a6d1df32
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/4ebefdb786ee46858d3edbb9
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b4ae94e4972b44c9952c4d7a
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/7fb591e2f57343b5898c7756
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b7cbe43f0d7349e3a7ffe57a
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c91ae1f1868344f59eb1b301
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f14156d3978a47f0bdf1a7bc
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/38fa24b0f1104b739fc1a886
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e900b7d9c6cb41c5ad428254
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/2b43637160ae473491c34272
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f7c749421c8342d4a143f134
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/80af4afe34c84487acc613a3
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/1771141f948d40deae9fb93f
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/4f2739a9afa54f0485529206
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/392d71e3d7984cb7bcfefcde
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f379927cdc5643209786b227
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/93692bae90e34a1587d7f143
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/84fcfdcbf055422ca3521f1a
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/22aa03ee0652426491e72dcb
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c9950f7dcd734b369e8dd856
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/65b25c06483f4f4da9cf15b1
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/b1ba90ede2a441a7a15e8739
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/2f9075947a0b4aa4b7796398
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/ccae47e494b8445794932bc6
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/8c1e51a5392c48b5a76687dc
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/2ce03d78c3d1416db606d8b3
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/974fe00efa694c0884a57933
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f7adece22f5c4218a4104fcf
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/9d4abdab17b849919a3b3d63
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/e8da706ecf384bfdbb98a668
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/a852154976de40789f576591
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/60980e674cc946c697c2040a
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/fcd383af338f48918f3dd898
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/0d5b59f838b244148e318a44
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/af6509d5d75a42458a0e3c0e
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/2700adfcad424bba8c862490
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/9c76826a57f04e56ae5cefb0
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/2a9ba44ce716463bbe54e216
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/88258e6bbf4c460b968a260c
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/f48dda10428b4fbf8130682c
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/affa686ea3834638b92c8c1d
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/50d58fbf562048e1975e1381/c8b38ec12d8848ab81597ca6

← Back to campaigns