Comparing data and data # SUMMARY - LHS tests = 5000 - RHS tests = 5000 - LHS success = 0 (0.0%) - RHS success = 0 (0.0%) ## METADATA
METADATA # LHS 
Ramon benchmark for AriParti
-
Job description: 
Job tag: ariparti-threads-4
Runner: lev-ripper
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--engine=ariparti --ariparti-dir=. --ariparti-entry=bin/AriParti.py --ariparti-partitioner=bin/partitioner --ariparti-solver=/usr/bin/z3 --ariparti-max-running-tasks=4 --ariparti-time-limit=30"
AriParti inputs: inputs/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
# RHS 
Ramon benchmark for AriParti
-
Job description: 
Job tag: ariparti-threads-4
Runner: lev-ripper
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--engine=ariparti --ariparti-dir=. --ariparti-entry=bin/AriParti.py --ariparti-partitioner=bin/partitioner --ariparti-solver=/usr/bin/z3 --ariparti-max-running-tasks=4 --ariparti-time-limit=30"
AriParti inputs: inputs/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
## TOP 20 RUNTIME INCREASE
TOP 20 RUNTIME INCREASE |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 RUNTIME INCREASE (RELATIVE)
TOP 20 RUNTIME INCREASE (RELATIVE) |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 RUNTIME DECREASE
TOP 20 RUNTIME DECREASE |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 RUNTIME DECREASE (RELATIVE)
TOP 20 RUNTIME DECREASE (RELATIVE) |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 LHS FILES, BY RUNTIME
TOP 20 LHS FILES, BY RUNTIME |FILE |TIME |MEM | |------------|----------:|---------:| |n7283-prp-53-49.smt2 | 0.133s |16.82MiB| |n5415-RC-11.smt2 | 0.133s |16.916MiB| |36.lp.smt2 | 0.133s |16.848MiB| |n250-RF-08.smt2 | 0.132s |16.828MiB| |n2597-RF-13.smt2 | 0.131s |16.864MiB| |n1654-RC-07.smt2 | 0.131s |17.072MiB| |n7109-prp-21-48.smt2 | 0.131s |16.68MiB| |prp-42-44.smt2 | 0.130s |16.824MiB| |FISCHER9-3-fair.smt2 | 0.129s |16.804MiB| |ex28000_2600_100.smt2 | 0.128s |16.864MiB| |n2801-RC-12.smt2 | 0.128s |16.844MiB| |n1787-RF-00.smt2 | 0.128s |16.844MiB| |ex18100_2600_100.smt2 | 0.128s |16.84MiB| |n2101-RF-07.smt2 | 0.128s |17.12MiB| |ex6520_2400_100.smt2 | 0.127s |17.176MiB| |n7392-prp-1-46.smt2 | 0.127s |16.732MiB| |n596-RF-05.smt2 | 0.127s |16.696MiB| |convert-jpg2gif-query-1444.smt2 | 0.126s |17.096MiB| |n3149-RC-10.smt2 | 0.126s |16.908MiB| |n5489-RF-13.smt2 | 0.126s |16.984MiB|
## TOP 20 RHS FILES, BY RUNTIME
TOP 20 RHS FILES, BY RUNTIME |FILE |TIME |MEM | |------------|----------:|---------:| |n7283-prp-53-49.smt2 | 0.133s |16.82MiB| |n5415-RC-11.smt2 | 0.133s |16.916MiB| |36.lp.smt2 | 0.133s |16.848MiB| |n250-RF-08.smt2 | 0.132s |16.828MiB| |n2597-RF-13.smt2 | 0.131s |16.864MiB| |n1654-RC-07.smt2 | 0.131s |17.072MiB| |n7109-prp-21-48.smt2 | 0.131s |16.68MiB| |prp-42-44.smt2 | 0.130s |16.824MiB| |FISCHER9-3-fair.smt2 | 0.129s |16.804MiB| |ex28000_2600_100.smt2 | 0.128s |16.864MiB| |n2801-RC-12.smt2 | 0.128s |16.844MiB| |n1787-RF-00.smt2 | 0.128s |16.844MiB| |ex18100_2600_100.smt2 | 0.128s |16.84MiB| |n2101-RF-07.smt2 | 0.128s |17.12MiB| |ex6520_2400_100.smt2 | 0.127s |17.176MiB| |n7392-prp-1-46.smt2 | 0.127s |16.732MiB| |n596-RF-05.smt2 | 0.127s |16.696MiB| |convert-jpg2gif-query-1444.smt2 | 0.126s |17.096MiB| |n3149-RC-10.smt2 | 0.126s |16.908MiB| |n5489-RF-13.smt2 | 0.126s |16.984MiB|
## TOP 20 MEMORY INCREASE
TOP 20 MEMORY INCREASE |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 MEMORY INCREASE (RELATIVE)
TOP 20 MEMORY INCREASE (RELATIVE) |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 MEMORY DECREASE
TOP 20 MEMORY DECREASE |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 MEMORY DECREASE (RELATIVE)
TOP 20 MEMORY DECREASE (RELATIVE) |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|
## TOP 20 LHS FILES, BY PEAK MEMORY USAGE
TOP 20 LHS FILES, BY PEAK MEMORY USAGE |FILE |TIME |MEM | |------------|----------:|---------:| |n7287-prp-54-48.smt2 | 0.107s |17.608MiB| |n853-RC-06.smt2 | 0.112s |17.512MiB| |n7766-prp-8-46.smt2 | 0.102s |17.46MiB| |n6949-prp-53-49.smt2 | 0.103s |17.456MiB| |n4367-RC-07.smt2 | 0.099s |17.44MiB| |n7892-prp-54-49.smt2 | 0.099s |17.424MiB| |n3474-RF-07.smt2 | 0.101s |17.42MiB| |n3929-RC-06.smt2 | 0.103s |17.416MiB| |n1250-RF-03.smt2 | 0.097s |17.416MiB| |n2086-RC-06.smt2 | 0.097s |17.408MiB| |convert-jpg2gif-query-1195.smt2 | 0.115s |17.4MiB| |ex3240_2400_100.smt2 | 0.104s |17.4MiB| |prp-4-28.smt2 | 0.100s |17.4MiB| |n1224-RF-09.smt2 | 0.101s |17.392MiB| |ex18400_2600_100.smt2 | 0.114s |17.384MiB| |v40_problem__019.smt2.slack.smt2 | 0.103s |17.384MiB| |v30_problem__035.smt2.slack.smt2 | 0.099s |17.384MiB| |n8142-prp-25-36.smt2 | 0.097s |17.384MiB| |prp-19-31.smt2 | 0.102s |17.376MiB| |n3627-RF-04.smt2 | 0.100s |17.376MiB|
## TOP 20 RHS FILES, BY PEAK MEMORY USAGE
TOP 20 RHS FILES, BY PEAK MEMORY USAGE |FILE |TIME |MEM | |------------|----------:|---------:| |n7287-prp-54-48.smt2 | 0.107s |17.608MiB| |n853-RC-06.smt2 | 0.112s |17.512MiB| |n7766-prp-8-46.smt2 | 0.102s |17.46MiB| |n6949-prp-53-49.smt2 | 0.103s |17.456MiB| |n4367-RC-07.smt2 | 0.099s |17.44MiB| |n7892-prp-54-49.smt2 | 0.099s |17.424MiB| |n3474-RF-07.smt2 | 0.101s |17.42MiB| |n3929-RC-06.smt2 | 0.103s |17.416MiB| |n1250-RF-03.smt2 | 0.097s |17.416MiB| |n2086-RC-06.smt2 | 0.097s |17.408MiB| |convert-jpg2gif-query-1195.smt2 | 0.115s |17.4MiB| |ex3240_2400_100.smt2 | 0.104s |17.4MiB| |prp-4-28.smt2 | 0.100s |17.4MiB| |n1224-RF-09.smt2 | 0.101s |17.392MiB| |ex18400_2600_100.smt2 | 0.114s |17.384MiB| |v40_problem__019.smt2.slack.smt2 | 0.103s |17.384MiB| |v30_problem__035.smt2.slack.smt2 | 0.099s |17.384MiB| |n8142-prp-25-36.smt2 | 0.097s |17.384MiB| |prp-19-31.smt2 | 0.102s |17.376MiB| |n3627-RF-04.smt2 | 0.100s |17.376MiB|
## FULL COMPARISON
FULL COMPARISON |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:|