detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60038.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60038.cvc.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60037.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60037.cvc.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60036.cvc.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60036.cvc.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60035.cvc.smt2 (content) sat sat 0.023s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60035.cvc.smt2 (content) sat sat 0.127s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60034.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60034.cvc.smt2 (content) sat sat 0.093s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60033.cvc.smt2 (content) sat sat 0.035s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60033.cvc.smt2 (content) sat sat 0.123s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60032.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60032.cvc.smt2 (content) unsat unsat 0.139s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60031.cvc.smt2 (content) sat sat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60031.cvc.smt2 (content) sat sat 0.137s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60030.cvc.smt2 (content) sat sat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60030.cvc.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60029.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60029.cvc.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60028.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60028.cvc.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60027.cvc.smt2 (content) sat sat 0.018s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60027.cvc.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60026.cvc.smt2 (content) sat sat 0.068s