dillig Benchmarks

Family
Namedillig
Generation DateNone
First Occurrence2013-07-02
Benchmarks233

Benchmarks

QF_LIA • Charts • Solver Isomap
40-8.smt2
35-6.smt2
35-28.smt2
15-19.smt2
10-31.smt2
30-6.smt2
25-27.smt2
15-18.smt2
30-3.smt2
45-27.smt2
40-19.smt2
20-5.smt2
40-14.smt2
30-14.smt2
40-32.smt2
25-33.smt2
30-29.smt2
30-35.smt2
35-29.smt2
35-18.smt2
45-16.smt2
25-3.smt2
20-16.smt2
35-33.smt2
35-21.smt2
45-14.smt2
45-23.smt2
45-21.smt2
20-15.smt2
45-6.smt2
25-10.smt2
35-17.smt2
35-13.smt2
30-11.smt2
25-4.smt2
35-32.smt2
40-12.smt2
35-25.smt2
35-24.smt2
45-5.smt2
40-27.smt2
45-32.smt2
30-20.smt2
20-12.smt2
30-8.smt2
10-35.smt2
25-23.smt2
30-2.smt2
15-11.smt2
10-40.smt2
20-26.smt2
25-19.smt2
45-29.smt2
15-5.smt2
35-31.smt2
10-34.smt2
10-21.smt2
45-7.smt2
25-18.smt2
45-9.smt2
30-34.smt2
20-10.smt2
45-30.smt2
45-2.smt2
25-28.smt2
10-37.smt2
40-35.smt2
35-10.smt2
20-9.smt2
30-31.smt2
25-14.smt2
45-19.smt2
25-6.smt2
25-21.smt2
30-19.smt2
20-19.smt2
35-16.smt2
35-15.smt2
15-4.smt2
30-24.smt2
15-15.smt2
45-3.smt2
45-18.smt2
40-34.smt2
45-34.smt2
30-22.smt2
20-22.smt2
25-22.smt2
20-2.smt2
45-35.smt2
20-11.smt2
30-25.smt2
30-12.smt2
45-31.smt2
35-11.smt2
45-20.smt2
25-7.smt2
20-4.smt2
15-9.smt2
30-16.smt2
40-26.smt2
20-24.smt2
35-20.smt2
10-4.smt2
35-12.smt2
15-6.smt2
25-2.smt2
20-14.smt2
25-15.smt2
30-33.smt2
25-9.smt2
25-29.smt2
25-13.smt2
10-36.smt2
20-30.smt2
45-24.smt2
40-13.smt2
15-7.smt2
35-26.smt2
40-3.smt2
25-24.smt2
25-1.smt2
25-5.smt2
45-1.smt2
40-10.smt2
25-11.smt2
10-28.smt2
20-8.smt2
40-15.smt2
35-7.smt2
20-17.smt2
45-11.smt2
25-26.smt2
15-2.smt2
40-1.smt2
40-20.smt2
10-29.smt2
30-21.smt2
15-17.smt2
20-6.smt2
30-10.smt2
25-16.smt2
35-8.smt2
35-34.smt2
40-25.smt2
35-1.smt2
40-17.smt2
10-45.smt2
15-12.smt2
45-25.smt2
15-1.smt2
25-25.smt2
35-30.smt2
40-21.smt2
40-4.smt2
40-2.smt2
20-20.smt2
15-14.smt2
35-23.smt2
10-41.smt2
45-13.smt2
20-21.smt2
30-30.smt2
10-9.smt2
30-5.smt2
20-7.smt2
45-28.smt2
30-4.smt2
25-31.smt2
10-30.smt2
45-10.smt2
35-4.smt2
45-4.smt2
40-11.smt2
40-5.smt2
15-21.smt2
40-16.smt2
40-22.smt2
15-3.smt2
45-12.smt2
45-17.smt2
30-23.smt2
45-22.smt2
35-9.smt2
40-9.smt2
20-13.smt2
40-29.smt2
40-30.smt2
25-12.smt2
15-8.smt2
30-28.smt2
25-35.smt2
40-33.smt2
20-1.smt2
40-7.smt2
35-22.smt2
30-13.smt2
30-18.smt2
10-15.smt2
35-5.smt2
45-8.smt2
40-28.smt2
35-35.smt2
20-28.smt2
15-10.smt2
45-15.smt2
10-3.smt2
20-3.smt2
15-13.smt2
25-30.smt2
15-20.smt2
30-17.smt2
30-26.smt2
35-3.smt2
30-27.smt2
25-17.smt2
35-19.smt2
40-24.smt2
30-7.smt2
40-18.smt2
45-26.smt2
45-33.smt2
25-20.smt2
40-6.smt2
40-23.smt2
30-15.smt2
30-9.smt2
35-2.smt2
25-8.smt2
35-14.smt2
30-1.smt2
40-31.smt2
35-27.smt2