detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70051.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70050.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70048.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70047.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70046.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70045.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70044.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70043.cvc.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70042.cvc.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70041.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70039.cvc.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70038.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70037.cvc.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70036.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70035.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70034.cvc.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70033.cvc.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70031.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70030.cvc.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70028.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70027.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70026.cvc.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70025.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70023.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70022.cvc.smt2 (content) unsat unsat 0.012s