detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60051.cvc.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60050.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60049.cvc.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60048.cvc.smt2 (content) sat sat 0.056s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60047.cvc.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60046.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60045.cvc.smt2 (content) sat sat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60044.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60043.cvc.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60042.cvc.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60041.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60040.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60039.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60038.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60037.cvc.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60036.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60035.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60034.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60033.cvc.smt2 (content) sat sat 0.091s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60032.cvc.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60031.cvc.smt2 (content) sat sat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60030.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60029.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60028.cvc.smt2 (content) sat sat 0.064s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60027.cvc.smt2 (content) sat sat 0.065s