detailed results (17584 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50001.cvc.smt2 (content) error unsat 0.015s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40100.cvc.smt2 (content) error unsat 0.012s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40099.cvc.smt2 (content) error sat 0.016s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40098.cvc.smt2 (content) error sat 0.013s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40097.cvc.smt2 (content) error sat 0.019s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40096.cvc.smt2 (content) error sat 0.015s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40095.cvc.smt2 (content) error sat 0.012s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40094.cvc.smt2 (content) error sat 0.011s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40093.cvc.smt2 (content) error unsat 0.015s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40092.cvc.smt2 (content) error unsat 0.014s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40091.cvc.smt2 (content) error unsat 0.012s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40090.cvc.smt2 (content) error unsat 0.012s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40089.cvc.smt2 (content) error sat 0.015s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40088.cvc.smt2 (content) error unsat 0.013s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40087.cvc.smt2 (content) error unsat 0.013s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40086.cvc.smt2 (content) error sat 0.013s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40085.cvc.smt2 (content) error sat 0.013s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40084.cvc.smt2 (content) error unsat 0.014s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40083.cvc.smt2 (content) error sat 0.012s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40082.cvc.smt2 (content) error unsat 0.016s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40081.cvc.smt2 (content) error sat 0.013s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40080.cvc.smt2 (content) error sat 0.015s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40079.cvc.smt2 (content) error unsat 0.015s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40078.cvc.smt2 (content) error unsat 0.014s
mc2-dev /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40077.cvc.smt2 (content) error sat 0.015s