| problem | #var | degree | MMCRSolver | Hom4ps | ||
| timing(s) | #solution | timing(s) | #solution | |||
| boon | 6 | 4 | 39.8125 | 0 | 3.203125 | 8 |
| cohn2 | 4 | 6 | 5.515625 | 1 | 1.421875 | 4 |
| cohn3 | 4 | 6 | 3.328125 | 1 | 2.0625 | 9 |
| comb3000 | 10 | 3 | 22.609375 | 1 | 9.3125 | 4 |
| d1 | 12 | 3 | 36.984375 | 2 | 17.734375 | 16 |
| des22_24 | 10 | 2 | 130.890625 | 0 | 10.046875 | 10 |
| discret3 | 8 | 2 | 75.359375 | 1 | 10.59375 | 93 |
| geneig | 6 | 3 | 7.9375 | 2 | 3.03125 | 10 |
| heart | 8 | 4 | 52.671875 | 2 | 5.5625 | 2 |
| i1 | 10 | 3 | 12.703125 | 1 | 9.953125 | 16 |
| katsura5 | 6 | 2 | 3.78125 | 1 | 2.828125 | 11 |
| kin1 | 12 | 3 | 606.734375 | 0 | 18.734375 | 16 |
| ku10 | 10 | 2 | 174.59375 | 0 | 9.3125 | 2 |
| noon3 | 3 | 3 | 6.734375 | 0 | 0.6875 | 8 |
| noon4 | 4 | 3 | 13.5625 | 0 | 1.28125 | 16 |
| puma | 8 | 2 | 12.3125 | 2 | 5.40625 | 16 |
| quadfor2 | 4 | 4 | 13.515625 | 0 | 0.96875 | 2 |
| rbpl | 6 | 3 | 79.796875 | 0 | 3.53125 | 4 |
| redeco5 | 5 | 2 | 2.65625 | 1 | 1.828125 | 4 |
| reimer5 | 5 | 6 | 26.691771 | 3 | 3.046875 | 24 |
| adjmin22e4 | 6 | 2 | 0.65625 | 1 | 6.5 | 38 |
| butcher | 4 | 3 | 2.9375 | 1 | 10.078125 | 37 |
| curve_1 | 2 | 6 | 100.796875 | 1 | 0.515625 | 6 |
| curve_2 | 2 | 12 | 4.015625 | 1 | 1.625 | 12 |
| curve_3 | 2 | 6 | 2.921875 | 0 | 0.453125 | 6 |
| curve_4 | 2 | 3 | 2.34375 | 1 | 0.640625 | 3 |
| curve_5 | 2 | 6 | 4.296875 | 0 | 0.984375 | 2 |
| gerdt2 | 5 | 4 | 3.484375 | 1 | 9.921875 | 32 |
| mohab4 | 3 | 5 | 100.96875 | 1 | 1.453125 | 10 |
| mohab5 | 4 | 4 | 5.4375 | 1 | 6.609375 | 42 |
| adjmin23e5 | 8 | 2 | 5.6875 | 1 | 5.671875 | 1 |
| adjmin24e6 | 10 | 2 | 11.234375 | 1 | 10.75 | 1 |
| adjmin25e7 | 12 | 2 | 16.5 | 1 | 16.734375 | 1 |
| adjmin26e8 | 14 | 2 | 52.578125 | 1 | 26.125 | 1 |
| adjmin27e9 | 16 | 2 | 60.703125 | 1 | 36.46875 | 1 |
| adjmin28eA | 18 | 2 | 108.90625 | 1 | 50.40625 | 1 |
| adjmin29eB | 20 | 2 | 448.90625 | 1 | 71.15625 | 1 |
| birkoff | 4 | 10 | 21.9375 | 1 | 2.875 | 5 |
| bronestein2 | 4 | 4 | 6.984375 | 1 | 1.046875 | 2 |
| curve_0 | 2 | 12 | 28.546875 | 1 | 0.625 | 4 |
| geddes2 | 5 | 6 | 7.609375 | 1 | 5.609375 | 11 |
| geddes3 | 11 | 3 | 17.03125 | 1 | 12.890625 | 1 |
| geddes4 | 12 | 3 | 22.140625 | 1 | 5.84375 | 1 |
| hairer1 | 8 | 3 | 6.6875 | 1 | 5.21875 | 2 |
| hairer2 | 9 | 4 | 824.125 | 1 | 9.96875 | 9 |
| Hawesl | 5 | 9 | 56.265625 | 0 | 3.296875 | 2 |
| lanconelli | 8 | 3 | 8.125 | 1 | 5.5 | 2 |
| raksanyi | 8 | 3 | 1.375 | 1 | 5.40625 | 2 |
| spatburme1 | 6 | 2 | 8.5 | 1 | 4.6875 | 2 |
| vor2 | 5 | 18 | 951.796875 | 0 | 4.203125 | 3 |
| example1 | 3 | 4 | 11.25 | 0 | 1.640625 | 1 |
| example1_pert | 3 | 4 | 10.875 | 0 | 0.6875 | 1 |
| example2 | 3 | 2 | 0.75 | 1 | 1.625 | 1 |
| example2_pert | 3 | 2 | 0.78125 | 1 | 1.53125 | 2 |
| example3 | 3 | 2 | 4.09375 | 1 | 0.609375 | 1 |
| example3_pert | 3 | 2 | 1.625 | 1 | 0.625 | 1 |
| example4 | 2 | 5 | 0.96875 | 1 | 0.359375 | 1 |
| example4_pert | 2 | 5 | 2.625 | 1 | 1.375 | 4 |
| example5 | 3 | 5 | 5.453125 | 1 | 0.671875 | 4 |
| example5_pert | 3 | 5 | 5.453125 | 0 | 0.6875 | 5 |
| example6 | 2 | 8 | 71.375 | 0 | 0.5 | 5 |
| example6_pert | 2 | 8 | 1763.046875 | 1 | 1.078125 | 5 |
| assur44 | 8 | 3 | 17968.859375 | 2 | 0.48438 | 10 |
| chandra4 | 4 | 2 | 0.921875 | 1 | 0.17188 | 8 |
| chandra5 | 5 | 2 | 1.000000 | 1 | 0.20313 | 16 |
| chandra6 | 6 | 2 | 2.468750 | 1 | 0.39063 | 31 |
| chemkin | 10 | 2 | 78.875000 | 1 | 0.687500 | 4 |
| cyclic9 | 9 | 9 | 248.265625 | 0 | 18.2813 | 234 |
| cyclic10 | 10 | 10 | 1058.812500 | 0 | 80.9219 | 680 |
| cyclic11 | 11 | 11 | 1411.890625 | 0 | 448.3125 | 2552 |
| filter9 | 9 | 5 | 4684.125000 | 7 | 2.8594 | 128 |
| game4two | 4 | 3 | 320.156250 | 0 | 0.125 | 3 |
| game5two | 5 | 4 | 2.296875 | 0 | 0.3125 | 10 |
| game6two | 6 | 5 | 31.687500 | 0 | 3.1406 | 35 |
| game7two | 7 | 6 | 31.125000 | 0 | 27.8906 | 100 |
| katsura6 | 7 | 2 | 0.921875 | 1 | 0.46875 | 24 |
| katsura7 | 8 | 2 | 1.093750 | 1 | 1.0469 | 42 |
| katsura8 | 9 | 2 | 1.281250 | 1 | 2.3125 | 72 |
| katsura9 | 10 | 2 | 1.703125 | 1 | 136.109375 | 120 |
| katsura10 | 11 | 2 | 1.859375 | 1 | 11.1094 | 198 |
| kotsireas | 6 | 5 | 8.640625 | 1 | 0.609375 | 10 |
| pb601 | 3 | 6 | 3.906250 | 1 | 0.10938 | 6 |
| pb601es | 3 | 6 | 1.468750 | 1 | 0.078125 | 6 |
| pb601vs | 3 | 6 | 106.687500 | 0 | 0.09375 | 6 |
| pltp34sys | 12 | 4 | 386.421875 | 0 | - | - |
| pole27sys | 14 | 2 | 617.046875 | 1 | 220.125 | 442 |
| pole28sys | 16 | 2 | 79.171875 | 1 | 1248.0313 | 1489 |
| pole34sys | 12 | 3 | 55.390625 | 1 | - | - |
| pole43sys | 12 | 3 | 667.750000 | 1 | - | - |
| robspat | 9 | 3 | 758.781250 | 0 | 0.32813 | 0 |
| rps10 | 10 | 4 | 10.718750 | 1 | 55.4531 | 126 |
| stewgou40 | 9 | 4 | 192.437500 | 2 | 3.7188 | 40 |
| tangents0 | 6 | 2 | 35.703125 | 4 | 0.20313 | 8 |
| tangents1 | 6 | 2 | 26.343750 | 0 | 0.0625 | 0 |
| tangents2 | 6 | 2 | 37.000000 | 1 | 0.39063 | 24 |
| utbikker | 4 | 3 | 5.015625 | 1 | 0.23438 | 7 |