detailed results (2086 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50005.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50001.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40100.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40093.cvc.smt2 (content) unsat unsat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40091.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40090.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40088.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40087.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40084.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40082.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40079.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40076.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40073.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40069.cvc.smt2 (content) unsat sat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40063.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40059.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40054.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40051.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40050.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40047.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40046.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40042.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40041.cvc.smt2 (content) unsat unsat 0.014s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40038.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l40036.cvc.smt2 (content) unsat unsat 0.013s