|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
30.46
|
30.98
|
||||
|
31.01
|
31.02
|
30.26
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
13.90
|
7.22
|
10.13
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.01
|
30.37
|
30.61
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
30.07
|
31.02
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
30.62
|
||||
|
31.01
|
31.02
|
23.08
|
||||
|
31.01
|
31.02
|
30.72
|
||||
|
31.01
|
29.03
|
19.63
|
||||
|
31.01
|
30.99
|
30.16
|
||||
|
31.02
|
30.06
|
31.01
|
||||
|
31.01
|
30.07
|
30.21
|
||||
|
31.01
|
30.98
|
31.02
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
30.42
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.05
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
30.98
|
31.01
|