full results

problem
z3
mc2-nogc-dev
mc2-dev
z3.time
mc2-nogc-dev.time
mc2-dev.time
0.06
0.73
0.84
0.05
0.48
0.47
0.02
0.02
0.02
0.02
0.02
0.02
0.04
0.23
0.24
0.04
0.14
0.14
0.02
0.04
0.04
0.03
0.03
0.03
0.05
0.16
0.17
0.04
0.14
0.13
0.02
0.02
0.02
0.02
0.02
0.02
0.04
0.20
0.20
0.06
0.11
0.11
0.02
0.02
0.02
0.02
0.02
0.02
0.05
0.18
0.13
0.08
0.11
0.11
0.03
0.10
0.11
0.04
0.05
0.05
0.02
0.02
0.02
0.02
0.02
0.02
0.02
0.03
0.03
0.02
0.03
0.04
0.05
0.35
0.39