problem result overall_time
c10_problem__003.smt2.slack.smt2.1 sat 4.69
c100_problem__006.smt2.slack.smt2.1 unsat 0.07
c100_problem__006.smt2.slack.smt2.10 unsat 0.19
c100_problem__006.smt2.slack.smt2.2 unsat 0.12
c100_problem__006.smt2.slack.smt2.3 unsat 0.14
c100_problem__006.smt2.slack.smt2.4 unsat 0.13
c100_problem__006.smt2.slack.smt2.5 unsat 0.06
c100_problem__006.smt2.slack.smt2.6 unsat 0.12
c100_problem__006.smt2.slack.smt2.7 unsat 0.11
c100_problem__006.smt2.slack.smt2.8 unsat 0.1
c100_problem__006.smt2.slack.smt2.9 unsat 0.06
c10_problem__002.smt2.slack.smt2.1 unsat 0.04
c10_problem__002.smt2.slack.smt2.10 unsat 0.05
c10_problem__002.smt2.slack.smt2.2 unsat 0.06
c10_problem__002.smt2.slack.smt2.3 unsat 0.04
c10_problem__002.smt2.slack.smt2.4 unsat 0.05
c10_problem__002.smt2.slack.smt2.5 unsat 0.06
c10_problem__002.smt2.slack.smt2.6 unsat 0.05
c10_problem__002.smt2.slack.smt2.7 unsat 0.05
c10_problem__002.smt2.slack.smt2.8 unsat 0.02
c10_problem__002.smt2.slack.smt2.9 unsat 0.04
c20_problem__004.smt2.slack.smt2.1 unsat 0.14
c20_problem__004.smt2.slack.smt2.10 unsat 0.06
c20_problem__004.smt2.slack.smt2.2 unsat 0.14
c20_problem__004.smt2.slack.smt2.3 unsat 0.09
c20_problem__004.smt2.slack.smt2.4 unsat 0.12
c20_problem__004.smt2.slack.smt2.5 unsat 0.12
c20_problem__004.smt2.slack.smt2.6 unsat 0.12
c20_problem__004.smt2.slack.smt2.7 unsat 0.11
c20_problem__004.smt2.slack.smt2.8 unsat 0.16
c20_problem__004.smt2.slack.smt2.9 unsat 0.11
c30_problem__006.smt2.slack.smt2.1 unsat 0.1
c30_problem__006.smt2.slack.smt2.10 unsat 0.17
c30_problem__006.smt2.slack.smt2.2 unsat 0.1
c30_problem__006.smt2.slack.smt2.3 unsat 0.11
c30_problem__006.smt2.slack.smt2.4 unsat 0.05
c30_problem__006.smt2.slack.smt2.5 unsat 0.07
c30_problem__006.smt2.slack.smt2.6 unsat 0.06
c30_problem__006.smt2.slack.smt2.7 unsat 0.06
c30_problem__006.smt2.slack.smt2.8 unsat 0.08
c30_problem__006.smt2.slack.smt2.9 unsat 0.13
c40_problem__002.smt2.slack.smt2.1 unsat 0.09
c40_problem__002.smt2.slack.smt2.10 unsat 0.09
c40_problem__002.smt2.slack.smt2.2 unsat 0.12
c40_problem__002.smt2.slack.smt2.3 unsat 0.08
c40_problem__002.smt2.slack.smt2.4 unsat 0.1
c40_problem__002.smt2.slack.smt2.5 unsat 0.09
c40_problem__002.smt2.slack.smt2.6 unsat 0.14
c40_problem__002.smt2.slack.smt2.7 unsat 0.11
c40_problem__002.smt2.slack.smt2.8 unsat 0.04
c40_problem__002.smt2.slack.smt2.9 unsat 0.05
c50_problem__002.smt2.slack.smt2.1 unsat 0.13
c50_problem__002.smt2.slack.smt2.10 unsat 0.15
c50_problem__002.smt2.slack.smt2.2 unsat 0.15
c50_problem__002.smt2.slack.smt2.3 unsat 0.12
c50_problem__002.smt2.slack.smt2.4 unsat 0.18
c50_problem__002.smt2.slack.smt2.5 unsat 0.12
c50_problem__002.smt2.slack.smt2.6 unsat 0.23
c50_problem__002.smt2.slack.smt2.7 unsat 0.11
c50_problem__002.smt2.slack.smt2.8 unsat 0.09
c50_problem__002.smt2.slack.smt2.9 unsat 0.16
c50_problem__006.smt2.slack.smt2.1 unsat 0.15
c50_problem__006.smt2.slack.smt2.10 unsat 0.12
c50_problem__006.smt2.slack.smt2.2 unsat 0.12
c50_problem__006.smt2.slack.smt2.3 unsat 0.19
c50_problem__006.smt2.slack.smt2.4 unsat 0.21
c50_problem__006.smt2.slack.smt2.5 unsat 0.17
c50_problem__006.smt2.slack.smt2.6 unsat 0.2
c50_problem__006.smt2.slack.smt2.7 unsat 0.08
c50_problem__006.smt2.slack.smt2.8 unsat 0.16
c50_problem__006.smt2.slack.smt2.9 unsat 0.28
c60_problem__004.smt2.slack.smt2.1 unsat 0.56
c60_problem__004.smt2.slack.smt2.10 unsat 2.8
c60_problem__004.smt2.slack.smt2.2 unsat 1.96
c60_problem__004.smt2.slack.smt2.4 unsat 1.5
c60_problem__004.smt2.slack.smt2.5 unsat 20.75
c60_problem__004.smt2.slack.smt2.6 unsat 0.89
c60_problem__004.smt2.slack.smt2.7 unsat 4.4
c60_problem__004.smt2.slack.smt2.8 unsat 29.8
c60_problem__004.smt2.slack.smt2.9 unsat 17.77
c90_problem__005.smt2.slack.smt2.1 unsat 0.12
c90_problem__005.smt2.slack.smt2.10 unsat 0.22
c90_problem__005.smt2.slack.smt2.2 unsat 0.17
c90_problem__005.smt2.slack.smt2.3 unsat 0.15
c90_problem__005.smt2.slack.smt2.4 unsat 0.25
c90_problem__005.smt2.slack.smt2.5 unsat 0.23
c90_problem__005.smt2.slack.smt2.6 unsat 0.11
c90_problem__005.smt2.slack.smt2.7 unsat 0.21
c90_problem__005.smt2.slack.smt2.8 unsat 0.23
c90_problem__005.smt2.slack.smt2.9 unsat 0.18