|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
30.20
|
30.91
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
12.27
|
7.34
|
10.43
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
30.20
|
31.02
|
||||
|
31.01
|
30.48
|
30.12
|
||||
|
31.01
|
30.59
|
31.02
|
||||
|
31.01
|
30.09
|
31.01
|
||||
|
31.01
|
31.02
|
24.34
|
||||
|
31.01
|
30.15
|
31.02
|
||||
|
31.01
|
29.64
|
18.98
|
||||
|
31.01
|
30.97
|
31.01
|
||||
|
31.01
|
30.13
|
30.92
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.01
|
30.45
|
31.02
|
||||
|
31.01
|
30.78
|
30.11
|
||||
|
31.01
|
30.72
|
30.57
|
||||
|
31.01
|
31.01
|
31.01
|
||||
|
31.01
|
31.01
|
30.65
|
||||
|
31.01
|
31.01
|
30.29
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
30.43
|