detailed results (3906 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-driverlogNumeric_s7.smt2 (content) sat sat 0.059s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-DepotsNum_s8.msat.smt2 (content) sat sat 0.597s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-2-bucket_s11.smt2 (content) sat sat 1.4s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-1-bucket_s9.smt2 (content) sat sat 1.8s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s7.smt2 (content) sat sat 0.127s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s13.smt2 (content) sat sat 0.633s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s10.smt2 (content) sat sat 0.296s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_4-phaseTemplate.smt2 (content) sat sat 6.2s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/LeeJonesBen-Amram-2001POPL-Ex6_true-termination.c_Iteration2_Lasso_6-phaseTemplate.smt2 (content) sat sat 10.5s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/loop3.t2.c_Iteration25_Lasso_4-pieceTemplate.smt2 (content) sat sat 3.0s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/eric2.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat sat 5.4s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-90.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-80.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-70.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-60.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-40.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-30.smt2 (content) sat sat 0.045s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-20.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-10.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-09.smt2 (content) sat sat 0.024s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-08.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-07.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-06.smt2 (content) sat sat 0.023s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-05.smt2 (content) sat sat 0.022s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-04.smt2 (content) sat sat 0.023s