detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40051.cvc.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40047.cvc.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40046.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40045.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40041.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40040.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40039.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40034.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40033.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40032.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40030.cvc.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40028.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40027.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40026.cvc.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40025.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40024.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40019.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40014.cvc.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40013.cvc.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40012.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40009.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40007.cvc.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40005.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40003.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l40002.cvc.smt2 (content) unsat unsat 0.009s