detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80038.cvc.smt2 (content) sat sat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80038.cvc.smt2 (content) sat sat 0.131s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80037.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80037.cvc.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80036.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80036.cvc.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80035.cvc.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80035.cvc.smt2 (content) unsat unsat 0.147s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80034.cvc.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80034.cvc.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80033.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80033.cvc.smt2 (content) sat sat 0.150s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80032.cvc.smt2 (content) sat sat 0.018s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80032.cvc.smt2 (content) sat sat 0.093s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80031.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80031.cvc.smt2 (content) unsat unsat 0.138s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80030.cvc.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80030.cvc.smt2 (content) sat sat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80029.cvc.smt2 (content) sat sat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80029.cvc.smt2 (content) sat sat 0.101s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80028.cvc.smt2 (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80028.cvc.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80027.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80027.cvc.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80026.cvc.smt2 (content) unsat unsat 0.031s