scores.md

Scores

These are scores for each solvers, calculated by 5*N + 3*F + 1*S

• N: Solved number
• F: Solved fastest number
• S: Solved smallest number

INV track

• LoopInvGen: N=91 F=76 S=45 Score=728
• DryadSynth: N=93 F=64 S=15 Score=672
• EuSolver: N=61 F=12 S=56 Score=397
• Alchemist CS: N=76 F=49 S=11 Score=538
• CVC4: N=91 F=45 S=8 Score=598
• ICE DT: N=66 F=45 S=4 Score=469

CLIA track

• DryadSynth: N=87 F=85 S=28 Score=718
• EuSolver: N=85 F=29 S=48 Score=560
• CVC4: N=86 F=74 S=26 Score=678