detailed results (199 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/sas2.t2.c_Iteration3_Lasso_7-phaseTemplate.smt2(content)errorsat8.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/p-55.t2.c_Iteration3_Loop_7-phaseTemplate.smt2(content)errorsat9.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/p-46.t2.c_Iteration2_Loop_7-phaseTemplate.smt2(content)errorunsat9.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/p-46.t2.c_Iteration2_Loop_4-pieceTemplate.smt2(content)errorunsat9.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ndes.t2.c_Iteration2_Loop_7-phaseTemplate.smt2(content)errorsat7.8s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-phaseTemplate.smt2(content)errorsat9.8s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_2-pieceTemplate.smt2(content)errorsat7.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration1_Loop_4-lexTemplate.smt2(content)errorsat8.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/firewire.t2.c_Iteration3_Loop_4-pieceTemplate.smt2(content)errorsat9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration5_Loop_4-pieceTemplate.smt2(content)errorsat7.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/byron-2.t2.c_Iteration2_Loop_7-phaseTemplate.smt2(content)errorsat7.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_4-pieceTemplate.smt2(content)errorsat9.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-40.smt2(content)errorsat9.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-30.smt2(content)errorsat7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-20.smt2(content)errorsat4.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-06.smt2(content)errorsat4.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A09.smt2(content)errorsat7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A08.smt2(content)errorsat9.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-9.smt2(content)errorsat9.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-50.smt2(content)errorsat9.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-5.smt2(content)errorsat7.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix3x3.pddl.smt2(content)errorsat9.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-40.smt2(content)errorsat6.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-30.smt2(content)errorsat6.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-20.smt2(content)errorsat9.4s