20250213-Frobenius Benchmarks
Family
Name
Frobenius
Generation Date
2025-02-13
First Occurrence
2025-08-11
Benchmarks
120
Benchmarks
LIA
•
Charts
•
Solver Isomap
fcp_193_197.smt2
fcp_71_73_79.smt2
fcp_179_181.smt2
fcp_3_5_7.smt2
fcp_199_211.smt2
fcp_173_179_181.smt2
fcp_167_173.smt2
fcp_229_233_239.smt2
fcp_89_97_101.smt2
fcp_179_181_191.smt2
fcp_23_29_31.smt2
fcp_109_113.smt2
fcp_13_17_19.smt2
fcp_199_211_223.smt2
fcp_157_163_167.smt2
fcp_191_193_197.smt2
fcp_163_167_173.smt2
fcp_269_271.smt2
fcp_5_7_11.smt2
fcp_11_13_17.smt2
fcp_257_263.smt2
fcp_163_167.smt2
fcp_223_227.smt2
fcp_97_101.smt2
fcp_17_19.smt2
fcp_11_13.smt2
fcp_79_83_89.smt2
fcp_271_277_281.smt2
fcp_37_41.smt2
fcp_151_157_163.smt2
fcp_227_229_233.smt2
fcp_127_131_137.smt2
fcp_239_241_251.smt2
fcp_277_281.smt2
fcp_103_107.smt2
fcp_7_11.smt2
fcp_31_37_41.smt2
fcp_127_131.smt2
fcp_233_239_241.smt2
fcp_241_251_257.smt2
fcp_167_173_179.smt2
fcp_59_61_67.smt2
fcp_47_53.smt2
fcp_131_137_139.smt2
fcp_43_47.smt2
fcp_29_31.smt2
fcp_251_257.smt2
fcp_89_97.smt2
fcp_79_83.smt2
fcp_101_103.smt2
fcp_181_191.smt2
fcp_229_233.smt2
fcp_251_257_263.smt2
fcp_29_31_37.smt2
fcp_181_191_193.smt2
fcp_61_67_71.smt2
fcp_47_53_59.smt2
fcp_61_67.smt2
fcp_59_61.smt2
fcp_131_137.smt2
fcp_241_251.smt2
fcp_67_71_73.smt2
fcp_2_3.smt2
fcp_223_227_229.smt2
fcp_211_223_227.smt2
fcp_137_139_149.smt2
fcp_149_151.smt2
fcp_197_199_211.smt2
fcp_281_283_293.smt2
fcp_239_241.smt2
fcp_13_17.smt2
fcp_2_3_5.smt2
fcp_263_269_271.smt2
fcp_97_101_103.smt2
fcp_139_149_151.smt2
fcp_107_109_113.smt2
fcp_83_89_97.smt2
fcp_157_163.smt2
fcp_17_19_23.smt2
fcp_233_239.smt2
fcp_19_23_29.smt2
fcp_71_73.smt2
fcp_23_29.smt2
fcp_31_37.smt2
fcp_113_127.smt2
fcp_149_151_157.smt2
fcp_137_139.smt2
fcp_139_149.smt2
fcp_109_113_127.smt2
fcp_41_43.smt2
fcp_3_5.smt2
fcp_53_59.smt2
fcp_53_59_61.smt2
fcp_227_229.smt2
fcp_197_199.smt2
fcp_41_43_47.smt2
fcp_101_103_107.smt2
fcp_257_263_269.smt2
fcp_193_197_199.smt2
fcp_281_283.smt2
fcp_271_277.smt2
fcp_7_11_13.smt2
fcp_83_89.smt2
fcp_73_79_83.smt2
fcp_19_23.smt2
fcp_269_271_277.smt2
fcp_5_7.smt2
fcp_107_109.smt2
fcp_103_107_109.smt2
fcp_191_193.smt2
fcp_43_47_53.smt2
fcp_151_157.smt2
fcp_73_79.smt2
fcp_211_223.smt2
fcp_37_41_43.smt2
fcp_173_179.smt2
fcp_113_127_131.smt2
fcp_277_281_283.smt2
fcp_67_71.smt2
fcp_263_269.smt2