problem result overall_time
c10_problem__003.smt2.slack.smt2.3 sat 0.67
c100_problem__006.smt2.slack.smt2.1 unsat 0.02
c100_problem__006.smt2.slack.smt2.10 unsat 0.01
c100_problem__006.smt2.slack.smt2.2 unsat 0.02
c100_problem__006.smt2.slack.smt2.3 unsat 0.02
c100_problem__006.smt2.slack.smt2.4 unsat 0.01
c100_problem__006.smt2.slack.smt2.5 unsat 0.02
c100_problem__006.smt2.slack.smt2.6 unsat 0.02
c100_problem__006.smt2.slack.smt2.7 unsat 0.01
c100_problem__006.smt2.slack.smt2.8 unsat 0.01
c100_problem__006.smt2.slack.smt2.9 unsat 0.02
c10_problem__002.smt2.slack.smt2.1 unsat 0.01
c10_problem__002.smt2.slack.smt2.10 unsat 0.01
c10_problem__002.smt2.slack.smt2.2 unsat 0.01
c10_problem__002.smt2.slack.smt2.3 unsat 0.01
c10_problem__002.smt2.slack.smt2.4 unsat 0.01
c10_problem__002.smt2.slack.smt2.5 unsat 0.01
c10_problem__002.smt2.slack.smt2.6 unsat 0.02
c10_problem__002.smt2.slack.smt2.7 unsat 0.01
c10_problem__002.smt2.slack.smt2.8 unsat 0.03
c10_problem__002.smt2.slack.smt2.9 unsat 0.01
c20_problem__004.smt2.slack.smt2.1 unsat 0.01
c20_problem__004.smt2.slack.smt2.10 unsat 0.02
c20_problem__004.smt2.slack.smt2.2 unsat 0.02
c20_problem__004.smt2.slack.smt2.3 unsat 0.01
c20_problem__004.smt2.slack.smt2.4 unsat 0.01
c20_problem__004.smt2.slack.smt2.5 unsat 0.02
c20_problem__004.smt2.slack.smt2.6 unsat 0.02
c20_problem__004.smt2.slack.smt2.7 unsat 0.02
c20_problem__004.smt2.slack.smt2.8 unsat 0.01
c20_problem__004.smt2.slack.smt2.9 unsat 0.01
c30_problem__006.smt2.slack.smt2.1 unsat 0.01
c30_problem__006.smt2.slack.smt2.10 unsat 0.01
c30_problem__006.smt2.slack.smt2.2 unsat 0.03
c30_problem__006.smt2.slack.smt2.3 unsat 0.03
c30_problem__006.smt2.slack.smt2.4 unsat 0.01
c30_problem__006.smt2.slack.smt2.5 unsat 0.01
c30_problem__006.smt2.slack.smt2.6 unsat 0.01
c30_problem__006.smt2.slack.smt2.7 unsat 0.02
c30_problem__006.smt2.slack.smt2.8 unsat 0.02
c30_problem__006.smt2.slack.smt2.9 unsat 0.03
c40_problem__002.smt2.slack.smt2.1 unsat 0.02
c40_problem__002.smt2.slack.smt2.10 unsat 0.01
c40_problem__002.smt2.slack.smt2.2 unsat 0.03
c40_problem__002.smt2.slack.smt2.3 unsat 0.01
c40_problem__002.smt2.slack.smt2.4 unsat 0.01
c40_problem__002.smt2.slack.smt2.5 unsat 0.02
c40_problem__002.smt2.slack.smt2.6 unsat 0.01
c40_problem__002.smt2.slack.smt2.7 unsat 0.01
c40_problem__002.smt2.slack.smt2.8 unsat 0.01
c40_problem__002.smt2.slack.smt2.9 unsat 0.02
c50_problem__002.smt2.slack.smt2.1 unsat 0.01
c50_problem__002.smt2.slack.smt2.10 unsat 0.02
c50_problem__002.smt2.slack.smt2.2 unsat 0.01
c50_problem__002.smt2.slack.smt2.3 unsat 0.02
c50_problem__002.smt2.slack.smt2.4 unsat 0.02
c50_problem__002.smt2.slack.smt2.5 unsat 0.01
c50_problem__002.smt2.slack.smt2.6 unsat 0.02
c50_problem__002.smt2.slack.smt2.7 unsat 0.01
c50_problem__002.smt2.slack.smt2.8 unsat 0.01
c50_problem__002.smt2.slack.smt2.9 unsat 0.02
c50_problem__006.smt2.slack.smt2.1 unsat 0.01
c50_problem__006.smt2.slack.smt2.10 unsat 0.01
c50_problem__006.smt2.slack.smt2.2 unsat 0.01
c50_problem__006.smt2.slack.smt2.3 unsat 0.02
c50_problem__006.smt2.slack.smt2.4 unsat 0.02
c50_problem__006.smt2.slack.smt2.5 unsat 0.01
c50_problem__006.smt2.slack.smt2.6 unsat 0.02
c50_problem__006.smt2.slack.smt2.7 unsat 0.02
c50_problem__006.smt2.slack.smt2.8 unsat 0.02
c50_problem__006.smt2.slack.smt2.9 unsat 0.01
c90_problem__005.smt2.slack.smt2.1 unsat 0.01
c90_problem__005.smt2.slack.smt2.10 unsat 0.03
c90_problem__005.smt2.slack.smt2.2 unsat 0.02
c90_problem__005.smt2.slack.smt2.3 unsat 0.01
c90_problem__005.smt2.slack.smt2.4 unsat 0.01
c90_problem__005.smt2.slack.smt2.5 unsat 0.02
c90_problem__005.smt2.slack.smt2.6 unsat 0.01
c90_problem__005.smt2.slack.smt2.7 unsat 0.02
c90_problem__005.smt2.slack.smt2.8 unsat 0.01
c90_problem__005.smt2.slack.smt2.9 unsat 0.02